Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
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

Bridging the Gap Between AI and Reality

Bernhard Steffen
, 2025, Paperback, New

R 807
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

R 807
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

R 1,333
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

R 2,226
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

R 1,333
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

R 986
Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Steffen, Bernhard
Springer, Paperback, New

R 980
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

R 597
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

R 807
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

R 1,273
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

R 1,640
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

R 1,018
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

R 980
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

R 1,200
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

R 1,002
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

R 980
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

R 1,333
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

R 1,640
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

R 1,493
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

R 1,420
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

R 1,824
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

R 1,964
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

R 1,493
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

R 980
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

R 980
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

R 980
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

R 1,333
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

R 980
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

R 1,333
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

R 1,420
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

R 660
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

R 681
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

R 1,273
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, Paperback, New

R 1,067
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

R 1,181
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

R 1,053
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

R 1,200
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

R 980
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

R 1,021
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

R 1,012
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

R 1,071
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

R 1,049
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

R 1,052
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

R 1,050
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

R 1,055
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

R 1,044
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

R 1,123
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

R 702
Denkmal und Energie (in German)

Denkmal und Energie (in German)

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

R 807
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

R 520
12