16 results
Type of media (3)
Availability (2)
Language (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
16 results

Your search for Christel Baier

  1. Cover: SOFSEM 2017: Theory and Practice of Computer Science - Springer
    Bernhard Steffen | Christel Baier | Mark van den Brand
    SOFSEM 2017: Theory and Practice of Computer Science
    43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
    01/2017
    Springer
    9783319519630 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Christel Baier | Luís Caires
    Formal Techniques for Distributed Objects, Components, and Systems
    38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
    05/2018
    Springer
    9783319926124 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Christel Baier | Cesare Tinelli
    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
    03/2015
    Springer
    9783662466810 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Theoretische Informatik - Pearson Education DE
    Christel Baier | Alexander Asteroth
    Theoretische Informatik
    Einführung in Berechenbarkeit, Komplexität und formale Sprachen
    07/2019
    1st EDN1st Edition
    Pearson Education DE
    9783863266646 (ISBN)
    E-Book
    PDF
    Other editions
    €26.99
    Available for download
  5. Cover: Validation of Stochastic Systems - Springer
    Christel Baier | Boudewijn R. Haverkort | Holger Hermanns
    Validation of Stochastic Systems
    A Guide to Current Research
    08/2004
    Springer
    9783540246114 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: CONCUR 2006 - Concurrency Theory - Springer
    Christel Baier | Holger Hermanns
    CONCUR 2006 - Concurrency Theory
    17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
    08/2006
    Springer
    9783540373766 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  7. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Christel Baier | Cesare Tinelli
    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
    04/2015
    Springer
    9783662466803 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: SOFSEM 2017: Theory and Practice of Computer Science - Springer
    Bernhard Steffen | Christel Baier | Mark van den Brand
    SOFSEM 2017: Theory and Practice of Computer Science
    43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
    01/2017
    Springer
    9783319519623 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Foundations of Software Science and Computation Structures - Springer
    Christel Baier | Ugo Dal Lago
    Foundations of Software Science and Computation Structures
    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
    04/2018
    Springer
    9783319893655 (ISBN)
    Book
    Paperback/Softback
    €53.49
    Shipment within 10-15 days
  10. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Christel Baier | Luís Caires
    Formal Techniques for Distributed Objects, Components, and Systems
    38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
    05/2018
    Springer
    9783319926117 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Principles of Model Checking - MIT Press
    Christel Baier | Joost-Pieter Katoen
    Principles of Model Checking
    04/2008
    MIT Press
    9780262026499 (ISBN)
    Book
    Hardback
    Other editions
    €179.51
    Shipment within 10-20 days
  12. Cover: Validation of Stochastic Systems - Springer
    Christel Baier | Boudewijn R. Haverkort | Holger Hermanns
    Validation of Stochastic Systems
    A Guide to Current Research
    08/2004
    Springer
    9783540222651 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Theoretische Informatik - Addison Wesley
    Christel Baier | Alexander Asteroth
    Theoretische Informatik
    Einführung in Berechenbarkeit, Komplexität und formale Sprachen
    10/2002
    1st EDN1st Edition
    Addison Wesley
    9783827370334 (ISBN)
    Book
    Hardback
    Other editions
    €29.95
    Exhausted; check different version
  14. Cover: Theoretische Informatik - eBook - Addison Wesley
    Alexander Asteroth | Christel Baier
    Theoretische Informatik - eBook
    05/2008
    1st EDN1st Edition
    Addison Wesley
    9783827373458 (ISBN)
    Software
    Digital media
    €29.95
    Article not available
  15. This image is currently not available.
    Christel Baier | Holger Hermanns
    Concur 2006 - Concurrency Theory
    09/2008
    Springer
    9783540827801 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  16. This image is currently not available.
    Roswitha Weixelbaumer | Margit Eberl | Christel Baier
    Out of Balance
    KBT: Konzentrative Bewegungs-Therapie für Kinder
    1999
    Österreichisches Literaturforum
    9783900959975 (ISBN)
    Book
    Paperback/Softback
    €15.98
    Article not available