Releases by Christel Baier

All5
Hardcover Book1
Paperback Book4

In stock at iMusic Show unavailable items

Cover for Christel Baier · Foundations of Software Science and Computation Structures (Paperback Book) (2020)

Foundations of Software Science ... (2020)

Cover for Christel Baier · 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 (Hardcover Book) (2020)

Foundations of Software Science ... (2020)

Cover for Christel Baier · Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu (Paperback Book) [2015 edition] (2015)

Tools and Algorithms for the Con... (2015)

Cover for Christel Baier · CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

CONCUR 2006 - Concurrency Theory... (2006)

Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Validation of Stochastic Systems... (2004)