Christel Baier – författare
Visar alla böcker från författaren Christel Baier. Handla med fri frakt och snabb leverans.
12 produkter
Principles of Model Checking
Av Christel Baier, Joost-Pieter Katoen
Inbunden, 2008
2031 kr
Tillfälligt slut
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
Av Bernhard Steffen, Christel Baier m. fl.
Häftad, 2017
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. …
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
Av Tiziana Margaria, Mike Hinchey m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. …
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
Av Christel Baier, Ugo Dal Lago
Häftad, 2018
564 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS …
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
Av Christel Baier, Luís Caires
Häftad, 2018
564 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, …
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
Av Luis Caires, Christel Baier
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, …
Validation of Stochastic Systems
A Guide to Current Research
Av Christel Baier, Boudewijn R. Haverkort m. fl.
Häftad, 2004
548 kr
Lägg i varukorg
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, …
Validation of Stochastic Systems
A Guide to Current Research
Av Markus Siegle, Joost-Pieter Katoen m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Av Christel Baier, Holger Hermanns
Häftad, 2006
1122 kr
Lägg i varukorg
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and …
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Av Holger Hermanns, Christel Baier
E-bok, 2006
1502 kr
Lägg i varukorg
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and …
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
Av Christel Baier, Cesare Tinelli
Häftad, 2015
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The …
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
Av Cesare Tinelli, Christel Baier
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The …
