Christel Baier – författare

Visar alla böcker från författaren Christel Baier.

7 produkter

Kategorier

7 produkter

Del 10139
Del 10139 - Lecture Notes in Computer Science
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
AvBernhard Steffen,Christel Baierm. fl.
Häftad, Engelska, 2017
749 kr
Skickas inom 10-15 vardagar
Del 10803
Del 10803 - Lecture Notes in Computer Science
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
AvChristel Baier,Ugo Dal Lago
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Del 10854
Del 10854 - Lecture Notes in Computer Science
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
AvChristel Baier,Luís Caires
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Validation of Stochastic Systems
A Guide to Current Research
AvChristel Baier,Boudewijn R. Haverkortm. fl.
Häftad, Engelska, 2004
729 kr
Skickas inom 10-15 vardagar
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
AvChristel Baier,Holger Hermanns
Häftad, Engelska, 2006
1 489 kr
Skickas inom 10-15 vardagar
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
AvChristel Baier,Cesare Tinelli
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Principles of Model Checking
AvChristel Baier,Joost-Pieter Katoen
Inbunden, Engelska, 2008
2 639 kr
Tillfälligt slut

Christel Baier – författare

SOFSEM 2017: Theory and Practice of Computer Science

Foundations of Software Science and Computation Structures

Formal Techniques for Distributed Objects, Components, and Systems

Validation of Stochastic Systems

CONCUR 2006 - Concurrency Theory

Tools and Algorithms for the Construction and Analysis of Systems

Principles of Model Checking

Christel Baier – författare

SOFSEM 2017: Theory and Practice of Computer Science

Foundations of Software Science and Computation Structures

Formal Techniques for Distributed Objects, Components, and Systems

Validation of Stochastic Systems

CONCUR 2006 - Concurrency Theory

Tools and Algorithms for the Construction and Analysis of Systems

Principles of Model Checking