Passer au contenu principal Passer au contenu du pied de page

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Édition : Kristin Yvonne Rozier

4 juillet 2023

108,99 $ ~~Réduction sur le prix courant 135,87 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Obtenez 545 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031331701

Application And Theory Of Petri Nets And Concurrency: 40th International Conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, Proceedings

Susanna Donatelli Couverture souple
80,50 $
2 formats offerts
Digital Libraries: The Era of Big Data and Data Science: 16th Italian Research Conference on Digital Libraries, IRCDL 2020, Bari, Italy, January 30-31, 2020, Proceedings

Michelangelo Ceci Couverture souple
116,95 $
2 formats offerts
Electronic Government: 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019, Proceedings

Ida Lindgren Couverture souple
124,50 $
2 formats offerts
Virtual, Augmented and Mixed Reality. Industrial and Everyday Life Applications: 12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Jessie Y. C. Chen Couverture souple
80,50 $
2 formats offerts
Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedin: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

Paola Festa Couverture souple
160,95 $
Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

George Bebis Couverture souple
80,50 $
Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments: 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Margherita Antona Couverture souple
145,95 $
2 formats offerts
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

Couverture souple
71,50 $
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Egon Börger Couverture souple
80,50 $
Medical Imaging and Augmented Reality: Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004, Proceedings

Guang-Zhong Yang Couverture souple
80,50 $
On the Move to Meaningful Internet Systems: OTM 2012: Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II

Robert Meersman Couverture souple
80,50 $
Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Shay Kutten Couverture souple
80,50 $
Human-Computer Interaction. Human Values and Quality of Life: Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III

Masaaki Kurosu Couverture souple
160,95 $
2 formats offerts
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Augmented Cognition. Human Cognition and Behavior: 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Dylan D. Schmorrow Couverture souple
80,50 $
2 formats offerts
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Couverture souple
94,95 $
2 formats offerts
Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Achilleas Achilleos Couverture souple
80,50 $
2 formats offerts
Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I

Cecilia Di Chio Couverture souple
80,50 $
Computer-Human Interaction Research and Applications: Second International Conference, CHIRA 2018, Seville, Spain, September 19-21, 2018 and Third International Conference, CHIRA 2019, Vienna, Austria, September 20-21, 2019, Revised Selected Papers

Maria Jose Escalona Couverture souple
80,50 $
2 formats offerts
Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Achilleas Achilleos Couverture souple
72,95 $

Évaluation éditoriale

kristin yvonne rozier

Auteur

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Couverture souple
204,50 $
2 formats offerts
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Divya Gopinath Couverture souple
116,95 $
2 formats offerts
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Advances in Visual Computing: 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II

George Bebis Couverture souple
116,95 $
2 formats offerts
Advances in Visual Computing: 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I

George Bebis Couverture souple
145,95 $
2 formats offerts
Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Volker Diekert Couverture souple
124,50 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Martin Kutrib Couverture souple
102,50 $
2 formats offerts
Post-Quantum Cryptography: 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16-18, 2023, Proceedings

Thomas Johansson Couverture souple
160,95 $
2 formats offerts
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings

Thao Dang Couverture souple
109,50 $
2 formats offerts
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Couverture souple
116,95 $
2 formats offerts
Bioinformatics Research And Applications: 13th International Symposium, Isbra 2017, Honolulu, Hi, Usa, May 29 - June 2, 2017, Proceedings

Zhipeng Cai Couverture souple
116,95 $
2 formats offerts
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Couverture souple
71,50 $
Collaboration Technologies and Social Computing: 29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings

Hideyuki Takada Couverture souple
94,95 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Andre Platzer Couverture souple
248,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
80,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Couverture souple
131,50 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Ekaterina Komendantskaya Couverture souple
94,95 $
2 formats offerts