Baier, Christel books & textbook
Principles of Model Checking (Mit Press)
Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand
The MIT Press /2008-04-25 Hardcover / 975 Pages
isbn-10: 026202649X / isbn-13: 9780262026499
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science, 4137)
Baier, Christel Hermanns, Holger
Springer /2006-08-10 Paperback / 541 Pages
isbn-10: 3540373764 / isbn-13: 9783540373766
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... (Programming and Software Engineering)
Springer /2018-05-30 Paperback / 208 Pages
isbn-10: 331992611X / isbn-13: 9783319926117
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus
Springer /2004-08-11 Paperback / 480 Pages
isbn-10: 3540222650 / isbn-13: 9783540222651
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... Computer Science and General Issues)
Baier, Christel Tinelli, Cesare
Springer /2015-04-08 Paperback / 743 Pages
isbn-10: 3662466805 / isbn-13: 9783662466803
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Computer Science and General Issues)
Springer /2018-04-14 Paperback / 598 Pages
isbn-10: 3319893653 / isbn-13: 9783319893655
Asthmatherapie bei Kindern und Jugendlichen.
Uni-Med Verlag Ag /2002-11-30 Hardcover
isbn-10: 389599572X / isbn-13: 9783895995729
Einfuerung in Die Theoretische Informatik
Alexander Asteroth Christel Baier
Pearson Studium /2002-09-15 Paperback / 432 Pages
isbn-10: 3827370337 / isbn-13: 9783827370334
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... Computer Science and General Issues)
Steffen, Bernhard Baier, Christel van den Brand, Mark Eder, Johann Hinchey, Mike Margaria, Tiziana
Springer /2017-01-11 Paperback / 544 Pages
isbn-10: 331951962X / isbn-13: 9783319519623
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings
Saint Philip Street Press /2020-10-08 Hardcover / 586 Pages
isbn-10: 1013269438 / isbn-13: 9781013269431
