作者的書籍：Christel Baier - BookPine

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

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

Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... DisCoTec 2018, Madrid, Spain, June

Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ...

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ...

Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

Christel Baier

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Computer Science and General Issues)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Computer Science and General Issues)

Christel Baier

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10803)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10803)

Christel Baier

Sofsem 2017: Theory and Practice of Computer Science (43rd International Conference on Current Trends in Theory and Practice of Computer Science)

Sofsem 2017: Theory and Practice of Computer Science (43rd International Conference on Current Trends in Theory and Practice of Computer Science)

Bernhard Steffen

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

Bernhard Steffen

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)

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)

Christel Baier

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... London, UK, April 11-18, 2015, Proceedings

Christel Baier

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier

Principles of Model Checking

Principles of Model Checking

Christel Baier

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

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

Christel Baier

Theoretische Informatik

Theoretische Informatik

Alexander Asteroth

Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT)

Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT)

Christel Baier