logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Christel Baier's Books back

language per page order
Theoretische Informatik: Einfuhrung in Berechenbarkeit, Komplexitat Und Formale Sprachen - Christel Baier, Alexander Asteroth
Theoretische Informatik: Einfuhrung in Berechenbarkeit, Komplexitat Und Formale Sprachen
by Christel Baier (author), Alexander Asteroth (author)
publisher: Pearson Studium publish date: January 1st 2002
format: ebook pages: 426
ISBN: 1299747175 (9781299747173)
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) - Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
by Holger Hermanns (author), Christel Baier (author), Joost-Pieter Katoen (author), Boudewijn R. Haverkort (author), Markus Siegle (author)
publisher: Springer publish date: October 5th 2004
format: kindle pages: 475
language: English
ASIN: B000V1OGF8
Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
by Christel Baier (author), Joost-Pieter Katoen (author)
publisher: The MIT Press publish date: April 25th 2008
format: hardcover pages: 984
language: English
ISBN: 026202649X (9780262026499)
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Christel Baier
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
by Christel Baier (author)
publisher: Springer publish date: September 1st 2006
format: paperback pages: 523
language: English
ISBN: 3540373764 (9783540373766)
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.