Hoppa till sidans huvudinnehåll

C. J. van Rijsbergen – författare

Visar alla böcker från författaren C. J. van Rijsbergen.
23 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

829 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

829 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

929 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 219 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

739 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

829 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

829 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

859 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

939 kr

Skickas inom 7-10 vardagar

Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Formal Methods in Artificial Intelligence, Häftad
Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

AvAllan M. Ramsay,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1991

759 kr

Skickas inom 7-10 vardagar

J. Roger Hindley, C. J. van Rijsbergen - Basic Simple Type Theory, Inbunden
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley,C. J. van Rijsbergen

Inbunden, Engelska, 1997

1 799 kr

Skickas inom 7-10 vardagar

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
Del 5 - Cambridge Tracts in Theoretical Computer Science

Topology via Logic

AvSteven Vickers,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1996

869 kr

Skickas inom 7-10 vardagar

Jon Barwise, Jerry Seligman, C. J. van Rijsbergen - Information Flow, Inbunden
Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

AvJon Barwise,Jerry Seligmanm. fl.

Inbunden, Engelska, 1997

1 219 kr

Skickas inom 7-10 vardagar

N. Shankar, C. J. van Rijsbergen - Metamathematics, Machines and Gödel's Proof, Häftad
Del 38 - Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines and Gödel's Proof

AvN. Shankar,C. J. van Rijsbergen

Häftad, Engelska, 1997

799 kr

Skickas inom 7-10 vardagar

M. H. G. Anthony, N. Biggs, C. J. van Rijsbergen - Computational Learning Theory, Häftad
Del 30 - Cambridge Tracts in Theoretical Computer Science

Computational Learning Theory

AvM. H. G. Anthony,N. Biggsm. fl.

Häftad, Engelska, 1997

769 kr

Skickas inom 7-10 vardagar

James Clifford, C. J. van Rijsbergen - Formal Semantics and Pragmatics for Natural Language Querying, Häftad
Del 8 - Cambridge Tracts in Theoretical Computer Science

Formal Semantics and Pragmatics for Natural Language Querying

AvJames Clifford,C. J. van Rijsbergen

Häftad, Engelska, 2004

829 kr

Skickas inom 7-10 vardagar

Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Algorithmic Information Theory, Häftad
Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

AvGregory. J. Chaitin,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2004

889 kr

Skickas inom 7-10 vardagar

Ernest. G. Manes, C. J. van Rijsbergen - Predicate Transformer Semantics, Häftad
Del 33 - Cambridge Tracts in Theoretical Computer Science

Predicate Transformer Semantics

AvErnest. G. Manes,C. J. van Rijsbergen

Häftad, Engelska, 2004

999 kr

Skickas inom 7-10 vardagar

Peter D. Mosses, C. J. van Rijsbergen - Action Semantics, Häftad
Del 26 - Cambridge Tracts in Theoretical Computer Science

Action Semantics

AvPeter D. Mosses,C. J. van Rijsbergen

Häftad, Engelska, 2005

999 kr

Skickas inom 7-10 vardagar

Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Updating Logical Databases, Häftad
Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

AvMarianne Winslett,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

689 kr

Skickas inom 7-10 vardagar

Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Optimal Implementation of Functional Programming Languages, Inbunden
Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrinim. fl.

Inbunden, Engelska, 1998

1 469 kr

Skickas inom 7-10 vardagar

C. J. van Rijsbergen - The Geometry of Information Retrieval, Inbunden

The Geometry of Information Retrieval

AvC. J. van Rijsbergen

Inbunden, Engelska, 2004

1 399 kr

Skickas inom 7-10 vardagar

Marcin Detyniecki, Joemon M. Jose, Andreas Nürnberger, C. J. van Rijsbergen - Adaptive Multimedia Retrieval: User, Context, and Feedback, Häftad

Adaptive Multimedia Retrieval: User, Context, and Feedback

Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers

AvMarcin Detyniecki,Joemon M. Josem. fl.

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar