Book Days ¡Hasta 50% OFF y envío rápido!  Ver más

Enviar a
CERCADO DE LIMA, Lima
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
55%
dcto.

S/ 210,76

S/ 94,84
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
55%
dcto.

S/ 158,89

S/ 71,50
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
55%
dcto.

S/ 364,23

S/ 163,90
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
55%
dcto.

S/ 364,23

S/ 163,90
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
55%
dcto.

S/ 393,39

S/ 177,02
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
55%
dcto.

S/ 196,77

S/ 88,55
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
55%
dcto.

S/ 265,09

S/ 119,29
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
55%
dcto.

S/ 397,75

S/ 178,99
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
55%
dcto.

S/ 539,17

S/ 242,63
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
55%
dcto.

S/ 539,17

S/ 242,63
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
55%
dcto.

S/ 889,06

S/ 400,08
Karten von Mykenai (en Alemán)

Karten von Mykenai (en Alemán)

Bernhard Steffen
Hutson Street Press, Nuevo
55%
dcto.

S/ 305,62

S/ 137,53
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
55%
dcto.

S/ 364,23

S/ 163,90
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
55%
dcto.

S/ 388,45

S/ 174,80
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
55%
dcto.

S/ 392,00

S/ 176,40
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 393,39

S/ 177,02
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
55%
dcto.

S/ 655,80

S/ 295,11
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
55%
dcto.

S/ 528,17

S/ 237,68
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
55%
dcto.

S/ 655,80

S/ 295,11
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
55%
dcto.

S/ 964,24

S/ 433,91
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
55%
dcto.

S/ 597,49

S/ 268,87
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
55%
dcto.

S/ 403,33

S/ 181,50
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
55%
dcto.

S/ 568,33

S/ 255,75
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
55%
dcto.

S/ 741,04

S/ 333,47
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
55%
dcto.

S/ 401,33

S/ 180,60
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
55%
dcto.

S/ 305,91

S/ 137,66
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
55%
dcto.

S/ 480,86

S/ 216,39
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
55%
dcto.

S/ 409,39

S/ 184,23
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
55%
dcto.

S/ 539,17

S/ 242,63
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
55%
dcto.

S/ 404,44

S/ 182,00
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
55%
dcto.

S/ 597,49

S/ 268,87
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
55%
dcto.

S/ 403,66

S/ 181,65
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
55%
dcto.

S/ 539,17

S/ 242,63
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
55%
dcto.

S/ 305,91

S/ 137,66
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
55%
dcto.

S/ 412,10

S/ 185,45
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
55%
dcto.

S/ 510,02

S/ 229,51
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
55%
dcto.

S/ 405,33

S/ 182,40
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
55%
dcto.

S/ 539,17

S/ 242,63
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
55%
dcto.

S/ 568,33

S/ 255,75
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
55%
dcto.

S/ 437,80

S/ 197,01
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
55%
dcto.

S/ 422,54

S/ 190,14
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
55%
dcto.

S/ 531,11

S/ 239,00
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
55%
dcto.

S/ 451,70

S/ 203,27
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
55%
dcto.

S/ 480,86

S/ 216,39
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
55%
dcto.

S/ 305,91

S/ 137,66
12