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

Kristin Yvonne Rozier Édition : Swarat Chaudhuri

3 juin 2023

145,95 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

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

Description

Langue

anglais

Pages

490

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031331695

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

swarat chaudhuri

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