Sök

Del 27

Del 27 - Cambridge Tracts in Theoretical Computer Science

Programs, Recursion and Unbounded Choice

AvWim H. Hesselink,Hesselink Wim H. m. fl.

Häftad, Engelska, 2005

779 kr

Skickas inom 7-10 vardagar

Del 23

Del 23 - Cambridge Tracts in Theoretical Computer Science

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

AvE. -R. Olderog,Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg m. fl.

Häftad, Engelska, 2005

779 kr

Skickas inom 7-10 vardagar

Del 34

Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

AvFlemming Nielson,Hanne Riis Nielson m. fl.

Häftad, Engelska, 2005

859 kr

Skickas inom 7-10 vardagar

Del 19

Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

AvMaria Manzano,Maria (Universitat de Barcelona) Manzano m. fl.

Häftad, Engelska, 2005

1 149 kr

Skickas inom 7-10 vardagar

Del 40

Del 40 - Cambridge Tracts in Theoretical Computer Science

Free Choice Petri Nets

AvJorg Desel,Javier Esparza m. fl.

Häftad, Engelska, 2005

689 kr

Skickas inom 7-10 vardagar

Del 32

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,Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University m. fl.

Häftad, Engelska, 2005

779 kr

Skickas inom 7-10 vardagar

Del 28

Del 28 - Cambridge Tracts in Theoretical Computer Science

Deductive and Declarative Programming

AvPeter Padawitz,P. Padawitz m. fl.

Häftad, Engelska, 2006

769 kr

Skickas inom 7-10 vardagar

Del 39

Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

AvJ. B. Paris,J. B. (University of Manchester) Paris m. fl.

Häftad, Engelska, 2006

809 kr

Skickas inom 7-10 vardagar

Del 3

Del 3 - Cambridge Tracts in Theoretical Computer Science

Understanding Z

A Specification Language and its Formal Semantics

AvJ. M. Spivey,J. M. (University of Oxford) Spivey m. fl.

Häftad, Engelska, 2008

599 kr

Skickas inom 7-10 vardagar

