登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 30 / 30
下一頁
Principles of Model Checking
作者
Christel Baier / Joost-Pieter Katoen
出版
MIT Press, 2008-04-25
ISBN
9780262026499 / 026202649X
主題
Computers
Waiting for Locks: How Long Does it Usually Take?
出版
2012
ISBN
OCLC:859565765
Chiefly Symmetric: Results on the Scalability of P...
出版
2012
ISBN
OCLC:859565775
CONCUR 2006 - Concurrency Theory
作者
Christel Baier
出版
Springer Science & Business Media, 2006-08-10
ISBN
9783540373766 / 3540373764
主題
Computers
Denotational Linear Time Semantics and Sequential ...
作者
Christel Baier / Mila Majster-Cederbaum
出版
1995
ISBN
OCLC:1190285748
How to Interpret and Establish Consistency Results...
出版
1996
ISBN
OCLC:315906325
The Connection Between the Initial and Unique Solu...
作者
Christel Baier / Mila Majster-Cederbaum
出版
1996
ISBN
OCLC:1190419355
Static Partial Order Reduction for Probabilistic C...
出版
2012
ISBN
OCLC:859565796
Establishing Qualitative Properties for Probabilis...
作者
Christel Baier / Bettina Engelen / Markus Roggenbach
出版
1999
ISBN
OCLC:1190058750
Modeling Component Connectors in Reo by Constraint...
作者
Farhad Arbab / Centrum voor Wiskunde en Informatica
出版
2003
ISBN
OCLC:249280591
The Consistency of a Noninterleaving and an Interl...
作者
Christel Baier / Mila Majster-Cederbaum
出版
1990
ISBN
OCLC:1189989575
On the Definability of Concurrency and Communicati...
作者
Christel Baier / Mila Majster-Cederbaum
出版
1992
ISBN
OCLC:1190047566
Tools and Algorithms for the Construction and Anal...
作者
Christel Baier / Cesare Tinelli
出版
2015
ISBN
3662466821 / 9783662466827
Construction of a Cms on a Given Cpo
作者
Christel Baier / Mila Majster-Cederbaum
出版
1995
ISBN
OCLC:1189975704
Denotational Semantics in the Cpo and Metric Appro...
作者
Christel Baier / Mila E. Majster-Cederbaum
出版
1994
ISBN
OCLC:312601150
Computing Quantiles in Markov Reward Models
作者
Michael Ummels / Christel Baier
出版
2013
ISBN
OCLC:885448673
Weak Bisimulation for Fully Probabilistic Processe...
作者
Christel Baier / Holger Hermanns / Centre for Telematics and Information Technology (Enschede)
出版
1999
ISBN
OCLC:67845446
A Probabilistic Quantitative Analysis of Probabili...
出版
2013
ISBN
OCLC:868355472
Domain Equations for Trees
作者
Christel Baier / Mila E. Majster-Cederbaum
出版
1994
ISBN
OCLC:312075119
Metric Completion Versus Ideal Completion
作者
Mila E. Majster-Cederbaum / Christel Baier
出版
1994
ISBN
OCLC:312141133
The Connection Between an Event Structure Semantic...
作者
Christel Baier / Mila Majster-Cederbaum
出版
1991
ISBN
OCLC:1190335623
Foundations of Software Science and Computation St...
作者
Christel Baier / Ugo Dal Lago
出版
2018
ISBN
OCLC:1135347450
主題
Electronic computers. Computer science
PROBMIV'98
作者
Christel Baier / Michael Huth / Marta Zofia Kwiatkowska / Ryan Mark
出版
20??
ISBN
0444507876 / 9780444507877
Rückblick auf ein Eislaufleben
作者
Christel Baier
出版
1995
ISBN
OCLC:1406086134
Theoretische Informatik
作者
Alexander Asteroth / Christel Baier
出版
2002
ISBN
3827370337 / 9783827370334
主題
Theoretische Informatik
Principles of Model Checking
作者
Christel Baier / Joost-Pieter Katoen
出版
MIT Press, 2008-04-25
ISBN
9780262304030 / 0262304031
主題
Computers
CONCUR 2006 - Concurrency Theory
作者
Christel Baier
出版
Springer Science & Business Media, 2006-08-10
ISBN
9783540373766 / 3540373764
主題
Computers
Theoretische Informatik : Eine Einführung in Berec...
作者
Alexander Asteroth / Christel Baier
出版
2008
ISBN
382737345X / 9783827373458
主題
Informatik
Robert Walser
作者
Christel Dormagen / Robert Walser
出版
1975
ISBN
IND:30000004974774
Die Amphibien Europas
作者
Andreas Nöllert / Christel Nöllert
出版
Balogh Scientific Books, 1992
ISBN
CORNELL:31924074105309
主題
Amphibians