Bernhard Steffen – författare
620 kr
Skickas inom 5-8 vardagar
689 kr
Skickas inom 5-8 vardagar
345 kr
Skickas inom 5-8 vardagar
180 kr
Skickas inom 5-8 vardagar
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
373 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
561 kr
Skickas inom 10-15 vardagar
949 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
783 kr
Skickas inom 10-15 vardagar
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
727 kr
Skickas inom 10-15 vardagar
783 kr
Skickas inom 10-15 vardagar
783 kr
Skickas inom 10-15 vardagar
727 kr
Skickas inom 10-15 vardagar
949 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
783 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
889 kr
Skickas inom 5-8 vardagar
Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
1 447 kr
Skickas inom 10-15 vardagar
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
614 kr
Skickas inom 5-8 vardagar
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
838 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
838 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
893 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
735 kr
Skickas inom 5-8 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
558 kr
Skickas inom 5-8 vardagar
Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings
783 kr
Skickas inom 10-15 vardagar