Bernhard Steffen – författare
629 kr
Skickas inom 5-8 vardagar
699 kr
Skickas inom 5-8 vardagar
350 kr
Skickas inom 5-8 vardagar
182 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
554 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
554 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
554 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
554 kr
Skickas inom 10-15 vardagar
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
368 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
554 kr
Skickas inom 10-15 vardagar
937 kr
Skickas inom 10-15 vardagar
554 kr
Skickas inom 10-15 vardagar
554 kr
Skickas inom 10-15 vardagar
554 kr
Skickas inom 10-15 vardagar
773 kr
Skickas inom 10-15 vardagar
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
718 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
773 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
773 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
718 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
937 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
773 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
878 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 429 kr
Skickas inom 10-15 vardagar
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
606 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
828 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
828 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
882 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
726 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
552 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
773 kr
Skickas inom 10-15 vardagar