书籍列表

INTERACTIVE MARKOV CHAINS AND THE QUEST FOR QUANTIFIED QUALITY 封面
INTERACTIVE MARKOV CHAINS A...

作者：HOLGER HERMANNS
Interactive Markov chains: and the quest for quantified quality 封面
Interactive Markov chains: ...

作者：Holger Hermanns
Tools and algorithms for the construction and analysis of systems 12th international conference 封面
Tools and algorithms for th...

作者：Holger Hermanns ;...
CONCUR 2006 - concurrency theory: 17th international conference 封面
CONCUR 2006 - concurrency t...

作者：Christel Baier ; ...
返回首页