Hoppa till sidans huvudinnehåll

C. J. van Rijsbergen – författare

Visar alla böcker från författaren C. J. van Rijsbergen. Handla med fri frakt och snabb leverans.
23 produkter
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

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

Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

AvFlemming Nielson,Hanne Riis Nielsonm. fl.

Häftad, Engelska, 2005

939 kr

Skickas inom 7-10 vardagar

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 239 kr

Skickas inom 7-10 vardagar

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

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

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

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

869 kr

Skickas inom 7-10 vardagar

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

949 kr

Skickas inom 7-10 vardagar

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

Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley,C. J. van Rijsbergen

Inbunden, Engelska, 1997

1 809 kr

Skickas inom 7-10 vardagar

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

Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

AvJon Barwise,Jerry Seligmanm. fl.

Inbunden, Engelska, 1997

1 239 kr

Skickas inom 7-10 vardagar

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

809 kr

Skickas inom 7-10 vardagar

Del 30 - Cambridge Tracts in Theoretical Computer Science

Computational Learning Theory

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

Häftad, Engelska, 1997

779 kr

Skickas inom 7-10 vardagar

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

Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

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

Häftad, Engelska, 2004

869 kr

Skickas inom 7-10 vardagar

Del 33 - Cambridge Tracts in Theoretical Computer Science

Predicate Transformer Semantics

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

Häftad, Engelska, 2004

1 009 kr

Skickas inom 7-10 vardagar

Del 26 - Cambridge Tracts in Theoretical Computer Science

Action Semantics

AvPeter D. Mosses,C. J. van Rijsbergen

Häftad, Engelska, 2005

1 009 kr

Skickas inom 7-10 vardagar

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

Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrinim. fl.

Inbunden, Engelska, 1998

1 479 kr

Skickas inom 7-10 vardagar

The Geometry of Information Retrieval

AvC. J. van Rijsbergen

Inbunden, Engelska, 2004

1 409 kr

Skickas inom 7-10 vardagar

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

719 kr

Skickas inom 10-15 vardagar