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.)

• 
  6th Refinement Workshop
  by J. Hillston, R. Pooley, Peter King, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387197338 (0-387-19733-8)

  More editions of 6th Refinement Workshop:

  • 6th Refinement Workshop: Softcover, Springer, ISBN 0387198865 (0-387-19886-5)
• 
  Algebraic Specification of Communication Protocols
  by S. Mauw, G.J. Veltink
  Hardcover, Cambridge Univ Pr, ISBN 0521418836 (0-521-41883-6)
• 
  Algorithmic Information Theory
  by Gregory J. Chaitin, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel, Y. Gurevich
  Softcover, Cambridge University Press, ISBN 0521616042 (0-521-61604-2)

  More editions of Algorithmic Information Theory:

  • Algorithmic Information Theory: Hardcover, Cambridge Univ Pr, ISBN 0521343062 (0-521-34306-2)
• 
  Applications Of Process Algebra
  by J.C.M. Baeten
  Softcover, Cambridge Univ Pr, ISBN 0521607507 (0-521-60750-7)
• 
  Asynchronous Digital Circuit Design
  by G. M. Birtwistle, A. L. Davis, C. J. van Rijsbergen
  Hardcover, Springer, ISBN 0387199012 (0-387-19901-2)
• 
  Basic Simple Type Theory
  by J. Roger Hindley, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel, J. W. De Bakker
  Hardcover, Cambridge University Press, ISBN 0521465184 (0-521-46518-4)
• 
  Belief Revision
  by Peter Gärdenfors, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel, Y. Gurevich
  Softcover, Cambridge University Press, ISBN 0521545641 (0-521-54564-1)
• 
  Code Generation - Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May, 1991
  by Robert Giegerich, Susan L. Graham, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387197575 (0-387-19757-5)
• 
  Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 Nov
  by John Darlington, Roland Dietrich
  Softcover, Springer Verlag, ISBN 0387197354 (0-387-19735-4)
• 
  Deductive and Declarative Programming
  by P. Padawitz
  Softcover, Cambridge Univ Pr, ISBN 0521032512 (0-521-03251-2)
• 
  Epistemic Logic for AI and Computer Science
  by John-Jules Ch. Meyer, Wiebe van der Hoek, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel
  Softcover, Cambridge University Press, ISBN 0521602807 (0-521-60280-7)
• 
  Extensions of First-order Logic
  by Maria Manzano
  Softcover, Cambridge Univ Pr, ISBN 0521019028 (0-521-01902-8)

  More editions of Extensions of First-order Logic:

  • Extensions of First-order Logic: Hardcover, Cambridge Univ Pr, ISBN 0521354358 (0-521-35435-8)
• 
  Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
  by Tim Denvir, Ros Herman, R. W. Whitty, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387197885 (0-387-19788-5)
• 
  Formal Semantics and Pragmatics for Natural Language Querying
  by James Clifford
  Softcover, Cambridge Univ Pr, ISBN 0521602742 (0-521-60274-2)
• 
  Formal Specification and Design
  by L.M.G. Feijs, H.B.M. Jonkers
  Hardcover, Cambridge Univ Pr, ISBN 0521434572 (0-521-43457-2)
• 
  Free Choice Petri Nets
  by Jorg Desel, Javier Esparza, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel
  Softcover, Cambridge University Press, ISBN 0521019451 (0-521-01945-1)
• 
  Functional Programming, Glasgow 1993
  by J. T. O'Donnell, K. Hammond, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387198792 (0-387-19879-2)
• 
  Information Flow: The Logic of Distributed Systems
  by Jon Barwise, Jerry Seligman
  Hardcover, Cambridge Univ Pr, ISBN 0521583861 (0-521-58386-1)
• 
  Information Retrieval
  by C. J. Van Rijsbergen
  Hardcover, Butterworths, ISBN 0408707178 (0-408-70717-8)

  More editions of Information Retrieval:

  • Information Retrieval: Hardcover, Butterworth-Heinemann, ISBN 0408709294 (0-408-70929-4)
