Hoppa till sidans huvudinnehåll

Cambridge Tracts in Theoretical Computer Science – serie

Visar alla böcker i serien Cambridge Tracts in Theoretical Computer Science.
67 produkter
Wim H. Hesselink, C. J. van Rijsbergen - Programs, Recursion and Unbounded Choice, Häftad
Del 27 - Cambridge Tracts in Theoretical Computer Science

Programs, Recursion and Unbounded Choice

AvWim H. Hesselink,C. J. van Rijsbergen

Häftad, Engelska, 2005

859 kr

Skickas inom 7-10 vardagar

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23 - Cambridge Tracts in Theoretical Computer Science

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

AvE. -R. Olderog,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

859 kr

Skickas inom 7-10 vardagar

Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen - Two-Level Functional Languages, Häftad
Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

AvFlemming Nielson,Hanne Riis Nielsonm. fl.

Häftad, Engelska, 2005

959 kr

Skickas inom 7-10 vardagar

Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad
Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

AvMaria Manzano,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

1 269 kr

Skickas inom 7-10 vardagar

Jorg Desel, Javier Esparza, C. J. van Rijsbergen - Free Choice Petri Nets, Häftad
Del 40 - Cambridge Tracts in Theoretical Computer Science

Free Choice Petri Nets

AvJorg Desel,Javier Esparzam. fl.

Häftad, Engelska, 2005

759 kr

Skickas inom 7-10 vardagar

Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad
Del 32 - Cambridge Tracts in Theoretical Computer Science

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

AvRobert L. Carpenter,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

859 kr

Skickas inom 7-10 vardagar

Peter Padawitz, C. J. van Rijsbergen - Deductive and Declarative Programming, Häftad
Del 28 - Cambridge Tracts in Theoretical Computer Science

Deductive and Declarative Programming

AvPeter Padawitz,C. J. van Rijsbergen

Häftad, Engelska, 2006

859 kr

Skickas inom 7-10 vardagar

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

AvJ. B. Paris,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2006

889 kr

Skickas inom 7-10 vardagar

J. M. Spivey - Understanding Z, Häftad
Del 3 - Cambridge Tracts in Theoretical Computer Science

Understanding Z

A Specification Language and its Formal Semantics

AvJ. M. Spivey

Häftad, Engelska, 2008

659 kr

Skickas inom 7-10 vardagar

J. Roger Hindley - Basic Simple Type Theory, Häftad
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley

Häftad, Engelska, 2008

679 kr

Skickas inom 7-10 vardagar

Roberto M. Amadio, Pierre-Louis Curien - Domains and Lambda-Calculi, Häftad
Del 46 - Cambridge Tracts in Theoretical Computer Science

Domains and Lambda-Calculi

AvRoberto M. Amadio,Pierre-Louis Curien

Häftad, Engelska, 2008

1 039 kr

Skickas inom 7-10 vardagar

V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor - Mathematical Theory of Domains, Häftad
Del 22 - Cambridge Tracts in Theoretical Computer Science

Mathematical Theory of Domains

AvV. Stoltenberg-Hansen,I. Lindströmm. fl.

Häftad, Engelska, 2008

969 kr

Skickas inom 7-10 vardagar

Jon Barwise, Jerry Seligman - Information Flow, Häftad
Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

AvJon Barwise,Jerry Seligman

Häftad, Engelska, 2008

1 009 kr

Skickas inom 7-10 vardagar

S. Mauw, G. J. Veltink - Algebraic Specification of Communication Protocols, Häftad
Del 36 - Cambridge Tracts in Theoretical Computer Science

Algebraic Specification of Communication Protocols

AvS. Mauw,G. J. Veltink

Häftad, Engelska, 2008

819 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Häftad
Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

AvWillem-Paul de Roever,Kai Engelhardt

Häftad, Engelska, 2008

1 039 kr

Skickas inom 7-10 vardagar

