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
英語
平裝書
想要閱讀