Zoeken

U zocht naar: Auteur Quatmann, Tim Filter Auteur: Quatmann, Tim weghalen Type e-book Filter Type: e-book weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
thumbnail
Full text!
Auteur:
Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:
Springer Nature 2024
Type:
e-book
2. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
thumbnail
Full text!
Auteur:
Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:
Springer Nature 2024
Type:
e-book
3. Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
thumbnail
Full text!
Auteur:
Jansen, Nils.; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:
Cham Springer 2024
Type:
e-book