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

Wcfs2020: Proceedings of the Second World Conference on Floating Solutions, Rotterdam

Åukasz Piätek Couverture souple
291,95 $
Wcfs2020: Proceedings Of The Second World Conference On Floating Solutions, Rotterdam

Åukasz Piätek Couverture rigide
408,95 $
2 formats offerts
Proceedings of the Second International Conference on Emerging Trends in Engineering (ICETE 2023)

Livre numérique Kobo
0,00 $
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
Coastal Structures 2011 - Proceedings Of The 6th International Conference (In 2 Volumes)

Shigeo Takahashi Livre numérique Kobo
436,99 $ ~~Réduction sur le prix courant 545,13 $ à~~
Advances in Theoretical and Applied Mechanics: Proceedings of ISTAM 2022

Rajendra Kr. Ray Couverture souple
291,95 $
2 formats offerts
Tubular Structures X: Proceedings Of The 10th International Symposium, Madrid, Spain, 18-20 September 2003

Angel Alonso Couverture rigide
740,50 $
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
58,50 $
Energy from Biomass: Proceedings of the EC Contractors' Meeting Held in Copenhagen, 23-24 June 1981

Couverture souple
220,95 $
3 formats offerts
Advances in Theoretical and Applied Mechanics: Proceedings of ISTAM 2022

Rajendra K. Ray Couverture souple
58,50 $
Computational Structural Dynamics: Proceedings Of The International Workshop, Iziis, Skopje, Macedonia, 22-24 February 2001

K. Talaganov Couverture rigide
296,50 $
2 formats offerts
Computational Intelligence: 9th International Joint Conference, IJCCI 2017 Funchal-Madeira, Portugal, November 1-3, 2017 Revised Selected Papers

Christophe Sabourin Couverture souple
160,95 $
Proceedings of the International Conference of Steel and Composite for Engineering Structures: ICSCES 2023

Brahim Benaissa Couverture rigide
321,50 $
2 formats offerts
Proceedings of the International Conference of Steel and Composite for Engineering Structures: ICSCES 2023

Brahim Benaissa Couverture souple
72,95 $
Advances In Speech And Music Technology: Proceedings Of Frsm 2020

Anupam Biswas Couverture souple
321,50 $
2 formats offerts
Proceedings of the 11th IFToMM International Conference on Rotordynamics: Volume 1

Fulei Chu Couverture rigide
481,95 $
2 formats offerts
Advances in Maritime Technology and Engineering: Two Volume Set

Carlos Guedes Soares Couverture rigide
555,50 $
Recent Advances In Computational And Experimental Mechanics, Vol-i: Select Proceedings Of Icracem 2020

D. Maity Couverture rigide
481,95 $
2 formats offerts
Electromechanics and Robotics: Proceedings of 16th International Conference on Electromechanics and Robotics "Zavalishin's Readings" (ER(ZR) 2021), St. Petersburg, Russia, 14-17 April 2021

Andrey Ronzhin Couverture souple
437,95 $
Proceedings of the 11th IFToMM International Conference on Rotordynamics: Volume 1

Fulei Chu Couverture souple
481,95 $

É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
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
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
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
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
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
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
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
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
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
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
TRANSBALTICA XIII: Transportation Science and Technology: Proceedings of the 13th International Conference TRANSBALTICA, September 15-16, 2022, Vilnius, Lithuania

Olegas Prentkovskis Couverture rigide
437,95 $
2 formats offerts
Proceedings of the 11th International Conference on Industrial Engineering and Applications: ICIEA 2024, April 17-19, Hiroshima, Japan

Loon Ching Tang Couverture rigide
364,95 $
Advanced Manufacturing Processes IV: Selected Papers from the 4th Grabchenko's International Conference on Advanced Manufacturing Processes (InterPartner-2022), September 6-9, 2022, Odessa, Ukraine

Volodymyr Tonkonogyi Couverture rigide
321,50 $
2 formats offerts
Proceedings of the 5th International Conference on Electrical Engineering and Control Applications-Volume 1: ICEECA 2022, 15-17 November, Khenchela, Algeria

Salim Ziani Couverture rigide
321,50 $
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
Advanced Manufacturing Processes V: Selected Papers from the 5th Grabchenko's International Conference on Advanced Manufacturing Processes (InterPartner-2023), September 5-8, 2023, Odessa, Ukraine

Volodymyr Tonkonogyi Couverture rigide
481,95 $
2 formats offerts