Cambridge Tracts in Theoretical Computer Science

Serie di Libri

di Marianne Winslett
Ultimo: 2019
Belief Revision (Cambridge Tracts in Theoretical Computer Science)

Belief Revision (Cambridge Tracts in Theoretical Computer Science)

di Peter Gärdenfors
Jan 1, 1864
Inglese
Brossura
Voglio Leggere
Nets, Terms and Formulas (Three Views of Concurrent Processes and their Relationship)

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

di E.-R. Olderog
Inglese
Brossura
Voglio Leggere
[(Algebraic Specification of Communication Protocols )] [Author: Sjouke Mauw] [Dec-2008]

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

di S. Mauw
Inglese
Brossura
Voglio Leggere