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
英語
ペーパーバック
読みたい