search result

Cover von Parallel problem solving from nature
10th international conference, Dortmund, Germany, September 13 - 17, 2008 proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5199
Media group: MONOGRAPHIE
Cover von Part III.; Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 15262
Media group: MONOGRAPHIE
Cover von Part I.; Principles of Verification
Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15260
Media group: MONOGRAPHIE
Cover von Principles of Verification

Principles of Verification

Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday
2025
Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 15260/15262
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; Principles of Verification
Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science : Festschrift; 15261
Media group: MONOGRAPHIE
OPEN V 11.1.0.0