Cambridge Tracts in Theoretical Computer Science

Séries de livres

par Marianne Winslett

Dernier: 2019

Belief Revision (Cambridge Tracts in Theoretical Computer Science)

Belief Revision (Cambridge Tracts in Theoretical Computer Science)

par Peter Gärdenfors

Jan 1, 1864

Anglais

Broché

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

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

par E.-R. Olderog

Anglais

Broché

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

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

par S. Mauw

Anglais

Broché