Christel Baier - Böcker

Visar alla böcker från författaren Christel Baier.
7 produkter
Christel Baier, Joost-Pieter Katoen, Christel (Technische Universitat Dresden) Baier, Joost-Pieter (RWTH Aachen University) Katoen - Principles of Model Checking, Inbunden

Principles of Model Checking

Av Christel Baier, Joost-Pieter Katoen, Christel (Technische Universitat Dresden) Baier, Joost-Pieter (RWTH Aachen University) Katoen

Inbunden, Engelska, 2008

1 009 kr

Tillfälligt slut
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria - SOFSEM 2017: Theory and Practice of Computer Science, Häftad

SOFSEM 2017: Theory and Practice of Computer Science

Av Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures, Häftad

Foundations of Software Science and Computation Structures

Av Christel Baier, Ugo Dal Lago

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar
Christel Baier, Luís Caires, Luís - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Christel Baier, Luís Caires, Luís

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad
Del 2925 - Lecture Notes in Computer Science

Validation of Stochastic Systems

Av Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Häftad, Engelska, 2004

709 kr

Skickas inom 10-15 vardagar
Christel Baier, Holger Hermanns - CONCUR 2006 - Concurrency Theory, Häftad

CONCUR 2006 - Concurrency Theory

Av Christel Baier, Holger Hermanns

Häftad, Engelska, 2006

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

Av Christel Baier, Cesare Tinelli

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar