Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
纪江红主编2006 年出版191 页ISBN：7530116770
《世界尚未解开的1001个自然之谜》一书以简洁的语言，详尽讲述发生在自然界里的奇闻异事、未解之谜。孩子们可以从在大地怪象篇里见识怪坡，体验死亡谷的神秘可怕；到河湖奇事篇后，探索恒河水自我净化、"迷人湖"听...
Grammars for Programming Languages
J.Craig Cleaveland Robert C.Uzgalis2222 年出版154 页ISBN：
