登入選單
Google圖書搜尋
Linear Distances Between Markov Chains
作者
Przemyslaw Daca / Thomas A. Henzinger / Jan Kretínský / Tatjana Petrov
出版2016
ISBN
OCLC:1033911523
Verification of Discrete- and Continuous-time Non-...
作者
Jan Křetínský
出版2013
ISBN
OCLC:874058106
Faster Statistical Model Checking for Unbounded Te...
作者
Przemysław Daca / Thomas A. Henzinger / Jan Křetínský / Tatjana Petrov
出版2017
ISBN
OCLC:1033800365
The 2019 Comparison of Tools for the Analysis of Q...
作者
Ernst Moritz Hahn / Arnd Hartmanns / Christian Hensel / Michaela Klauck / Joachim Klein / Jan Křetínský / David Parker / Tim Quatmann / Enno Ruijters / Marcel Steinmetz
出版2019
ISBN
OCLC:1190278466
Zákon o investičních společnostech a investičních ...
作者
Jan Dědič / Daniel Křetínský / Libor Vacek
出版2001
ISBN
8071794473 / 9788071794479
主題
Mutual funds
On the Expressive Power of Extended Process Rewrit...
作者
Mojmír Křetinský / Vojtěch Řehák / Jan Strejček / Dansk Grundforskningsfond. BRICS
出版2004
ISBN
OCLC:254257174
Falešné vědomí
作者
Jan Kožíšek
出版2004
ISBN
8023934732 / 9788023934731