| Search | About | Preferences | Interact | Help | |
| 150 million books. 1 search engine. | ||
C.J. Van Rijsbergen (C.J. van Rijsbergen / C. J. van Rijsbergen / Rijsbergen, C.J. Van / Rijsbergen, C.J. van / C. J. Van Rijsbergen / Van Rijsbergen, C. J. / van Rijsbergen, C. J.)
› Search all books by 'C.J. Van Rijsbergen'
1st Irish Workshop on Formal MethodsISBN 3540761969 (3-540-76196-9)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of '1st Irish Workshop on Formal Methods'- Action SemanticsISBN 0521619335 (0-521-61933-5)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Action Semantics' - Adaptive Multimedia Retrieval, User, Context, and Feedback: Third International Workshop, Amr 2005, Glasgow, Uk, July 28-29, 2005, Revised Selected PapersISBN 3540321748 (3-540-32174-8)
Softcover, Springer-Verlag New York Inc
Find All Copies
› Find collectible copies of 'Adaptive Multimedia Retrieval, User, Context, and Feedback: Third International Workshop, Amr 2005, Glasgow, Uk, July 28-29, 2005, Revised Selected Papers' - Advances in Databases and Information SystemsISBN 3540762272 (3-540-76227-2)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Advances in Databases and Information Systems' - Advances in Information Retrieval: 24th Bcs-Irsg European Colloquim on Ir Research Glasgow, Uk, March 25-27, 2002 ProceedingsISBN 3540433430 (3-540-43343-0)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Advances in Information Retrieval: 24th Bcs-Irsg European Colloquim on Ir Research Glasgow, Uk, March 25-27, 2002 Proceedings' - Architecture-Independent Loop ParallelisationISBN 1852332840 (1-85233-284-0)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Architecture-Independent Loop Parallelisation' -
Basic Proof TheoryISBN 0521779111 (0-521-77911-1)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Basic Proof Theory' - Bcs-Facs Northern Formal Methods WorkshopISBN 3540762159 (3-540-76215-9)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Bcs-Facs Northern Formal Methods Workshop' - Bcs-Facs Northern Formal Methods Workshop: Proceedings of the Bcs-Facs Northern Formal Methods Workshop, Ilkley, Uk, 23-24 September 1996ISBN 3540761179 (3-540-76117-9)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Bcs-Facs Northern Formal Methods Workshop: Proceedings of the Bcs-Facs Northern Formal Methods Workshop, Ilkley, Uk, 23-24 September 1996' - Domains and Lambda-CalculiISBN 0521622778 (0-521-62277-8)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Domains and Lambda-Calculi' - East - West Database Workshop : Proceedings of the Second International East - West Database Workshop, Klagenfurt, Austria, 25-28 September 1994ISBN 3540199462 (3-540-19946-2)
Softcover, Springer London, Limited
Find All Copies
› Find collectible copies of 'East - West Database Workshop : Proceedings of the Second International East - West Database Workshop, Klagenfurt, Austria, 25-28 September 1994' -
Finding Out About : A Cognitive Perspective on Search Engine Technology and the WWWISBN 0521630282 (0-521-63028-2)
Hardcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Finding Out About : A Cognitive Perspective on Search Engine Technology and the WWW' - Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994ISBN 3540199144 (3-540-19914-4)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994' - Games and Full Abstraction for a Functional Metalanguage With Recursive TypesISBN 3540762558 (3-540-76255-8)
Hardcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Games and Full Abstraction for a Functional Metalanguage With Recursive Types' - The Geometry of Information Retrievalby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 0521838053 (0-521-83805-3)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'The Geometry of Information Retrieval' - Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolutionby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 3540762531 (3-540-76253-1)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution' - Modal Logicby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 0521802008 (0-521-80200-8)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Modal Logic' -
Persistent Object Systems : Proceedings of the 6th International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994by C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 3540199128 (3-540-19912-8)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Persistent Object Systems : Proceedings of the 6th International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994' - Predicate Transformer Semanticsby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 0521616107 (0-521-61610-7)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Predicate Transformer Semantics' - Proceedings of the Tenth Annual International Acmsigir Conference on Research and Development in Information Retrieval/606870: New Orleans, Louisiana, Usa, June 3-5, 1987by C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 0897912322 (0-89791-232-2)
Softcover, Assn for Computing Machinery
Find All Copies
› Find collectible copies of 'Proceedings of the Tenth Annual International Acmsigir Conference on Research and Development in Information Retrieval/606870: New Orleans, Louisiana, Usa, June 3-5, 1987' - Search and Planning under Incomplete Information : A Study Using Bridge Card Playby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 3540762574 (3-540-76257-4)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Search and Planning under Incomplete Information : A Study Using Bridge Card Play' - Second International Workshop on the Theory and Practice of Algebraic Specifications : Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam, 25-26 September, 1997: Online Versionby C. J. Van Rijsbergen, C.J. Van RijsbergenISBN 3540762280 (3-540-76228-0)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Second International Workshop on the Theory and Practice of Algebraic Specifications : Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam, 25-26 September, 1997: Online Version' - Sigir '89: Proceedings of the Twelfth Annual International Acmsigir Conference on Research and Development in Information Retrievalby C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 0897913213 (0-89791-321-3)
Softcover, Assn for Computing Machinery
Find All Copies
› Find collectible copies of 'Sigir '89: Proceedings of the Twelfth Annual International Acmsigir Conference on Research and Development in Information Retrieval' - Sigir 94 Proceedings of the 17th Annual International Acm-Sigir Conference on Research and Development in Informationby C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 354019889X (3-540-19889-X)
Hardcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Sigir 94 Proceedings of the 17th Annual International Acm-Sigir Conference on Research and Development in Information' - Sigir, '98, Melbourne, Australia: Proceedings of the 21st Annual International Acm Sigir Conference on Research and Development in Information Retrieval, August 24-28, 1998by C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 1581130155 (1-58113-015-5)
Softcover, Assn for Computing Machinery
Find All Copies
› Find collectible copies of 'Sigir, '98, Melbourne, Australia: Proceedings of the 21st Annual International Acm Sigir Conference on Research and Development in Information Retrieval, August 24-28, 1998' - Theorem Proving with the Real Numbersby C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 3540762566 (3-540-76256-6)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Theorem Proving with the Real Numbers' - Updating Logical Databasesby C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 0521619726 (0-521-61972-6)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Updating Logical Databases' - User-Developer Cooperation in Software Development: Building Common Ground and Usable Systemsby C. J. Van Rijsbergen, N.J. Belkin, International Acmsigir Conference on Res, C.J. Van RijsbergenISBN 1852333111 (1-85233-311-1)
Hardcover, Springer Verlag
Find All Copies
› Find collectible copies of 'User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems'
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}