登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 4 / 4
下一頁
Waiting for Locks: How Long Does it Usually Take?
出版
2012
ISBN
OCLC:859565765
Verification of Branching-time and Alternating-tim...
出版
2012
ISBN
OCLC:930842828
Chiefly Symmetric: Results on the Scalability of P...
出版
2012
ISBN
OCLC:859565775
A Probabilistic Quantitative Analysis of Probabili...
出版
2013
ISBN
OCLC:868355472