Filters
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A A Balkema Publishers
- A K Peters
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGeophysicalU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Apollos
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic Financial Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Audubon Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bergin & Garvey
- Bernan Press
- Besonen Horror
- BSAVA
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A K PETERS
- A K Peters/CRC Press
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Aocs Publishing
- Apollos
- Apple Acad
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- Aspen Publishers
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic
- Atlantic Financial Press
- Atlantis Press
- Atropos Press
- Audubon Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- BSAVA
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- General Books
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- A. K. Haghi
- A. K. Tyagi
- Aamir Al-Mosawi
- Abdel Hernández San Juan
- Alam Zeb
- Albert C. J. Luo
- Albert Fleischmann
- Alexander V. Vakhrushev
- Ali Dogramaci
- Alla G. Kravets
- Amalendu Chakraverty
- Amitava Rakshit
- Amy Neustein
- Anand J. Kulkarni
- Anatoly Belous
- Andreas Tolk
- Andrew B. Lawson
- Anna Craft
- Anne Hakansson
- Anon
- Anonymous
- António Pedro Costa
- Arch G. Woodside
- Arun K. Shukla
- Barbara Leuthe
- Bekir Aktas
- Brian Houghton Hodgson
- Brijesh Verma
- Calvin Noyes Kendall
- Cfa Institute
- Christian Gourieroux
- Christian Walloth
- Clive L. Dym
- Collectif
- Constantine Gatsonis
- David Hume
- Douglas Whittet
- Dov M. Gabbay
- Emiliano Bruner
- Erich Siebel
- Erik Cuevas
- Everett Baxter Jr.
- Ferenc Weisz
- Frank Seymour Hastings
- G. Pattenden
- George Wilson
- Hairus Abdullah
- Hamid Jahankhani
- Hans-Ferdinand Linskens
- Harvard University Library
- Harvey Starr
- Harvinder Singh
- Heinrich Freistühler
- Henry C. Lea
- Hervé Le Dret
- Hippolyte Golfin
- I. Halliday
- I. Jeena Jacob
- Ignotus
- Igor Linkov
- Ivan Zelinka
- J. P. Critchley
- James Anthony Froude
- Jingzheng Ren
- John Fitzgerald
- John Fletcher Hurst
- John Henry Newman
- John Ries
- Joseph Butler
- Kaplan
- Kaveh Hariri Asli
- Kees Van Montfort
- Keith McNulty
- Kohei Arai
- Kultar Singh
- Leo M.L. Nollet
- Lily B. Robinson
- Linda McKie
- Lucas F. M. Da Silva
- M. A. Hayat
- Mahmood Aliofkhazraei
- Manfred N. Partl
- Marco Bernardo
- Masaaki Kurosu
- Matthew Loveless
- Maurice Balme
- Mayer Alvo
- Michael Wand
- Mikhail Z. Zgurovsky
- Radek Silhavy
- Sans Auteur
- Stefka Fidanova
- The Law Library
- Uri Kirsch
- Vanda Leci Bueno Gautério
- Victor R. Preedy
- Vikas Mittal
- Vinod Kumar Yata
- Wilfred Welday Scott
- Yaxin Bi
Products
NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings
Aaron Dutle, Laura Humphrey, Laura Titolo
Paperback
Current price
₹9,548
Original price
₹14,689
Original price
₹14,689
Original price
₹14,689
(-35%)
₹9,548
Current price
₹9,548
| /
• Author(s): Aaron Dutle | Laura Humphrey | Laura Titolo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 17th International Symposium on NAS...
View full details
NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings
Aaron Dutle
Paperback
Current price
₹6,243
Original price
₹9,604
Original price
₹9,604
Original price
₹9,604
(-35%)
₹6,243
Current price
₹6,243
| /
• Author(s): Aaron Dutle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held...
View full details
