Hoppa till sidans huvudinnehåll

Christel Baier – författare

Visar alla böcker från författaren Christel Baier.
7 produkter
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria - SOFSEM 2017: Theory and Practice of Computer Science, Häftad
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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures, Häftad
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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Luís Caires - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad

Validation of Stochastic Systems

A Guide to Current Research

AvChristel Baier,Boudewijn R. Haverkortm. fl.

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Christel Baier, Holger Hermanns - CONCUR 2006 - Concurrency Theory, Häftad

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

AvChristel Baier,Holger Hermanns

Häftad, Engelska, 2006

1 459 kr

Skickas inom 10-15 vardagar

Christel Baier, Cesare Tinelli - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Joost-Pieter Katoen - Principles of Model Checking, Inbunden

Principles of Model Checking

AvChristel Baier,Joost-Pieter Katoen

Inbunden, Engelska, 2008

1 009 kr

Tillfälligt slut