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

Av Wim H. Hesselink, Hesselink Wim H. m. fl

Häftad, Engelska, 2005

799 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

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

Häftad, Engelska, 2005

799 kr

Skickas inom 10-15 vardagar
Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

Av Flemming Nielson, Hanne Riis Nielson m. fl

Häftad, Engelska, 2005

889 kr

Skickas inom 10-15 vardagar
Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

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

Häftad, Engelska, 2005

1 189 kr

Skickas inom 10-15 vardagar
Del 40 - Cambridge Tracts in Theoretical Computer Science

Free Choice Petri Nets

Av Jorg Desel, Javier Esparza m. fl

Häftad, Engelska, 2005

709 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

Av Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University m. fl

Häftad, Engelska, 2005

799 kr

Skickas inom 10-15 vardagar
Del 28 - Cambridge Tracts in Theoretical Computer Science

Deductive and Declarative Programming

Av Peter Padawitz, P. Padawitz m. fl

Häftad, Engelska, 2006

799 kr

Skickas inom 10-15 vardagar
Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

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

Häftad, Engelska, 2006

829 kr

Skickas inom 10-15 vardagar
Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

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

Häftad, Engelska, 1990

899 kr

Skickas inom 10-15 vardagar
Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

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

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

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

Inbunden, Engelska, 1997

1 729 kr

Skickas inom 10-15 vardagar
Del 29 - Cambridge Tracts in Theoretical Computer Science

Belief Revision

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

Häftad, Engelska, 2003

1 099 kr

Skickas inom 10-15 vardagar
Del 10 - Cambridge Tracts in Theoretical Computer Science

Theoretical Foundations of VLSI Design

Av K. 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

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

Häftad, Engelska, 1996

809 kr

Skickas inom 10-15 vardagar
Del 44 - Cambridge Tracts in Theoretical Computer Science

Information Flow

The Logic of Distributed Systems

Av Jon Barwise, Jerry Seligman m. fl

Inbunden, Engelska, 1997

1 189 kr

Skickas inom 10-15 vardagar
Del 38 - Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines and Gödel's Proof

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

Häftad, Engelska, 1997

779 kr

Skickas inom 10-15 vardagar
Del 30 - Cambridge Tracts in Theoretical Computer Science

Computational Learning Theory

Av M. H. G. Anthony, N. Biggs m. fl

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar
Del 8 - Cambridge Tracts in Theoretical Computer Science

Formal Semantics and Pragmatics for Natural Language Querying

Av James Clifford, Clifford James m. fl

Häftad, Engelska, 2004

799 kr

Skickas inom 10-15 vardagar
Del 17 - Cambridge Tracts in Theoretical Computer Science

Applications of Process Algebra

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

Häftad, Engelska, 2005

1 459 kr

Skickas inom 10-15 vardagar
Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

Av Gregory. J. Chaitin, Gregory J. Chaitin m. fl

Häftad, Engelska, 2004

819 kr

Skickas inom 10-15 vardagar
Del 33 - Cambridge Tracts in Theoretical Computer Science

Predicate Transformer Semantics

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

Häftad, Engelska, 2004

959 kr

Skickas inom 10-15 vardagar
Del 26 - Cambridge Tracts in Theoretical Computer Science

Action Semantics

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

Häftad, Engelska, 2005

959 kr

Skickas inom 10-15 vardagar
Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

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

Häftad, Engelska, 2005

659 kr

Skickas inom 10-15 vardagar
Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

Av Andrea Asperti, Stefano Guerrini m. fl

Inbunden, Engelska, 1998

1 409 kr

Skickas inom 10-15 vardagar

The Geometry of Information Retrieval

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

Inbunden, Engelska, 2004

1 339 kr

Skickas inom 10-15 vardagar
Del 4 - Information Retrieval Series

Information Retrieval: Uncertainty and Logics

Advanced Models for the Representation and Retrieval of Information

Av Cornelis Joost van Rijsbergen, Fabio Crestani m. fl

Inbunden, Engelska, 1998

4 469 kr

Skickas inom 10-15 vardagar

Information Retrieval: Uncertainty and Logics

Advanced Models for the Representation and Retrieval of Information

Av Cornelis Joost van Rijsbergen, Fabio Crestani m. fl

Häftad, Engelska, 2012

4 469 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

Av W. Bruce Croft, C.J. van Rijsbergen m. fl

Häftad, Engelska, 1994

1 449 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

Av Marcin Detyniecki, Joemon M. Jose m. fl

Häftad, Engelska, 2006

729 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

Av Fabio Crestani, Mark Girolami m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar