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

Owolabi Legunsen Édition : Grigore Rosu

23 août 2022

160,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 805 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

153

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031150760

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

grigore rosu

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