Hoppa till sidans huvudinnehåll

C. J. van Rijsbergen - Böcker

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

769 kr

Skickas inom 10-15 vardagar

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

769 kr

Skickas inom 10-15 vardagar

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 10-15 vardagar

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 10-15 vardagar

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

Häftad, Engelska, 2005

769 kr

Skickas inom 10-15 vardagar

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 10-15 vardagar

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 10-15 vardagar

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 10-15 vardagar

Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

AvAllan M. Ramsay,Allan M. (University College Dublin) Ramsay m. fl.

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

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

Inbunden, Engelska, 1997

1 679 kr

Skickas inom 10-15 vardagar

Del 29 - Cambridge Tracts in Theoretical Computer Science

Belief Revision

AvPeter Gärdenfors,Peter Gärdenfors m. fl.

Häftad, Engelska, 2003

1 069 kr

Skickas inom 10-15 vardagar

Del 10 - Cambridge Tracts in Theoretical Computer Science

Theoretical Foundations of VLSI Design

AvK. McEvoy,J. V. Tucker m. fl.

Häftad, Engelska, 2003

839 kr

Skickas inom 10-15 vardagar

Del 5 - Cambridge Tracts in Theoretical Computer Science

Topology via Logic

AvSteven Vickers,London) Vickers, Steven (Imperial College of Science, Technology and Medicine m. fl.

Häftad, Engelska, 1996

799 kr

Skickas inom 10-15 vardagar

Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

AvJon Barwise,Jerry Seligman m. fl.

Inbunden, Engelska, 1997

1 149 kr

Skickas inom 10-15 vardagar

Del 38 - Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines and Gödel's Proof

AvN. Shankar,USA) Shankar, N. (SRI International m. fl.

Häftad, Engelska, 1997

749 kr

Skickas inom 10-15 vardagar

Del 30 - Cambridge Tracts in Theoretical Computer Science

Computational Learning Theory

AvM. H. G. Anthony,N. Biggs m. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Del 8 - Cambridge Tracts in Theoretical Computer Science

Formal Semantics and Pragmatics for Natural Language Querying

AvJames Clifford,Clifford James m. fl.

Häftad, Engelska, 2004

769 kr

Skickas inom 10-15 vardagar

Del 17 - Cambridge Tracts in Theoretical Computer Science

Applications of Process Algebra

AvJ. C. M. Baeten,C. J. Van Rijsbergen m. fl.

Häftad, Engelska, 2005

1 409 kr

Skickas inom 10-15 vardagar

Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

AvGregory. J. Chaitin,Gregory J. Chaitin m. fl.

Häftad, Engelska, 2004

799 kr

Skickas inom 10-15 vardagar

Del 33 - Cambridge Tracts in Theoretical Computer Science

Predicate Transformer Semantics

AvErnest. G. Manes,Amherst) Manes, Ernest. G. (University of Massachusetts m. fl.

Häftad, Engelska, 2004

929 kr

Skickas inom 10-15 vardagar

Del 26 - Cambridge Tracts in Theoretical Computer Science

Action Semantics

AvPeter D. Mosses,Denmark) Mosses, Peter D. (Aarhus Universitet m. fl.

Häftad, Engelska, 2005

929 kr

Skickas inom 10-15 vardagar

Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

AvMarianne Winslett,Urbana-Champaign) Winslett, Marianne (University of Illinois m. fl.

Häftad, Engelska, 2005

639 kr

Skickas inom 10-15 vardagar

Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrini m. fl.

Inbunden, Engelska, 1998

1 369 kr

Skickas inom 10-15 vardagar

The Geometry of Information Retrieval

AvC. J. van Rijsbergen,C. J. (University of Glasgow) van Rijsbergen m. fl.

Inbunden, Engelska, 2004

1 299 kr

Skickas inom 10-15 vardagar

Information Retrieval: Uncertainty and Logics

Advanced Models for the Representation and Retrieval of Information

AvCornelis Joost van Rijsbergen,Fabio Crestani m. fl.

Inbunden, Engelska, 1998

4 359 kr

Skickas inom 10-15 vardagar

Information Retrieval: Uncertainty and Logics

Advanced Models for the Representation and Retrieval of Information

AvCornelis Joost van Rijsbergen,Fabio Crestani m. fl.

Häftad, Engelska, 2012

4 359 kr

Skickas inom 10-15 vardagar

SIGIR ’94

Proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University

AvW. Bruce Croft,C.J. van Rijsbergen m. fl.

Häftad, Engelska, 1994

1 419 kr

Skickas inom 10-15 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. Jose m. fl.

Häftad, Engelska, 2006

709 kr

Skickas inom 10-15 vardagar

Advances in Information Retrieval

24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings

AvFabio Crestani,Mark Girolami m. fl.

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar