Hoppa till sidans huvudinnehåll

Christel Baier - Böcker

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

Principles of Model Checking

Av Christel Baier, Joost-Pieter Katoen m. fl

Inbunden, Engelska, 2008

1 009 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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Validation of Stochastic Systems

A Guide to Current Research

Av Christel Baier, Boudewijn R. Haverkort m. fl

Häftad, Engelska, 2004

709 kr

Skickas inom 10-15 vardagar

CONCUR 2006 - Concurrency Theory

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

Av Christel Baier, Holger Hermanns

Häftad, Engelska, 2006

1 449 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

Av Christel Baier, Cesare Tinelli

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar