Spring Days Books - Hasta 50% de dto  Ver más

Enviar a
Montevideo, Montevideo
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de Steffen Bernhard

Encontramos 54 Libros para steffen bernhard

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text (en Alemán)

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text (en Alemán)

Steffen, Bernhard
Nabu Press, Tapa Blanda, Nuevo
50%
dcto.

$ 2.254

$ 1.127
Bridging the Gap Between AI and Reality (en Inglés)

Bridging the Gap Between AI and Reality (en Inglés)

Bernhard Steffen
, 2025, Tapa Blanda, Nuevo
50%
dcto.

$ 3.608

$ 1.804
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) (en Inglés)

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) (en Inglés)

Steffen Bernhard
Springer Nature B.V., Tapa Blanda, Nuevo
50%
dcto.

$ 3.608

$ 1.804
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
50%
dcto.

$ 2.110

$ 1.055
Computing and Software Science: State of the Art and Perspectives (en Inglés)

Computing and Software Science: State of the Art and Perspectives (en Inglés)

Steffen, Bernhard ; Woeginger, Gerhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 2.806

$ 1.403
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) (en Inglés)

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) (en Inglés)

Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.612

$ 2.806
Bridging the Gap Between AI and Reality: 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings (en Inglés)

Bridging the Gap Between AI and Reality: 4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings (en Inglés)

Bernhard Steffen
Springer Nature Switzerland, 2026, Tapa Blanda, Nuevo
50%
dcto.

$ 5.339

$ 2.669
Aprovecha esta PREVENTA
verification, model checking, and abstract interpretation: 5th international conference, vmcai 2004, venice, january 11-13, 2004, proceedings (en Inglés)

verification, model checking, and abstract interpretation: 5th international conference, vmcai 2004, venice, january 11-13, 2004, proceedings (en Inglés)

steffen, bernhard
springer, 2004, Nuevo
50%
dcto.

$ 4.187

$ 2.093
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) (en Inglés)

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) (en Inglés)

Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 9.246

$ 4.623
Transactions on Foundations for Mastering Change I (en Inglés)

Transactions on Foundations for Mastering Change I (en Inglés)

Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings (en Inglés)

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings (en Inglés)

Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.612

$ 2.806
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
50%
dcto.

$ 3.232

$ 1.616
Let’S Talk ai: Interdisciplinarity is a Must (Lecture Notes in Computer Science, 15000) (en Inglés)

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

Steffen Barbara,Lee Edward A.,Steffen Bernhard
Springer Nature B.V., Tapa Blanda, Nuevo
50%
dcto.

$ 3.608

$ 1.804
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)

Steffen, Bernhard ; Rüthing, Oliver ; Huth, Michael
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 3.047

$ 1.523
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 6.815

$ 3.407
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Tapa Blanda, Nuevo
50%
dcto.

$ 4.257

$ 2.129
leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, (en Inglés)

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Tapa Blanda, Nuevo
50%
dcto.

$ 4.915

$ 2.458
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (en Inglés)

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

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo
50%
dcto.

$ 4.380

$ 2.190
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

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

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

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.137

$ 2.068
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.612

$ 2.806
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2021, Tapa Blanda, Nuevo
50%
dcto.

$ 4.469

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

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

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.339

$ 2.669
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (en Inglés)

Bernhard Steffen; Oliver Rüthing; Michael Huth
Springer, 2018, 1 edición, Tapa Dura, Nuevo
50%
dcto.

$ 3.127

$ 1.563
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Tapa Blanda, Nuevo
50%
dcto.

$ 4.220

$ 2.110
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.612

$ 2.806
leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Tapa Blanda, Nuevo
50%
dcto.

$ 9.013

$ 4.507
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) (en Inglés)

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) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 6.240

$ 3.120
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 6.815

$ 3.407
Leveraging Applications of Formal Methods, Verification and Validation. Verification. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (en Inglés)

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

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo
50%
dcto.

$ 4.388

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

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

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 6.240

$ 3.120
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 7.750

$ 3.875
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) (en Inglés)

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) (en Inglés)

Hinchey Mike,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.940

$ 2.970
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2022, Tapa Blanda, Nuevo
50%
dcto.

$ 4.398

$ 2.199
Leveraging Applications of Formal Methods, Verification and Validation. Modeling. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (en Inglés)

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

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo
50%
dcto.

$ 4.355

$ 2.178
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.612

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

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

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.940

$ 2.970
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (en Inglés)

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

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo
50%
dcto.

$ 4.377

$ 2.188
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.320

$ 2.160
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22 (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22 (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.038

$ 2.519
Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Tapa Dura, Nuevo
50%
dcto.

$ 5.030

$ 2.515
Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Tapa Blanda, Nuevo
50%
dcto.

$ 4.595

$ 2.297
Real Time and Such: Essays Dedicated to Wang yi to Celebrate his Scientific Career (Lecture Notes in Computer Science, 15230) (en Inglés)

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

Graf Susanne,Pettersson Paul,Steffen Bernhard
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 4.437

$ 2.219
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, Tapa Blanda, Nuevo
50%
dcto.

$ 4.738

$ 2.369
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (en Inglés)

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (en Inglés)

Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 5.038

$ 2.519
Grundlagen der Höheren Informatik: Induktives Vorgehen (Examen. Press) (en Alemán)

Grundlagen der Höheren Informatik: Induktives Vorgehen (Examen. Press) (en Alemán)

Steffen, Bernhard, Oliver Rüthing Und Malte Isberner:
Springer Verlag Gmbh, Tapa Dura, Nuevo
50%
dcto.

$ 3.207

$ 1.603
12