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
영어
페이퍼백
읽고 싶어요