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

Édition : Thomas Neele

12 octobre 2024

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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 Nature Switzerland

ISBN: 9783031661495

Proceedings of the 44th Annual American Astronautical Society Guidance, Navigation, and Control Conference, 2022

Matt Sandnas Couverture rigide
875,95 $
Refag 2014: Proceedings Of The Iag Commission 1 Symposium Kirchberg, Luxembourg, 13-17 October, 2014

Tonie Van Dam Couverture souple
248,50 $
3 formats offerts
The Chemistry of Gas Manufacture; Volume I

William John Atkinson Butterfield Couverture souple
25,85 $
A Text-Book on Field Fortification (Classic Reprint)

Gustave Joseph Fiebeger Couverture souple
11,97 $
RNA Control and Regulation: Cold Spring Harbor Symposia on Quantitative Biology, Volume LXXXIV

Couverture souple
97,95 $
2 formats offerts
Commercial Aviation Safety, Seventh Edition

Anthony Lawrenson Livre numérique Kobo
87,99 $ ~~Réduction sur le prix courant 109,57 $ à~~
2 formats offerts
Estudio Sobre las Aguas Medicinales de la Republica Mexicana (Classic Reprint)

José G. Lobato Couverture souple
10,97 $
2 formats offerts
Form Syntax for Quantitative Urban Morphology and Urban Design Analyses

Yu Ye Couverture rigide
233,95 $
Los Telégrafos de la República Argentina: Estudio Técnico Presentado al Director General (Classic Reprint)

Manuel B. Bahía Couverture souple
10,97 $
Reservoir Simulation - 1st Edition: Monograph 13

Calvin Mattax Couverture souple
111,00 $
Recent Advances in Cast Irons

Couverture rigide
94,44 $
Geomagnetics for Aeronautical Safety: A Case Study in and around the Balkans

Jean L. Rasson Couverture souple
160,95 $
2 formats offerts
Electrical and Scientific Instruments and Apparatus: November 20th, 1899

Elmer G Willyoung Couverture souple
30,95 $
Observation Of The System Earth From Space - Champ, Grace, Goce And Future Missions: Geotechnologien Science Report No. 20

Frank Flechtner Couverture souple
160,95 $
3 formats offerts
A Monograph of the Existing Crinoids, Volume 82, part 1

Austin Hobart Clark Couverture rigide
37,95 $
Supplement To The Fifth Edition Of A Manual Of Elementary Geology.

Charles Lyell Couverture souple
19,99 $
Advances in Automation and Robotics, Vol.1: Selected papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011

Gary Lee Couverture souple
321,50 $
2 formats offerts
The Elements of Graphic Statics: And of General Graphic Methods (Classic Reprint)

William Ledyard Cathcart Couverture souple
13,57 $
Prise de son: stéréophonie et son multicanal

Christian Hugonnet Couverture souple
64,95 $
Montology Palimpsest: A Primer of Mountain Geographies

Fausto O. Sarmiento Couverture souple
321,50 $

Évaluation éditoriale

thomas neele

Auteur

Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Boris Shishkov Couverture souple
94,95 $
2 formats offerts
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Couverture souple
175,50 $
2 formats offerts
Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Boris Shishkov Couverture souple
72,95 $
Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

Boris Shishkov Couverture souple
124,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
72,95 $
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Couverture souple
72,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
102,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
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Nicolas Behr Couverture souple
87,95 $
2 formats offerts
Algorithmic Game Theory: 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Guido Schäfer Couverture souple
131,50 $
2 formats offerts
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

Couverture souple
71,50 $
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Dirk Beyer Couverture souple
58,50 $
Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Couverture souple
71,50 $
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Lars Michael Kristensen Couverture souple
72,95 $
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Russ Harmer Couverture souple
94,95 $
2 formats offerts
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Nils Jansen Couverture souple
109,50 $
2 formats offerts
Electronic Government: Third International Conference, EGOV 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings

Roland Traunmüller Couverture souple
160,95 $
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Russ Harmer Couverture souple
72,95 $
Secure IT Systems: 27th Nordic Conference, NordSec 2022, Reykjavic, Iceland, November 30-December 2, 2022, Proceedings

Hans P. Reiser Couverture souple
124,50 $
2 formats offerts
Parallel Computation: Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings

Couverture souple
71,50 $