Buy Used and New Christel Baier Books

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540373766

Format: Paperback (525 pages)
Publisher: Springer
Published: 10 Aug 2006

Save for later

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

ISBN 13: 9783540222651

Format: Paperback (569 pages)
Publisher: Springer
Published: 11 Aug 2004

Save for later

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)

by Bernhard Steffen, Christel Baier, Mark van den Brand

ISBN 13: 9783319519623

Format: Paperback (546 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

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

by Christel Baier, Ugo Dal Lago

ISBN 13: 9783319893655

Format: Paperback
Publisher: Springer
Published: 13 May 2018

Save for later

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

by Christel Baier

ISBN 13: 9783319926117

Format: Paperback
Publisher: Springer
Published: 15 Aug 2018

Save for later