Colombia Lee con Hasta 80% dcto  Ver más

Enviar a
Bogota, Cundinamarca
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.

$ 166.072

$ 83.036
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.

$ 135.147

$ 67.573
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.

$ 304.000

$ 152.000
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.

$ 304.000

$ 152.000
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
50%
dcto.

$ 153.494

$ 76.747
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.

$ 332.727

$ 166.364
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.

$ 330.205

$ 165.103
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.

$ 214.902

$ 107.451
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
50%
dcto.

$ 251.327

$ 125.664
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.

$ 775.697

$ 387.848
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.

$ 461.232

$ 230.616
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.

$ 461.232

$ 230.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.

$ 304.000

$ 152.000
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.

$ 330.205

$ 165.103
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.

$ 330.205

$ 165.103
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.

$ 330.205

$ 165.103
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.

$ 330.205

$ 165.103
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.

$ 330.205

$ 165.103
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.

$ 330.205

$ 165.103
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.

$ 339.453

$ 169.726
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.

$ 251.589

$ 125.795
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.

$ 251.589

$ 125.795
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.

$ 347.042

$ 173.521
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.

$ 350.322

$ 175.161
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.

$ 566.054

$ 283.027
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.

$ 826.477

$ 413.238
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.

$ 513.643

$ 256.822
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.

$ 566.054

$ 283.027
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.

$ 408.822

$ 204.411
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.

$ 368.877

$ 184.439
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.

$ 435.027

$ 217.513
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.

$ 456.895

$ 228.447
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.

$ 361.086

$ 180.543
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.

$ 461.232

$ 230.616
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.

$ 360.779

$ 180.389
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.

$ 487.438

$ 243.719
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.

$ 634.017

$ 317.008
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.

$ 361.804

$ 180.902
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.

$ 513.643

$ 256.822
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.

$ 358.933

$ 179.467
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.

$ 362.624

$ 181.312
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.

$ 487.438

$ 243.719
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.

$ 461.232

$ 230.616
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.

$ 461.232

$ 230.616
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.

$ 370.125

$ 185.062
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.

$ 453.982

$ 226.991
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.

$ 356.411

$ 178.205
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.

$ 251.589

$ 125.795
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.

$ 382.616

$ 191.308
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.

$ 408.822

$ 204.411
12