Bernhard Steffen - Böcker

Visar alla böcker från författaren Bernhard Steffen.
57 produkter
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Häftad, Engelska, 2020

819 kr

Skickas inom 5-8 vardagar
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Inbunden

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Inbunden, Engelska, 2020

909 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Karten Von Mykenai, Inbunden

Karten Von Mykenai

Av Bernhard Steffen

Inbunden, Tyska, 2025

419 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Karten Von Mykenai, Häftad

Karten Von Mykenai

Av Bernhard Steffen

Häftad, Tyska, 2025

219 kr

Skickas inom 5-8 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Häftad

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar
Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing - Mathematical Foundations of Advanced Informatics, Häftad

Mathematical Foundations of Advanced Informatics

Av Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing

Häftad, Engelska, 2019

479 kr

Skickas torsdag 16/10
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation, Häftad

Leveraging Applications of Formal Methods, Verification and Validation

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

1 019 kr

Skickas inom 7-10 vardagar
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, Häftad

Model Checking, Synthesis, and Learning

Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog

Häftad, Engelska, 2021

939 kr

Skickas torsdag 16/10
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Häftad
Del 13702 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 019 kr

Skickas inom 7-10 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, Häftad
Del 13703 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 019 kr

Skickas torsdag 16/10
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Practice, Häftad
Del 13704 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

939 kr

Skickas torsdag 16/10
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, Häftad
Del 13701 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 239 kr

Skickas inom 7-10 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 14380 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2023

1 019 kr

Skickas inom 5-8 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Häftad
Del 15219 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 109 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 14129 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2024

1 869 kr

Skickas inom 7-10 vardagar
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such, Häftad
Del 15230 - Lecture Notes in Computer Science

Real Time and Such

Av Susanne Graf, Paul Pettersson, Bernhard Steffen

Häftad, Engelska, 2024

769 kr

Skickas inom 5-8 vardagar
Mike Hinchey, Bernhard Steffen - Combined Power of Research, Education, and Dissemination, Häftad
Del 15240 - Lecture Notes in Computer Science

Combined Power of Research, Education, and Dissemination

Av Mike Hinchey, Bernhard Steffen

Häftad, Engelska, 2024

969 kr

Skickas inom 7-10 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Häftad
Del 15220 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 019 kr

Skickas inom 7-10 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, Häftad
Del 15221 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 329 kr

Skickas inom 7-10 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Häftad
Del 15222 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 019 kr

Skickas inom 5-8 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Häftad
Del 15223 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

769 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 15217 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2024

1 019 kr

Skickas inom 7-10 vardagar