Christel Baier | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?

PRINCIPLES OF MODEL CHECKING

Christel Baier; Joost-Pieter Katoen
MIT Press Ltd (2008)
Kovakantinen kirja

84,60 €

VALIDATION OF STOCHASTIC SYSTEMS - A GUIDE TO CURRENT RESEARCH

Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen; Markus Siegle
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

49,60 €

CONCUR 2006 - CONCURRENCY THEORY : 17TH INTERNATIONAL CONFERENCE, CONCUR 2006, BONN, GERMANY, AUGUST 27-30, 2006

Christel Baier (ed.); Holger Hermanns (ed.)
Springer (2006)
Pehmeäkantinen kirja

97,90 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 21ST INTERNATIONAL CONFERENCE, TACAS 2015, HELD AS PART OF T

Christel Baier; Cesare Tinelli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

49,60 €

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES - 21ST INTERNATIONAL CONFERENCE, FOSSACS 2018, HELD AS PART OF THE EU

Christel Baier; Ugo Dal Lago
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 38TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2018, HELD

Christel Baier; Luís Caires
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE - 43RD INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF

Bernhard Steffen; Christel Baier; Mark van den Brand; Johann Eder; Mike Hinchey; Tiziana Margaria
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

84,60 €