Del 42

Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley,Swansea) Hindley, J. Roger (University of Wales

Häftad, Engelska, 2008

609 kr

Skickas inom 7-10 vardagar

Del 46

Del 46 - Cambridge Tracts in Theoretical Computer Science

Domains and Lambda-Calculi

AvRoberto M. Amadio,Pierre-Louis Curien m. fl.

Häftad, Engelska, 2008

929 kr

Skickas inom 7-10 vardagar

Del 22

Del 22 - Cambridge Tracts in Theoretical Computer Science

Mathematical Theory of Domains

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

Häftad, Engelska, 2008

869 kr

Skickas inom 7-10 vardagar

Del 44

Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

AvJon Barwise,Jerry Seligman m. fl.

Häftad, Engelska, 2008

939 kr

Skickas inom 7-10 vardagar

Del 36

Del 36 - Cambridge Tracts in Theoretical Computer Science

Algebraic Specification of Communication Protocols

AvS. Mauw,G. J. Veltink m. fl.

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar

Del 47

Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

AvWillem-Paul de Roever,Kai Engelhardt m. fl.

Häftad, Engelska, 2008

929 kr

Skickas inom 7-10 vardagar

Del 49

Del 49 - Cambridge Tracts in Theoretical Computer Science

Hybrid Graph Theory and Network Analysis

AvLadislav Novak,Alan Gibbons m. fl.

Häftad, Engelska, 2009

639 kr

Skickas inom 7-10 vardagar

Del 4

Del 4 - Cambridge Tracts in Theoretical Computer Science

Lambda-calculus, Combinators and Functional Programming

AvG. E. Revesz

Häftad, Engelska, 2009

899 kr

Skickas inom 7-10 vardagar

Del 31

Del 31 - Cambridge Tracts in Theoretical Computer Science

Higher Order Logic and Hardware Verification

AvT. F. Melham,T. F. (University of Glasgow) Melham m. fl.

Häftad, Engelska, 2009

639 kr

Skickas inom 7-10 vardagar

Del 11

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,T. H. (The University of Hong Kong) Tse m. fl.

Häftad, Engelska, 2009

659 kr

Skickas inom 7-10 vardagar

Del 21

Del 21 - Cambridge Tracts in Theoretical Computer Science

The Clausal Theory of Types

AvD. A. Wolfram,D. A. (University of Oxford) Wolfram

Häftad, Engelska, 2009

489 kr

Skickas inom 7-10 vardagar

Del 15

Del 15 - Cambridge Tracts in Theoretical Computer Science

Design Theory and Computer Science

AvSubrata Dasgupta,Subrata (University of Southwestern Louisiana) Dasgupta m. fl.

Häftad, Engelska, 2009

1 099 kr

Skickas inom 7-10 vardagar

Del 54

Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer m. fl.

Häftad, Engelska, 2012

1 289 kr

Skickas inom 7-10 vardagar

Del 12

Del 12 - Cambridge Tracts in Theoretical Computer Science

Nonmonotonic Reasoning

Logical Foundations of Commonsense

AvGerhard Brewka

Häftad, Engelska, 2012

709 kr

Skickas inom 7-10 vardagar

Del 12

Del 12 - Cambridge Tracts in Theoretical Computer Science

Nonmonotonic Reasoning

Logical Foundations of Commonsense

AvGerhard Brewka

Inbunden, Engelska, 1991

1 169 kr

Skickas inom 7-10 vardagar

Del 15

Del 15 - Cambridge Tracts in Theoretical Computer Science

Design Theory and Computer Science

AvSubrata Dasgupta,Subrata (University of Southwestern Louisiana) Dasgupta

Inbunden, Engelska, 1991

2 599 kr

Skickas inom 7-10 vardagar

Del 55

Del 55 - Cambridge Tracts in Theoretical Computer Science

Term Rewriting Systems

AvTerese,Jan Willem Klop m. fl.

Inbunden, Engelska, 2003

3 459 kr

Skickas inom 7-10 vardagar

Del 11

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,T. H. (The University of Hong Kong) Tse

Inbunden, Engelska, 1991

1 879 kr

Skickas inom 7-10 vardagar

Del 21

Del 21 - Cambridge Tracts in Theoretical Computer Science

The Clausal Theory of Types

AvD. A. Wolfram,D. A. (University of Oxford) Wolfram

Inbunden, Engelska, 1993

1 049 kr

Skickas inom 7-10 vardagar

Del 2

Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,Lawrence C. (University of Cambridge) Paulson m. fl.

Häftad, Engelska, 1990

869 kr

Skickas inom 7-10 vardagar

Del 23

Del 23 - Cambridge Tracts in Theoretical Computer Science

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

AvE. -R. Olderog,Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg m. fl.

Inbunden, Engelska, 1991

1 879 kr

Skickas inom 7-10 vardagar

Cambridge Tracts in Theoretical Computer Science

Programs, Recursion and Unbounded Choice

Nets, Terms and Formulas

Two-Level Functional Languages

Extensions of First-Order Logic

Free Choice Petri Nets

The Logic of Typed Feature Structures

Deductive and Declarative Programming

The Uncertain Reasoner's Companion

Understanding Z

Basic Simple Type Theory

Domains and Lambda-Calculi

Mathematical Theory of Domains

Information Flow

Algebraic Specification of Communication Protocols

Data Refinement

Hybrid Graph Theory and Network Analysis

Lambda-calculus, Combinators and Functional Programming

Higher Order Logic and Hardware Verification

A Unifying Framework for Structured Analysis and Design Models

The Clausal Theory of Types

Design Theory and Computer Science

Concurrency Verification

Nonmonotonic Reasoning

Nonmonotonic Reasoning

Design Theory and Computer Science

Term Rewriting Systems

A Unifying Framework for Structured Analysis and Design Models

The Clausal Theory of Types

Logic and Computation

Nets, Terms and Formulas

Loading component...

Loading component...

Cambridge Tracts in Theoretical Computer Science

Programs, Recursion and Unbounded Choice

Nets, Terms and Formulas

Two-Level Functional Languages

Extensions of First-Order Logic

Free Choice Petri Nets

The Logic of Typed Feature Structures

Deductive and Declarative Programming

The Uncertain Reasoner's Companion

Understanding Z

Basic Simple Type Theory

Domains and Lambda-Calculi

Mathematical Theory of Domains

Information Flow

Algebraic Specification of Communication Protocols

Data Refinement

Hybrid Graph Theory and Network Analysis

Lambda-calculus, Combinators and Functional Programming

Higher Order Logic and Hardware Verification

A Unifying Framework for Structured Analysis and Design Models

The Clausal Theory of Types

Design Theory and Computer Science

Concurrency Verification

Nonmonotonic Reasoning

Nonmonotonic Reasoning

Design Theory and Computer Science

Term Rewriting Systems

A Unifying Framework for Structured Analysis and Design Models

The Clausal Theory of Types

Logic and Computation

Nets, Terms and Formulas

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration