你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
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

NT$ 1,538
Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Bernhard Steffen
, 2025, Paperback, New

NT$ 1,538
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

NT$ 1,869
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

NT$ 4,178
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

NT$ 2,516
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

NT$ 2,516
Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Steffen, Bernhard
Springer, Paperback, New

NT$ 1,858
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

NT$ 1,146
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

NT$ 1,858
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

NT$ 2,516
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

NT$ 1,929
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

NT$ 3,086
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

NT$ 1,858
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

NT$ 1,538
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

NT$ 2,404
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

NT$ 1,858
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

NT$ 2,516
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

NT$ 3,690
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

NT$ 1,858
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

NT$ 1,858
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

NT$ 2,813
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

NT$ 3,086
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

NT$ 2,813
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

NT$ 3,429
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

NT$ 2,677
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

NT$ 2,516
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

NT$ 2,677
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

NT$ 1,899
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

NT$ 2,267
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

NT$ 1,858
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

NT$ 1,303
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

NT$ 1,264
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

NT$ 2,404
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

NT$ 2,232
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

NT$ 2,021
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

NT$ 1,994
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

NT$ 2,267
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

NT$ 1,858
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

NT$ 1,935
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

NT$ 1,919
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

NT$ 1,988
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

NT$ 1,990
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

NT$ 2,029
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

NT$ 1,993
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

NT$ 1,997
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

NT$ 1,979
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

NT$ 2,125
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

NT$ 1,342
Denkmal und Energie (in German)

Denkmal und Energie (in German)

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

NT$ 1,538
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

NT$ 1,003
12