Ladislav Novak, Alan Gibbons - Hybrid Graph Theory and Network Analysis, Häftad
Del 49 - Cambridge Tracts in Theoretical Computer Science

Hybrid Graph Theory and Network Analysis

AvLadislav Novak,Alan Gibbons

Häftad, Engelska, 2009

709 kr

Skickas inom 7-10 vardagar

G. E. Revesz - Lambda-calculus, Combinators and Functional Programming, Häftad
Del 4 - Cambridge Tracts in Theoretical Computer Science

Lambda-calculus, Combinators and Functional Programming

AvG. E. Revesz

Häftad, Engelska, 2009

999 kr

Skickas inom 7-10 vardagar

T. F. Melham - Higher Order Logic and Hardware Verification, Häftad
Del 31 - Cambridge Tracts in Theoretical Computer Science

Higher Order Logic and Hardware Verification

AvT. F. Melham

Häftad, Engelska, 2009

709 kr

Skickas inom 7-10 vardagar

T. H. Tse - A Unifying Framework for Structured Analysis and Design Models, Häftad
Del 11 - Cambridge Tracts in Theoretical Computer Science

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

AvT. H. Tse

Häftad, Engelska, 2009

729 kr

Skickas inom 7-10 vardagar

D. A. Wolfram - The Clausal Theory of Types, Häftad
Del 21 - Cambridge Tracts in Theoretical Computer Science

The Clausal Theory of Types

AvD. A. Wolfram

Häftad, Engelska, 2009

529 kr

Skickas inom 7-10 vardagar

Subrata Dasgupta - Design Theory and Computer Science, Häftad
Del 15 - Cambridge Tracts in Theoretical Computer Science

Design Theory and Computer Science

AvSubrata Dasgupta

Häftad, Engelska, 2009

1 219 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boerm. fl.

Häftad, Engelska, 2012

1 429 kr

Skickas inom 7-10 vardagar

Gerhard Brewka - Nonmonotonic Reasoning, Häftad
Del 12 - Cambridge Tracts in Theoretical Computer Science

Nonmonotonic Reasoning

Logical Foundations of Commonsense

AvGerhard Brewka

Häftad, Engelska, 2012

779 kr

Skickas inom 7-10 vardagar

Gerhard Brewka - Nonmonotonic Reasoning, Inbunden
Del 12 - Cambridge Tracts in Theoretical Computer Science

Nonmonotonic Reasoning

Logical Foundations of Commonsense

AvGerhard Brewka

Inbunden, Engelska, 1991

1 289 kr

Skickas inom 7-10 vardagar

Subrata Dasgupta - Design Theory and Computer Science, Inbunden
Del 15 - Cambridge Tracts in Theoretical Computer Science

Design Theory and Computer Science

AvSubrata Dasgupta

Inbunden, Engelska, 1991

2 889 kr

Skickas inom 7-10 vardagar

Terese - Term Rewriting Systems, Inbunden
Del 55 - Cambridge Tracts in Theoretical Computer Science

Term Rewriting Systems

AvTerese

Inbunden, Engelska, 2003

3 849 kr

Skickas inom 7-10 vardagar

T. H. Tse - A Unifying Framework for Structured Analysis and Design Models, Inbunden
Del 11 - Cambridge Tracts in Theoretical Computer Science

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

AvT. H. Tse

Inbunden, Engelska, 1991

2 099 kr

Skickas inom 7-10 vardagar

D. A. Wolfram - The Clausal Theory of Types, Inbunden
Del 21 - Cambridge Tracts in Theoretical Computer Science

The Clausal Theory of Types

AvD. A. Wolfram

Inbunden, Engelska, 1993

1 159 kr

Skickas inom 7-10 vardagar

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1990

969 kr

Skickas inom 7-10 vardagar

E. -R. Olderog - Nets, Terms and Formulas, Inbunden
Del 23 - Cambridge Tracts in Theoretical Computer Science

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

AvE. -R. Olderog

Inbunden, Engelska, 1991

2 099 kr

Skickas inom 7-10 vardagar