Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... - Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... Principles of Verification: Cycling the Probabilistic Landscape English 13.11.2024 Paperback / Softback Fr. 91.00 1-2 weeks (title will be printed to order)

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... - Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... Principles of Verification: Cycling the Probabilistic Landscape English 13.11.2024 Paperback / Softback Fr. 102.00 1-2 weeks (title will be printed to order)

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... - Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann... Principles of Verification: Cycling the Probabilistic Landscape English 18.11.2024 Paperback / Softback Fr. 96.00 1-2 weeks (title will be printed to order)

Petra van den Bos, Nils Jansen, Mariëlle Stoelinga, Petra van den Bos - A Journey from Process Algebra via Timed Automata to Model Learning

Petra van den Bos, Nils Jansen, Mariëlle Stoelinga, Petra van den Bos A Journey from Process Algebra via Timed Automata to Model Learning English 07.09.2022 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nathali Bertrand, Nathalie Bertrand, Jansen, Jansen, Nils Jansen - Formal Modeling and Analysis of Timed Systems

Nathali Bertrand, Nathalie Bertrand, Jansen, Jansen, Nils Jansen Formal Modeling and Analysis of Timed Systems English 30.11.2020 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nils Jansen, Tribastone, Mirco Tribastone - Quantitative Evaluation of Systems

Nils Jansen, Tribastone, Mirco Tribastone Quantitative Evaluation of Systems English 01.12.2023 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)