C. J. van Rijsbergen - Böcker
Programs, Recursion and Unbounded Choice
Häftad, Engelska, 2005
789 kr
Nets, Terms and Formulas
Av E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
789 kr
Two-Level Functional Languages
Av Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen
Häftad, Engelska, 2005
879 kr
Extensions of First-Order Logic
Av Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
1 169 kr
Free Choice Petri Nets
Av Jorg Desel, Javier Esparza, Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, C. J. van Rijsbergen
Häftad, Engelska, 2005
699 kr
The Logic of Typed Feature Structures
Av Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
789 kr
Deductive and Declarative Programming
Häftad, Engelska, 2006
789 kr
The Uncertain Reasoner's Companion
Av J. B. Paris, J. B. (University of Manchester) Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2006
829 kr
Logic and Computation
Av Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1990
909 kr
Formal Methods in Artificial Intelligence
Av Allan M. Ramsay, Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1991
719 kr
Basic Simple Type Theory
Av J. Roger Hindley, Swansea) Hindley, J. Roger (University of Wales, Roger J. Hindley, C. J. van Rijsbergen
Inbunden, Engelska, 1997
1 759 kr
Belief Revision
Av Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gärdenfors, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
1 119 kr
Theoretical Foundations of VLSI Design
Av K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2003
859 kr
Topology via Logic
Av Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 1996
809 kr
Information Flow
Av Jon Barwise, Jerry Seligman, Jon (Indiana University) Barwise, Jerry (University of Auckland) Seligman, Whatley, C. J. van Rijsbergen
Inbunden, Engelska, 1997
1 209 kr
Metamathematics, Machines and Gödel's Proof
Av N. Shankar, USA) Shankar, N. (SRI International, Natarajan Shankar, C. J. van Rijsbergen
Häftad, Engelska, 1997
789 kr
Computational Learning Theory
Av M. H. G. Anthony, N. Biggs, M. H. G. (London School of Economics and Political Science) Anthony, N. (London School of Economics and Political Science) Biggs, Norman L. Biggs, C. J. van Rijsbergen
Häftad, Engelska, 1997
719 kr
Formal Semantics and Pragmatics for Natural Language Querying
Häftad, Engelska, 2004
789 kr
Applications of Process Algebra
Av J. C. M. Baeten, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
1 489 kr
Algorithmic Information Theory
Av Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2004
839 kr
Predicate Transformer Semantics
Av Ernest. G. Manes, Amherst) Manes, Ernest. G. (University of Massachusetts, Ernest G. Manes, E. G. Manes, C. J. van Rijsbergen
Häftad, Engelska, 2004
949 kr
Action Semantics
Av Peter D. Mosses, Denmark) Mosses, Peter D. (Aarhus Universitet, Mosses Peter D., C. J. van Rijsbergen
Häftad, Engelska, 2005
949 kr
Updating Logical Databases
Av Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, Engelska, 2005
649 kr
The Optimal Implementation of Functional Programming Languages
Av Andrea Asperti, Stefano Guerrini, Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Inbunden, Engelska, 1998
1 399 kr
The Geometry of Information Retrieval
Av C. J. van Rijsbergen, C. J. (University of Glasgow) van Rijsbergen, C. J. Van Rijsbergen, C. J. van Rijsbergen
Inbunden, Engelska, 2004
1 329 kr
Information Retrieval: Uncertainty and Logics
Av Cornelis Joost van Rijsbergen, Fabio Crestani, Mounia Lalmas, C. J. Van Rijsbergen, Cornelis Joost van Rijsbergen
Inbunden, Engelska, 1998
4 509 kr
Information Retrieval: Uncertainty and Logics
Av Cornelis Joost van Rijsbergen, Fabio Crestani, Mounia Lalmas, C. J. Van Rijsbergen, Cornelis Joost van Rijsbergen
Häftad, Engelska, 2012
4 509 kr
SIGIR ’94
Av W. Bruce Croft, C.J. van Rijsbergen, C. J. Van Rijsbergen, Bruce Croft, C. J. van Rijsbergen
Häftad, Engelska, 1994
1 449 kr
Adaptive Multimedia Retrieval: User, Context, and Feedback
Av Marcin Detyniecki, Joemon M. Jose, Andreas Nürnberger, C. J. van Rijsbergen
Häftad, Engelska, 2006
729 kr
Advances in Information Retrieval
Av Fabio Crestani, Mark Girolami, C.J.van Rijsbergen, C. J. van Rijsbergen
Häftad, Engelska, 2002
729 kr