Livres

Cambridge Tracts in Theoretical Computer Science

Ramasser gratuitement à

Trouver en magasin

Faire livrer

Filtres

Ramasser gratuitement à

Trouver en magasin

Faire livrer

22 résultats pour

Trier par ::
Faire livrer
Ramasser gratuitement à:

0 articles

Aucun article trouvé

Try adjusting your filters to see more items.

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

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

Updating Logical Databases
Marianne Winslett Couverture souple
53,95 $

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

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

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

Lambda-calculus, Combinators and Functional Programming
G. E. Revesz Couverture souple
70,74 $

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

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

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

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

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

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

Topology Via Logic
Steven Vickers Couverture souple
78,95 $

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

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

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

Term Rewriting Systems
Terese Terese Couverture rigide
292,95 $

Belief Revision
Couverture souple
91,95 $

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

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

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