Discover new books on Goodreads

See if your friends have read any of Christel Baier's books

Christel Baier

Christel Baier’s Followers

None yet.

Christel Baier

Combine Editions
Christel Baier’s books

Average rating: 4.06 · 36 ratings · 6 reviews · 17 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
	Validation of Stochastic Systems: A Guide to Current Research by Christel Baier (Editor), Boudewijn R. Haverkort (Editor), Holger Hermanns (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
	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 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 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

More books by Christel Baier…

Is this you? Let us know. If not, help out and invite Christel to Goodreads.