Christel Baier | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held

Baier, Christel; Caires, Luís
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Principles of Model Checking

Baier, Christel; Katoen, Joost-Pieter
MIT Press Ltd
2008
Kovakantinen kirja

83,60 €

Validation of Stochastic Systems : A Guide to Current Research

Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus
Springer
2004
Pehmeäkantinen kirja

51,10 €

CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Baier, Christel; Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

100,90 €

Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of t

Baier, Christel; Tinelli, Cesare
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of

Baier, Christel; Dal Lago, Ugo
Springer
2018
Pehmeäkantinen kirja

51,10 €

Theoretische Informatik

Baier, Christel; Asteroth, Alexander
2019

63,90 €

SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of

Steffen, Bernhard; Baier, Christel; van den Brand, Mark; Eder, Johann; Hinchey, Mike; Margaria, Tiziana
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €