Passer au contenu principal Passer au contenu du pied de page

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Édition : Owolabi Legunsen

23 août 2022

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

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031150777

Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings

Renato Cerqueira Couverture rigide
80,50 $
Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Paolo Manghi Couverture souple
145,95 $
2 formats offerts
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Carole H. Sudre Couverture souple
94,95 $
2 formats offerts
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging: 6th International Workshop, UNSURE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Livre numérique Kobo
144,99 $ ~~Réduction sur le prix courant 181,17 $ à~~
2 formats offerts
Stabilization, Safety, and Security of Distributed Systems: 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings

Shlomi Dolev Couverture souple
131,50 $
2 formats offerts
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Couverture souple
142,95 $
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Couverture souple
49,50 $
Network and System Security: 17th International Conference, NSS 2023, Canterbury, UK, August 14-16, 2023, Proceedings

Shujun Li Couverture souple
102,50 $
2 formats offerts
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Couverture souple
124,50 $
2 formats offerts
Revolutionizing Fashion and Retail: Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

Nima Dokoohaki Couverture rigide
262,95 $
Artificial Neural Networks and Machine Learning - ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II

VÄra KÅ¯rkov Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

VÄra KÅ¯rkov Couverture souple
80,50 $
2 formats offerts
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Jürgen Münch Couverture souple
80,50 $
Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings

Couverture souple
142,95 $
Rough Set and Knowledge Technology: 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings

Jian Yu Couverture souple
160,95 $
Security Protocols: 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings

Bruce Christianson Couverture souple
80,50 $
Security Protocols: 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

Bruce Christianson Couverture souple
80,50 $
Learning Factories of the Future: Proceedings of the 14th Conference on Learning Factories 2024, Volume 2

Sebastian Thiede Couverture souple
364,95 $
2 formats offerts
Artificial Intelligence and Speech Technology: Third International Conference, AIST 2021, Delhi, India, November 12-13, 2021, Revised Selected Papers

Amita Dev Couverture souple
175,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Couverture souple
175,50 $
2 formats offerts

Évaluation éditoriale

owolabi legunsen

Auteur

Cooperative Design, Visualization, and Engineering: 19th International Conference, CDVE 2022, Virtual Event, September 25-28, 2022, Proceedings

Yuhua Luo Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman Couverture souple
80,50 $
2 formats offerts
Passive and Active Measurement: 24th International Conference, Pam 2023, Virtual Event, March 21-23, 2023, Proceedings

Couverture souple
110,50 $
2 formats offerts
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Couverture souple
124,50 $
2 formats offerts
Computational Data and Social Networks: 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings

Thang N. Dinh Couverture souple
102,50 $
2 formats offerts
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Couverture souple
72,95 $
2 formats offerts
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Mohammad Tanveer Couverture souple
160,95 $
2 formats offerts
Persuasive Technology: 17th International Conference, Persuasive 2022, Virtual Event, March 29-31, 2022, Proceedings

Nilufar Baghaei Couverture souple
102,50 $
2 formats offerts
Information Integration and Web Intelligence: 24th International Conference, iiWAS 2022, Virtual Event, November 28-30, 2022, Proceedings

Eric Pardede Couverture souple
145,95 $
2 formats offerts
Post-Quantum Cryptography: 13th International Workshop, PQCrypto 2022, Virtual Event, September 28-30, 2022, Proceedings

Jung Hee Cheon Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

Mohammad Tanveer Couverture souple
131,50 $
2 formats offerts
Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Michael Hartisch Couverture souple
80,50 $
2 formats offerts
Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Smita Ghosh Couverture souple
94,95 $
2 formats offerts
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

Mohammad Tanveer Couverture souple
175,50 $
2 formats offerts
Networked Systems: 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings

Mohammed-Amine Koulali Couverture souple
80,50 $
2 formats offerts
Computer Science - Theory and Applications: 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings

Alexander S. Kulikov Couverture souple
124,50 $
2 formats offerts
Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23-25, 2021, Revised Selected Papers

Cameron Browne Couverture souple
116,95 $
2 formats offerts
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Couverture souple
80,50 $
2 formats offerts
Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Smita Ghosh Couverture souple
94,95 $
2 formats offerts