Books by Christel Baier

Christel Baier
Average rating 4.06 · 36 ratings · 6 reviews · shelved 257 times

Showing 16 distinct works.

	Principles of Model Checking by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen (Foreword) 4.03 avg rating — 31 ratings — published 2008 — 10 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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) by Christel Baier (Editor), Ugo Dal Lago (Editor) it was amazing 5.00 avg rating — 1 rating	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... (Lecture Notes in Computer Science, 10139) by Bernhard Steffen (Editor), Christel Baier (Editor), Mark Van Den Brand (Editor), Johann Eder (Editor) it was amazing 5.00 avg rating — 1 rating — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Validation of Stochastic Systems: A Guide to Current Research by Christel Baier (Editor), Boudewijn R. Haverkort (Editor), Holger Hermanns (Editor), Joost-Pieter Katoen (Editor) really liked it 4.00 avg rating — 1 rating — published 2004 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretische Informatik by Alexander Asteroth, Christel Baier really liked it 4.00 avg rating — 1 rating — published 2002	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science, 4137) by Christel Baier (Editor), Holger Hermanns (Editor) liked it 3.00 avg rating — 1 rating — published 2006 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretische Informatik by Christel Baier, Alexander Asteroth 0.00 avg rating — 0 ratings — published 2002	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT) by Christel Baier, Alexander Asteroth 0.00 avg rating — 0 ratings — published 2002	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 10803) by Christel Baier (Editor), Ugo Dal Lago (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 by Christel Baier (Creator) 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 by Christel Baier (Editor) 0.00 avg rating — 0 ratings — published 2015 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... ... Notes in Computer Science Book 10854) by Christel Baier (Editor), Luis Caires (Editor) 0.00 avg rating — 0 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT) by Christel Baier, Alexander Asteroth 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9035) by Christel Baier (Editor), Cesare Tinelli (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	[Principles of Model Checking (The MIT Press)] [Author: Christel Baier] [June, 2008] by Christel Baier, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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) by Bernhard Steffen (Editor), Christel Baier (editor), Mark Van Den Brand (editor), Johann Eder (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.