Bernhard Steffen - Böcker
819 kr
Skickas inom 5-8 vardagar
909 kr
Skickas inom 5-8 vardagar
439 kr
Skickas inom 5-8 vardagar
239 kr
Skickas inom 5-8 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
719 kr
Skickas inom 10-15 vardagar
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
479 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
719 kr
Skickas inom 10-15 vardagar
1 009 kr
Skickas inom 10-15 vardagar
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
939 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
1 009 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
1 009 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
939 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
1 219 kr
Skickas inom 10-15 vardagar
Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
1 009 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
1 149 kr
Skickas inom 7-10 vardagar
Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
1 859 kr
Skickas inom 10-15 vardagar
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
789 kr
Skickas inom 7-10 vardagar
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
1 079 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
1 079 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
1 149 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
949 kr
Skickas inom 7-10 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
719 kr
Skickas inom 7-10 vardagar
Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings
1 009 kr
Skickas inom 10-15 vardagar