• 
  Logic and Computation: Interactive Proof With Cambridge Lcf
  by Lawrence C. Paulson
  Softcover, Cambridge Univ Pr, ISBN 0521395607 (0-521-39560-7)
• 
  The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution
  by Robert L. Carpenter
  Softcover, Cambridge Univ Pr, ISBN 0521022541 (0-521-02254-1)

  More editions of The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution:

  • The Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs and Constraint Resolution: Hardcover, Cambridge Univ Pr, ISBN 0521419328 (0-521-41932-8)
• 
  Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation University of Manchester, 4-5 July 1991
  by Tim P. Clement, K. L. Lau, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387197427 (0-387-19742-7)
• 
  Metamathematics, Machines and Godel's Proof
  by N. Shankar
  Softcover, Cambridge Univ Pr, ISBN 0521585333 (0-521-58533-3)
• 
  Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
  by E.-R Olderog
  Softcover, Cambridge Univ Pr, ISBN 0521018455 (0-521-01845-5)
• 
  Object Orientation in Z
  by Susan Stepney, Rosalind Barden, David Cooper, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387197788 (0-387-19778-8)
• 
  via
  Predicate Transformer Semantics
  by Ernest G. Manes, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel, Y. Gurevich
  Softcover, Cambridge University Press, ISBN 0521616107 (0-521-61610-7)
• 
  Programs, Recursion And Unbounded Choice
  by Wim H. Hesselink
  Softcover, Cambridge Univ Pr, ISBN 0521018293 (0-521-01829-3)
• 
  Research and Development in Information Retrieval
  by C. J. Van Rijsbergen
  Hardcover, Cambridge Univ Pr, ISBN 0521268656 (0-521-26865-6)
• 
  Rough Sets, Fuzzy Sets, and Knowledge Discovery: Proceedings of the Internationa Workshop on Rough Sets and Knowledge Discovery (RSKD '93) Banff, Alberta, Canada, 12-15 October, 1993
  by Wojciech P. Ziarko, C. J. van Rijsbergen
  Softcover, Springer, ISBN 0387198857 (0-387-19885-7)
• 
  Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8-1
  by John Rosenberg, British Computer Society, International Workshop on Computer Architectures to Support Security A, J. Leslie Keedy
  Softcover, Springer Verlag, ISBN 0387196463 (0-387-19646-3)
• 
  Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester UK
  by M. Z. Kwiatkowska, M. W. Shields, R. Murray Thomas, C. J. van Rijsbergen
  Hardcover, Springer, ISBN 0387196250 (0-387-19625-0)
• 
  SIGIR '94: Proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, Organized by Dublin City University Held in Cooperation with the ACM-SIGIR ... 3-6 July 1994, Dublin, Ireland
  by C. J. Van Rijsbergen, W. Bruce Croft, Dublin City University
  Hardcover, Springer-Verlag, ISBN 038719889X (0-387-19889-X)
• 
  Specification and Verification of Concurrent Systems
  by C. Rattray, C. J. van Rijsbergen
  Hardcover, Springer, ISBN 0387195815 (0-387-19581-5)
• 
  Theoretical Foundations of VLSI Design
  by K. McEvoy, J. V. Tucker, C. J. van Rijsbergen, S. Abramsky
  Softcover, Cambridge University Press, ISBN 052154565X (0-521-54565-X)
• 
  Topology Via Logic
  by Steven Vickers
  Softcover, Cambridge Univ Pr, ISBN 0521576512 (0-521-57651-2)
• 
  Two-Level Functional Languages
  by Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel
  Softcover, Cambridge University Press, ISBN 0521018471 (0-521-01847-1)
• 
  The Uncertain Reasoner's Companion: A Mathematical Perspective
  by J. B. Paris
  Softcover, Cambridge Univ Pr, ISBN 0521032725 (0-521-03272-5)
• 
  Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, U. K.
  by J. E. Nicholls, C. J. van Rijsbergen
  Softcover, Springer, ISBN 038719780X (0-387-19780-X)

  More editions of Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, U. K.:

  • Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, U. K.: Hardcover, Springer, ISBN 0387196722 (0-387-19672-2)