Passer au contenu principal Passer au contenu du pied de page

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais Édition : Christian Schilling

2 mai 2023

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

Description

Langue

anglais

Pages

199

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031321566

Proceedings of the 3rd International Gas Processing Symposium: Qatar, March 2012

Abdelwahab Aroussi Livre numérique Kobo
309,99 $ ~~Réduction sur le prix courant 387,00 $ à~~
2 formats offerts
Penetration Testing, Volume 1: Proceedings Of The Second European Symposium On Penetration Testing, Amsterdam, 24-27 May 1982

Couverture rigide
763,00 $
2 formats offerts
Proceedings of the TEPEN International Workshop on Fault Diagnostic and Prognostic: TEPEN2024-IWFDP - Volume 2

Zuolu Wang Couverture rigide
437,95 $
Computational Science And High Performance Computing: Russian-german Advanced Research Workshop, Novosibirsk, Russia, September 30 To October 2, 2003

Egon Krause Couverture rigide
321,50 $
Computational Science And High Performance Computing: Russian-german Advanced Research Workshop, Novosibirsk, Russia, September 30 To October 2, 2003

Couverture souple
285,95 $
Proceedings of the TEPEN International Workshop on Fault Diagnostic and Prognostic: TEPEN2024-IWFDP - Volume 1

Bingyan Chen Couverture rigide
437,95 $
2 formats offerts
Experimental Robotics: The 17th International Symposium

Bruno Siciliano Couverture rigide
437,95 $
2 formats offerts
Proceedings of the TEPEN International Workshop on Fault Diagnostic and Prognostic: TEPEN2024-IWFDP - Volume 3

Tongtong Liu Couverture rigide
437,95 $
2 formats offerts
Experimental Robotics: The 17th International Symposium

Bruno Siciliano Couverture souple
437,95 $
The Proceedings of the 11th International Conference on Traffic and Transportation Studies: Volume II

Lingyun Meng Couverture rigide
437,95 $
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020

Henry Selvaraj Couverture souple
321,50 $
2 formats offerts
Rock Dynamics: Progress and Prospect, Volume 1: Proceedings of the Fourth International Conference on Rock Dynamics And Applications (RocDyn-4, 17-19 August 2022, Xuzhou, China)

Jianchun Li Couverture rigide
325,95 $
2 formats offerts
Proceedings of the 8th International Conference on Civil Engineering: ICOCE 2024, 22-24 March, Singapore

Eric Strauss Couverture rigide
364,95 $
2 formats offerts
Finite Element Methods for Nonlinear Problems: Proceedings of the Europe-Us Symposium the Norwegian Institute of Technology, Trondheim Norway, August 12-16, 1985

Couverture souple
142,95 $
Proceedings of the 8th International Conference on Civil Engineering: ICOCE 2024, 22-24 March, Singapore

Eric Strauss Couverture rigide
364,95 $
2 formats offerts
Mine Ventilation: Proceedings of the North American/Ninth US Mine Ventilation Symposium, Kingston, Canada, 8-12 June 200: Proceedings of the North American/Ninth US Mine Ventilation Symposium, Kingston, Canada, 8-12 June 2002

E. De Souza Couverture rigide
851,50 $
Natural Electromagnetic Phenomena Below 30 Kc/S: Proceedings of a NATO Advanced Study Institute Held in Bad Homburg, Germany July 22-August 2, 1963

David Franklin Bleil Couverture souple
71,50 $
Turbulence and Interactions: Proceedings the TI 2009 Conference

Michel Deville Couverture rigide
321,50 $
Turbulence and Interactions: Proceedings the TI 2009 Conference

Couverture souple
285,95 $
Proceedings Of The 14th International Conference On Vibration Problems: Icovp 2019

Evangelos J. Sapountzakis Couverture rigide
481,95 $
2 formats offerts

Évaluation éditoriale

christian schilling

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
Advances in Design Engineering III: Proceedings of the XXXI INGEGRAF International Conference 29-30 June, 1 July 2022, Malaga, Spain

Francisco Cavas-martínez Couverture souple
321,50 $
2 formats offerts
CONTROLO 2022: Proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, July 6-8, 2022, Caparica, Portugal

Lu Brito Palma Couverture rigide
656,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
Informatics In Control, Automation And Robotics: 14th International Conference, Icinco 2017 Madrid, Spain, July 26-28, 2017 Revised Selected Papers

Oleg Gusikhin Couverture rigide
248,50 $
2 formats offerts
Progress in Optomechatronic Technologies: Proceedings of the 2013 International Symposium on Optomechatronic Technologies, Oct 28-30, 2013, Jeju Island, Korea

Rainer Tutsch Couverture rigide
321,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
Proceedings of the 4th International Conference on Experimental and Computational Mechanics in Engineering: ICECME 2022, Banda Aceh, September 14-15, 2022

Irwansyah Irwansyah Couverture souple
321,50 $
2 formats offerts
Advances in Systems Engineering: Proceedings of the 30th International Conference on Systems Engineering, ICSEng 2023, Las Vegas, Nevada, USA August 22-24, 2023

Henry Selvaraj Couverture souple
321,50 $
2 formats offerts
Informatics in Control, Automation and Robotics: 8th International Conference, ICINCO 2011 Noordwijkerhout, The Netherlands, July 28-31, 2011 Revised Selected Papers

JEAN-LOUIS FERRIER Couverture souple
160,95 $
2 formats offerts
Advances In Design Engineering: Proceedings of the XXIX International Congress INGEGRAF, 20-21 June 2019, Logrono, Spain

Francisco Cavas-martínez Couverture souple
248,50 $
2 formats offerts
Proceedings Of The 4th International Conference On Electrical Engineering And Control Applications: Iceeca 2019, 17-19 December 2019, Constantine, Algeria

Sofiane Bououden Couverture rigide
321,50 $
2 formats offerts
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Couverture souple
116,95 $
2 formats offerts
CONTROLO 2020: Proceedings of the 14th APCA International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Braganca, Portugal

José Alexandre Gonçalves Couverture rigide
458,95 $
2 formats offerts
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings

Kevin Buzzard Couverture souple
80,50 $
2 formats offerts
Proceedings of the 4th International Conference on Numerical Modelling in Engineering: Volume 2: Numerical modelling in Mechanical and Materials Engineering, NME 2021, 24-25 August, Ghent University, Belgium

Couverture souple
259,95 $
3 formats offerts
Proceedings of the 5th International Conference on Numerical Modelling in Engineering: Volume 2: Numerical modelling in Mechanical and Materials Engineering, NME 2022, 23-24 August, Ghent University, Belgium

Magd Abdel Wahab Couverture rigide
364,95 $
2 formats offerts
Proceedings of the 4th International Conference on Numerical Modelling in Engineering: Volume 1: Numerical modelling in Civil Engineering, NME 2021, 24-25 August, Ghent University, Belgium

Magd Abdel Wahab Couverture rigide
291,95 $
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
Advances in Design Engineering IV: Proceedings of the XXXII INGEGRAF International Conference 21-23 June, Cadiz, Spain

Cristina Manchado del Val Couverture souple
321,50 $
2 formats offerts