Sebastian Junges – författare

Visar alla böcker från författaren Sebastian Junges.

5 produkter

Kategorier

5 produkter

Del 15261
Del 15261 - Lecture Notes in Computer Science
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
AvNils Jansen,Sebastian Jungesm. fl.
Häftad, Engelska, 2024
1 109 kr
Skickas inom 10-15 vardagar
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
AvNils Jansen,Sebastian Jungesm. fl.
Häftad, Engelska, 2024
1 039 kr
Skickas inom 10-15 vardagar
Del 15260
Del 15260 - Lecture Notes in Computer Science
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
AvNils Jansen,Sebastian Jungesm. fl.
Häftad, Engelska, 2024
1 189 kr
Skickas inom 10-15 vardagar
Del 16506
Del 16506 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II
AvSebastian Junges,Guy Katz
Häftad, Engelska, 2026
599 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I
AvSebastian Junges,Guy Katz
Häftad, Engelska, 2026
599 kr
Skickas inom 10-15 vardagar

Sebastian Junges – författare

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges – författare

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges – författare

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges – författare

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems