Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Steffen Bernhard Books

We found 54 Books for steffen bernhard

Bridging the gap Between ai and Reality: Third International Conference on Bridging the gap Between ai and Reality, Aisola 2025, Rhodes, Greece,. (Lecture Notes in Computer Science, 16220)

Bridging the gap Between ai and Reality: Third International Conference on Bridging the gap Between ai and Reality, Aisola 2025, Rhodes, Greece,. (Lecture Notes in Computer Science, 16220)

Steffen Bernhard
Springer Nature B.V., Paperback, New

€ 45,00
Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Bernhard Steffen
, 2025, Paperback, New

€ 45,00
verification, model checking, and abstract interpretation: 5th international conference, vmcai 2004, venice, january 11-13, 2004, proceedings

verification, model checking, and abstract interpretation: 5th international conference, vmcai 2004, venice, january 11-13, 2004, proceedings

steffen, bernhard
springer, 2004, New

€ 54,98
Bridging the gap Between ai and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23–28, 2023, Selected Papers (Lecture Notes in Computer Science, 14129)

Bridging the gap Between ai and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23–28, 2023, Selected Papers (Lecture Notes in Computer Science, 14129)

Steffen Bernhard
Springer, Paperback, New

€ 124,44
Bridging the gap Between ai and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings (Lecture Notes in Computer Science, 15217)

Bridging the gap Between ai and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings (Lecture Notes in Computer Science, 15217)

Steffen Bernhard
Springer, Paperback, New

€ 74,44
Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings

Steffen, Bernhard
Springer, Paperback, New

€ 74,44
Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Computing and Software Science: State of the Art and Perspectives

Computing and Software Science: State of the Art and Perspectives

Steffen, Bernhard ; Woeginger, Gerhard
Springer, Paperback, New

€ 33,22
leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Paperback, New

€ 56,78
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 74,44
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 91,59
Let’S Talk ai: Interdisciplinarity is a Must (Lecture Notes in Computer Science, 15000)

Let’S Talk ai: Interdisciplinarity is a Must (Lecture Notes in Computer Science, 15000)

Steffen Barbara,Lee Edward A.,Steffen Bernhard
Springer Nature B.V., Paperback, New

€ 45,00
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12Th International Symposium, Isola 2024,. Iv (Lecture Notes in Computer Science, 15222)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12Th International Symposium, Isola 2024,. Iv (Lecture Notes in Computer Science, 15222)

Margaria Tiziana,Steffen Bernhard
Springer, Paperback, New

€ 71,06
leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Paperback, New

€ 109,77
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12Th International Symposium, Isola 2024, Crete, Greece,. V (Lecture Notes in Computer Science, 15223)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12Th International Symposium, Isola 2024, Crete, Greece,. V (Lecture Notes in Computer Science, 15223)

Margaria Tiziana,Steffen Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocce de Nicola: 12Th International Symposium,. I (Lecture Notes in Computer Science, 15219)

Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocce de Nicola: 12Th International Symposium,. I (Lecture Notes in Computer Science, 15219)

Margaria Tiziana,Steffen Bernhard
Springer, Paperback, New

€ 83,38
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 91,59
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 74,44
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 101,91
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of her 60Th Birthday (Lecture Notes in Computer Science, 15240)

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of her 60Th Birthday (Lecture Notes in Computer Science, 15240)

Hinchey Mike,Steffen Bernhard
Springer, Paperback, New

€ 79,27
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 74,44
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12Th International. Ii (Lecture Notes in Computer Science, 15220)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12Th International. Ii (Lecture Notes in Computer Science, 15220)

Margaria Tiziana,Steffen Bernhard
Springer, Paperback, New

€ 79,27
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12Th International Symposium, Isola 2024,. (Lecture Notes in Computer Science, 15221)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12Th International Symposium, Isola 2024,. (Lecture Notes in Computer Science, 15221)

Margaria Tiziana,Steffen Bernhard
Springer, Paperback, New

€ 83,38
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 55,89
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 66,96
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Bernhard Steffen; Oliver Rüthing; Michael Huth
Springer, 2018, 1 edition, Hardcover, New

€ 37,94
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Steffen, Bernhard ; Rüthing, Oliver ; Huth, Michael
Springer, Paperback, New

€ 36,76
Bridging the Gap Between AI and Reality: 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings

Bridging the Gap Between AI and Reality: 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings

Bernhard Steffen
Springer Nature Switzerland, 2026, Paperback, New

€ 71,06
Take advantage of this pre-sale
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Hardcover, New

€ 65,89
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Paperback, New

€ 59,55
Real Time and Such: Essays Dedicated to Wang yi to Celebrate his Scientific Career (Lecture Notes in Computer Science, 15230)

Real Time and Such: Essays Dedicated to Wang yi to Celebrate his Scientific Career (Lecture Notes in Computer Science, 15230)

Graf Susanne,Pettersson Paul,Steffen Bernhard
Springer, Paperback, New

€ 58,74
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang
Springer, Paperback, New

€ 66,96
Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime

Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime

Steffen, Bernhard ; Baier, Christel ; Van Den Brand, Mark
Springer, Paperback, New

€ 54,64
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Paperback, New

€ 56,96
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Paperback, New

€ 56,46
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2021, Paperback, New

€ 59,78
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Paperback, New

€ 58,60
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Paperback, New

€ 58,55
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2022, Paperback, New

€ 58,83
Leveraging Applications of Formal Methods, Verification and Validation. Modeling. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Paperback, New

€ 58,27
Leveraging Applications of Formal Methods, Verification and Validation. Verification. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Paperback, New

€ 58,71
Formal Methods for Industrial Critical Systems. 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Formal Methods for Industrial Critical Systems. 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Anne Remke;Bernhard Steffen
Springer Nature Switzerland AG, 2025, Paperback, New

€ 62,66
Grundlagen der Höheren Informatik: Induktives Vorgehen (Examen. Press) (in German)

Grundlagen der Höheren Informatik: Induktives Vorgehen (Examen. Press) (in German)

Steffen, Bernhard, Oliver Rüthing Und Malte Isberner:
Springer Verlag Gmbh, Hardcover, New

€ 39,11
Denkmal und Energie (in German)

Denkmal und Energie (in German)

Bernhard Weller; Sven Jakubetz; Marc-Steffen Fahrion
Springer Verlag Gmbh, Hardcover, New

€ 45,00
Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text (in German)

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text (in German)

Steffen, Bernhard
Nabu Press, Paperback, New

€ 28,92
12