Livres

Cambridge Tracts in Theoretical Computer Science

Ramasser gratuitement à

Trouver en magasin

Faire livrer

Filtres

Ramasser gratuitement à

Trouver en magasin

Faire livrer

23 résultats pour

Trier par ::
Faire livrer
Ramasser gratuitement à:

0 articles

Aucun article trouvé

Try adjusting your filters to see more items.

Couverture

Syntax and Semantics of Petri Nets
Roberto Gorrieri Couverture rigide
160,95 $
Couverture

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors
Jiƙí Adámek Couverture rigide
235,95 $
Couverture

Extensions of First-Order Logic
Maria Manzano Couverture souple
104,95 $
Couverture

Updating Logical Databases
Marianne Winslett Couverture souple
53,95 $
Couverture

The Optimal Implementation Of Functional Programming Languages
Andrea Asperti Couverture rigide
130,95 $
Couverture

Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-paul De Roever Couverture souple
81,95 $
2 formats offerts
Couverture

Introduction To Coalgebra: Towards Mathematics Of States And Observation
Bart Jacobs Couverture rigide
219,95 $
Couverture

Lambda-calculus, Combinators and Functional Programming
G. E. Revesz Couverture souple
77,95 $
Couverture

Computational Learning Theory
M. H. G. Anthony Couverture souple
66,95 $
Couverture

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. Carpenter Couverture souple
67,95 $
Couverture

Understanding Z: A Specification Language and its Formal Semantics
J. M. Spivey Couverture souple
54,95 $
Couverture

Basic Simple Type Theory
J. Roger Hindley Couverture souple
59,95 $
2 formats offerts
Couverture

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
E. -R. Olderog Couverture souple
67,95 $
2 formats offerts
Couverture

Mathematical Theory of Domains
V. Stoltenberg-Hansen Couverture souple
94,95 $
Couverture

Topology Via Logic
Steven Vickers Couverture souple
83,95 $
Couverture

Design Theory and Computer Science
Subrata Dasgupta Couverture souple
103,95 $
Couverture

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse Couverture souple
57,95 $
2 formats offerts
Couverture

Algorithmic Information Theory
Gregory. J. Chaitin Couverture souple
76,95 $
Couverture

Term Rewriting Systems
Terese Terese Couverture rigide
310,95 $
Couverture

Belief Revision
Couverture souple
97,95 $
Couverture

Basic Proof Theory
A. S. Troelstra Couverture souple
75,95 $
Couverture

Metamathematics, Machines and Gödel's Proof
N. Shankar Couverture souple
67,95 $
Couverture

Topological Duality for Distributive Lattices: Theory and Applications
Mai Gehrke Couverture rigide
97,95 $