Filters
- Springer
- 17 Books Publishing
- 5d Media Publishing
- 4 Dog Arts
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 14 Hands Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 368 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- A A Balkema Publishers
- A K Peters
- A K PETERS
- A R M A International
- A&c Black Business Information and Developmen
- Aakar Books
- Aaron Brummet
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Abl Press London
- Able Muse Press
- Ablex Publishing Corporation
- ABRAMS
- Abrams Comicarts
- Abreo Executive Services, LLC
- AC Publishing
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academic Studies Press
- Academy Press
- Accelerate Australia
- Accelerated Development
- Accountingtools, Inc.
- Ache Management Series
- Acm3 Publishing
- Acpil
- Acrasia Media
- Acres U.S.A., Inc.
- Acsess
- ACT Four Screenplays
- Actar
- Actfl
- ACTFL
- Action Learning Associates, LLC
- Activibooks
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adizes Institute
- Adlard Coles Nautical Press
- Adonis & Abbey Publishers
- Adrian Fleming
- Advanced Analytics, LLC
- Advanced Communication Designs, Inc
- Advanced Publishing LLC
- Advanced Scientific Publishing
- AIP
- AISECT Publication Bhopal
- AK International Publication
- AK Press
- AKINT
- ALA Editions
- ALA Neal-Schuman
- ALFRED PUBLISHING CO.(UK)LTD
- AMZ Marketing Hub
- APA
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- Springer
- 17 Books Publishing
- 5d Media Publishing
- 4 Dog Arts
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 14 Hands Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 368 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- A K PETERS
- A K Peters/CRC Press
- A R M A International
- A&c Black Business Information and Developmen
- A&u Academic
- Aakar Books
- Aaron Brummet
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Abl Press London
- Able Muse Press
- Ablex Publishing Corporation
- ABRAMS
- Abrams Comicarts
- Abreo Executive Services, LLC
- AC Publishing
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academic Studies Press
- Academy Press
- Accelerate Australia
- Accelerated Development
- Accountingtools, Inc.
- Ache Management Series
- Acm3 Publishing
- Acpil
- Acrasia Media
- Acres U.S.A., Inc.
- Acsess
- ACSESS
- ACT Four Screenplays
- Actar
- Actfl
- ACTFL
- Action Learning Associates, LLC
- Activibooks
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adis
- Adizes Institute
- Adlard Coles Nautical Press
- Adonis & Abbey Publishers
- Adrian Fleming
- AISECT Publication Bhopal
- AK International Publication
- AK Press
- AKINT
- ALA Editions
- ALA Neal-Schuman
- ALFRED PUBLISHING CO.(UK)LTD
- AMZ Marketing Hub
- AOCS
- APA
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM
- ASM Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Children Books
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Cookery & Food Services
- 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
- Gardening
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Pets
- 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
- 50minutes
- A. K. Haghi
- A. K. Tyagi
- A. Nazari
- Alan A. Boulton
- Albert Benjamin Prescott
- Albert Delaunay
- Albert Fleischmann
- Alexandra R. Lucas
- Alexei A. Gaivoronski
- Alice Schwartz
- Allen Boyer McDaniel
- Amanda S. Coutts
- Andrew Barron
- Anna Lena Bischoff
- Anonym
- Anonymous
- B.S. Dhillon
- Baby Professor
- Benno Edward Lischer
- Bharat Bhushan
- Biji T. Kurien
- Chaohong Liu
- Charles Nehme
- Christian Constanda
- Constantin Zopounidis
- Danny Munrow
- David Hume
- David Rankin
- Dawson Church
- Dick DeBartolo
- Edward Brooks
- Federal Highway Administration (Fhwa)
- Georg Lunge
- Halbert Powers Gillette
- Hamid R. Arabnia
- Helen Kara
- Ioannis Hatzilygeroudis
- J. Paul Guyer
- James G. Speight
- Jcm-Nystce Test Preparation Group
- Jerome Cameron Goodwin
- John Lok
- John Stuart Mill
- John Su
- Jovan Hutton Pulitzer
- K.R. Gupta
- Kursad Turksen
- Lewis Morris
- Liang Wei Hao
- Lorenzo Galluzzi
- M. A. Hayat
- Manolis Papadrakakis
- Marco Bernardo
- Marco Corazza
- Martha R. J. Clokie
- Mary de Chesnay
- Maurice H. Ter Beek
- Max M. Houck
- Megh R. Goyal
- Michael Butler
- Michael Griebel
- Mohamed A. El-Reedy
- Nasa Technical Reports Server (Ntrs)
- National Salesmen's Training Associatio
- National Salesmen's Training Association
- Nicholas Tsounis
- Nilanjan Dey
- Oluchi Ike
- Passbooks
- Peter Hollins
- Piotr Kielanowski
- Pratima Bajpai
- Radek Silhavy
- Rakesh Kumar
- Reactive Publishing
- Richard P. Brief
- Robert Hutchison
- Sam Penny
- Sebastian Boegel
- Shalin Hai-Jew
- Shaoying Liu
- Simon Somerville Laurie
- Speedy Publishing LLC
- Subramanian Senthilkannan Muthu
- Sunil Thomas
- The Law Library
- Thomas Heywood
- Tiziana Margaria
- Ton J. Cleophas
- U S Environmental Protection Agency
- U. S. Environmental Protection Agency
- Ulrich Langer
- Uttam Garg
- Uzman Khan
- Various
- Vikas Mittal
- Vladimir V. Didenko
- Volkmar Weissig
- Wolfgang Walther
Products
Formal Methods for Industrial Critical Systems: 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Alessandro Cimatti
Paperback
Current price
₹4,260
Original price
₹6,553
Original price
₹6,553
Original price
₹6,553
(-35%)
₹4,260
Current price
₹4,260
| /
• Author(s): Alessandro Cimatti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 20...
View full details
Software Engineering and Formal Methods: 15th International Conference, Sefm 2017, Trento, Italy, September 4-8, 2017, Proceedings
Alessandro Cimatti
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Alessandro Cimatti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 15th International Conference on Software Engineer...
View full details
