Cambridge Tracts in Theoretical Computer Science

书籍系列

由 Marianne Winslett
最新的: 2019
Belief Revision (Cambridge Tracts in Theoretical Computer Science)

Belief Revision (Cambridge Tracts in Theoretical Computer Science)

由 Peter Gärdenfors
Jan 1, 1864
英语
平装书
想要阅读
Nets, Terms and Formulas (Three Views of Concurrent Processes and their Relationship)

Nets, Terms and Formulas (Three Views of Concurrent Processes and their Relationship)

由 E.-R. Olderog
英语
平装书
想要阅读
[(Algebraic Specification of Communication Protocols )] [Author: Sjouke Mauw] [Dec-2008]

[(Algebraic Specification of Communication Protocols )] [Author: Sjouke Mauw] [Dec-2008]

由 S. Mauw
英语
平装书
想要阅读