Passer au contenu principal Passer au contenu du pied de page

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings

Édition : Nathaniel Benz

28 juin 2024

144,99 $ ~~Réduction sur le prix courant 181,17 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031606984

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Nathaniel Benz Couverture souple
72,95 $
Simulation for a Sustainable Future: 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I

Miguel Mujica Mota Couverture souple
204,50 $
2 formats offerts
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
Simulation for a Sustainable Future: 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part II

Miguel Mujica Mota Couverture souple
124,50 $
2 formats offerts
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Artificial Life and Intelligent Agents: First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers

Christopher J. Headleand Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Couverture souple
109,50 $
2 formats offerts
Digital Democracy - IT for Change: 53rd Annual Convention of the Computer Society of India, CSI 2020, Bhubaneswar, India, January 16-18, 2020, Revised Selected Papers

Prafulla Kumar Behera Couverture souple
80,50 $
2 formats offerts
Recent Advances in the Message Passing Interface: 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Claudia Blaas-Schenner Couverture souple
80,50 $
2 formats offerts
Privacy and Identity Management. Time for a Revolution?: 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers

David Aspinall Couverture souple
80,50 $
3 formats offerts
Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

Couverture souple
90,95 $
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Couverture souple
80,50 $
2 formats offerts
Reasoning Web - Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

Thomas Eiter Couverture souple
80,50 $
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Marcello M. Bonsangue Couverture souple
80,50 $
HCI International 2020 - Late Breaking Posters: 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

Rajendra Akerkar Couverture souple
72,95 $
2 formats offerts
Focused Access to XML Documents: 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, Dagstuhl Castle, Germany, December 17-19, 2007, Revised and Selected Papers

Norbert Fuhr Couverture souple
80,50 $
Towards AI-Aided Invention and Innovation: 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings

Denis Cavallucci Couverture rigide
189,95 $
2 formats offerts

Évaluation éditoriale

nathaniel benz

Auteur

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Nathaniel Benz Couverture souple
72,95 $
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Couverture souple
71,50 $
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Quantum Computing and Quantum Communications: First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers

Colin P. Williams Couverture souple
71,50 $
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray Couverture souple
80,50 $
High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020, Proceedings

Ponnuswamy Sadayappan Couverture souple
131,50 $
2 formats offerts
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
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Couverture souple
80,50 $
Mobile Computing, Applications, and Services: Fourth International Conference, MobiCASE 2012, Seattle, WA, USA, October 2012. Revised Selected Papers

David Uhler Couverture souple
80,50 $
Reconfigurable Computing: Architectures, Tools and Applications: 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings

Andreas Koch Couverture souple
80,50 $
Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Shuvendu K. Lahiri Couverture souple
65,95 $
2 formats offerts
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri Couverture souple
65,95 $
2 formats offerts
Integer Programming And Combinatorial Optimization: 22nd International Conference, Ipco 2021, Atlanta, Ga, Usa, May 19-21, 2021, Proceedings

Mohit Singh Couverture souple
80,50 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part III

Eike Kiltz Couverture souple
102,50 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part II

Eike Kiltz Couverture souple
291,95 $
2 formats offerts
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
72,95 $
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Eike Kiltz Couverture souple
175,50 $
2 formats offerts