Search results for “[Subject: systems-engineering]”
Filters
- Academic Press
- Addison-Wesley Professional
- American Society of Mechanical Engineers
- Apress
- Artech House Publishers
- Atlantic Publishers & Distributors (P) Ltd
- Bentham Science Publishers
- Bibliogov
- Biblioscholar
- Butterworth-Heinemann
- Cambridge University Press
- Cambridge UP
- Cengage Learning
- Clanrye International
- CRC Press
- Createspace Independent Publishing Platform
- de Gruyter
- Diplom.de
- Dover Publications
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Edizioni Sapienza
- Elsevier
- Elsevier Science
- Engineering Science Reference
- Grin Verlag
- Gulf Professional Publishing
- Hassell Street Press
- Haynes Manuals
- Hutson Street Press
- IGI Global
- Igi Global Scientific Publishing
- Independently Published
- Information Science Reference
- Institution of Engineering & Technology
- Intechopen
- John Wiley & Sons Inc
- Kessinger Publishing
- LAP Lambert Academic Publishing
- Legare Street Press
- Literary Licensing, LLC
- Lulu.com
- McGraw Hill
- McGraw-Hill Companies
- McGraw-Hill Education
- Mdpi AG
- MIT Press
- Momentum Press
- Morgan Kaufmann Publishers
- Nabu Press
- National Academies Press
- Newnes
- Notion Press
- NY Research Press
- O'Reilly Media
- Omniscriptum
- OUP Oxford
- Our Knowledge Publishing
- Oxford University Press
- Oxford UP
- Packt Publishing
- Palala Press
- Pearson
- Pearson Education Limited
- PHI Learning Pvt Ltd
- Princeton University Press
- River Publishers
- Routledge
- Royal Society of Chemistry
- SAE International
- Scholars' Press
- Sciencia Scripts
- SciTech Publishing
- Springer
- Springer Verlag
- Springer Vieweg
- T&F
- Taylor & Francis
- Taylor & Francis Inc
- Taylor & Francis Ltd
- Tradd Street Press
- Tredition Gmbh
- VDM Verlag
- VDM Verlag Dr. Mueller E.K.
- Verlag Unser Wissen
- Vieweg+teubner Verlag
- Vs Verlag Fur Sozialwissenschaften
- Walter de Gruyter
- Wentworth Press
- Wiley
- Wiley-Blackwell
- Wiley-IEEE Press
- Wiley-Interscience
- Wiley-Iste
- Wiley-Scrivener
- Wiley-Vch
- Willford Press
- Woodhead Publishing
- World Scientific Publishing Company
- Wydawnictwo Nasza Wiedza
- Association for Computing Machinery
- 99m
- 3 Pillars Publishing
- 4site Press
- 7tao Engineering Ltd
- 12th Media Services
- A A Balkema Publishers
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- A S M International
- Aarhus University Press
- ABC-CLIO
- ABI Enterprises Inc
- Ablex Publishing Corporation
- Abterra Technologies Inc.
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academiques
- ACM
- ACM Books
- Adatosystems, LLC
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- AddisWesle
- Adlard Coles Nautical Press
- Adrian Volk
- After Midnight Publishing
- Agam Kala Prakashan
- AI Engineering Publishing
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- Air World
- Airworthyaircraft
- AKINT
- ALA Techsource an Imprint of American Library
- Alethea in Heart
- Alex Morgan
- Althos
- Amazon Digital Services LLC - Kdp
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- Amebarki Informatics
- American Academic Press
- American Academic Research, USA
- American Book Group - Ra-Ma
- American Institute of Aeronautics and Astrona
- American Literatures Initiative
- American Philosophical Society Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- AmericanGU
- AmerInstPh
- Ampp
- Anchor Academic Publishing
- Andesite Press
- Andrea Bancala
- Andreas Schwarzinger
- Andrew Parry
- Ane Books
- Ankit Anurag Naik
- Annai Books
- Anson Street Press
- Anthem Press
- Apexiq Press
- Apple Acad
- Apple Academic Press
- Applebee Press
- Apress
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arcturus Publishing Ltd
- Arihant
- Arizona Business Alliance
- Arkose Press
- Arm Education Media
- Artech
- Artech House Publishers
- Asatte Press, Inc.
- Ascended Ideas
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aslan Press
- ASM International
- ASQ Quality Press
- ASTM Analysis, Simulation, Test and Measureme
- Astral International Pvt. Ltd.
- Atlantic
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Auris
- Ausimm
- AV Akademikerverlag
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- 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
- 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
- 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
- Chuchu Fan
-  Алиев
-  Витун
-  Князь
-  Кужим
-  Кумар
-  Мишра
-  Попов
-  РЕДДЫ
-  Сингх
- Şenay Purzer
- Şeyda Serdarasan
- Адеваl
- Аль-Аш

- Ахмедl
- Вино П.
- Воробn
- Д
 Атул
- ДЕВ&# П Д
- Дамодk
- Двивеk
- Джаффk
- Ди Мор
- Еремеl
- Ещуроk
- Иссуфm
- КУМАР 

- Ковалk
- Кришнk
- Кузенk
- Кумар 

- Кonstantin Sviridov
- МОХ&# Р С
- Маракm
- Махноk
- Михалk
- Пандиk
- Пастуm
- Самойl
- Серюкl
- Силяеk
- Солимk
- Трофиl
- Х Бхор
- Хаитбk
- Худайk
- Хусаиl
- Шелудm
- дос Са

- 张磊 孔繁俊
- (Engineering) B. L. Manocha
- 16/F Maxdo Center
- A John Presin Kumar
- A M Viswa Bharathy
- A Prasanth
- A Sudhakar
- A. -M Sändig
- A. A. M. Kuijk
- A. A. Martynyuk
- A. Acero
- A. Aggeli
- A. Amador
- A. Arockiarajan
- A. Aue
- A. B. Pippard
- A. Barber
- A. Belleni-Morante
- A. Ben-Israel
- A. Berthier
- A. Bhatia
- A. Brahmananda Reddy
- A. Buch
- A. C. King
- A. C. M. Fong
- A. C. Metaxas
- A. Chitra
- A. Civil Engineer
- A. D. Cameron
- A. D. Moore
- A. D. Pouliezos
- A. D. Waite
- A. Dahme
- A. Däschler
- A. Delchambre
- A. Dubi
- A. Duleau
- A. Dürr
- A. E. Bryson
- A. E. H. Love
- A. Eduardo Sàez
- A. F. Orlicek
- A. Farina
- A. Fettweis
- A. Fradkov
- A. G. Collis
- A. G. Colombo
- A. G. Grigor'yants
- A. G. Phadke
- A. G. Ter-Gazarian
- A. Gentes
Products
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Hardcover
Current price
₹6,866
Original price
₹7,346
Original price
₹7,346
Original price
₹7,346
(-7%)
₹6,866
Current price
₹6,866
| /
• Author(s): Chuchu Fan • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: AutomationThere are significant financial and legal implications for ensuring design correctness and safety...
View full details
