Passer au contenu principal Passer au contenu du pied de page

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Thomas Neele Édition : Anton Wijs

9 novembre 2024

80,50 $

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

Description

Langue

anglais

Pages

270

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031661488

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Thomas Neele Couverture souple
80,50 $
2 formats offerts
Proceedings of the 7th International Conference on Electrical, Control and Computer Engineering–Volume 1: InECCE 2023, Kuala Lumpur, Malaysia

Livre numérique Kobo
324,99 $ ~~Réduction sur le prix courant 406,16 $ à~~
2 formats offerts
Mobile Computing, Applications, and Services: 13th EAI International Conference, MobiCASE 2022, Messina, Italy, November 17-18, 2022, Proceedings

Javid Taheri Couverture souple
102,50 $
2 formats offerts
Ict Analysis And Applications: Proceedings Of Ict4sd 2019, Volume 2

Simon Fong Couverture souple
321,50 $
2 formats offerts
Nanotechnology: Nanoparticles And Nanostructures

Couverture rigide
198,25 $
Micro-and Nanoelectromechanical Biosensors

Liviu Nicu Couverture rigide
217,95 $
2 formats offerts
Nanomanufacturing Handbook

Livre numérique Kobo
356,99 $
Optics of Nanomaterials

Vladimir I. Gavrilenko Livre numérique Kobo
246,99 $
Mobile, Ubiquitous, And Intelligent Computing: Music 2013

James J. (jong Hyuk) Park Couverture souple
321,50 $
2 formats offerts
Applications in Electronics and Computing Systems: Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022

Igor Dantsevich Couverture souple
364,95 $
Applications in Electronics and Computing Systems: Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022

Igor Dantsevich Couverture rigide
364,95 $
2 formats offerts
Optoelectronic Gyroscopes: Design And Applications

Kamal Nain Chopra Couverture souple
204,50 $
Nanoelectronics: Physics, technology and applications

Rutu Parekh Couverture rigide
156,00 $
Energy Geotechnics: Seg-2018

Alessio Ferrari Couverture souple
437,95 $
3 formats offerts
Optoelectronic Gyroscopes: Design And Applications

Kamal Nain Chopra Couverture rigide
204,50 $
2 formats offerts
Microelectronics - Systems And Devices

Owen Bishop Couverture rigide
355,50 $
2 formats offerts
Quantum Computing for Computer Architects, Second Edition

Tzvetan Metodi Couverture souple
58,50 $
Advances In Electrical And Computer Technologies: Select Proceedings Of Icaect 2019

Thangaprakash Sengodan Couverture rigide
554,95 $
2 formats offerts
Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume II

Limin Jia Couverture rigide
321,50 $
2 formats offerts
2nd Eai International Conference On Robotic Sensor Networks: Rosenet 2018

Huimin Lu Couverture souple
248,50 $

Évaluation éditoriale

anton wijs

Auteur

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Thomas Neele Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais Couverture souple
87,95 $
2 formats offerts
MultiMedia Modeling: 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part V

Stevan Rudinac Couverture souple
80,50 $
2 formats offerts
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Barbara König Couverture souple
102,50 $
2 formats offerts
Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Tiago Dias Couverture souple
80,50 $
2 formats offerts
Design and Architecture for Signal and Image Processing: 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings

Miguel Chavarr Couverture souple
87,95 $
2 formats offerts
Design and Architecture for Signal and Image Processing: 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings

Karol Desnos Couverture souple
94,95 $
2 formats offerts
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Barbara König Couverture souple
72,95 $
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Image Analysis: 22nd Scandinavian Conference, SCIA 2023, Sirkka, Finland, April 18-21, 2023, Proceedings, Part I.

Rikke Gade Couverture souple
131,50 $
2 formats offerts
Image Analysis: 22nd Scandinavian Conference, SCIA 2023, Sirkka, Finland, April 18-21, 2023, Proceedings, Part II

Rikke Gade Couverture souple
160,95 $
2 formats offerts
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin Couverture souple
87,95 $
2 formats offerts
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Couverture souple
94,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
116,95 $
2 formats offerts
Simulation and Modeling Methodologies, Technologies and Applications: 10th International Conference, SIMULTECH 2020 Lieusaint - Paris, France, July 8-10, 2020 Revised Selected Papers

Mohammad S. Obaidat Couverture souple
248,50 $
2 formats offerts
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Couverture souple
94,95 $
2 formats offerts
TRANSBALTICA XIV: Transportation Science and Technology: Proceedings of the 14th International Conference TRANSBALTICA, September 14-15, 2023, Vilnius, Lithuania

Olegas Prentkovskis Couverture rigide
408,95 $
2 formats offerts
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Couverture souple
124,50 $
2 formats offerts
Distributed Computing and Intelligent Technology: 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings

Stéphane Devismes Couverture souple
109,50 $
2 formats offerts
Approximation and Online Algorithms: 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings

Parinya Chalermsook Couverture souple
80,50 $
2 formats offerts