| 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'
6th Refinement WorkshopISBN 0387197338 (0-387-19733-8)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Seventh U. K. Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991'More editions of 6th Refinement Workshop:
- Algebraic Specification of Communication ProtocolsISBN 0521418836 (0-521-41883-6)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Algebraic Specification of Communication Protocols' - Algorithmic Information TheoryISBN 0521616042 (0-521-61604-2)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Algorithmic Information Theory'More editions of Algorithmic Information Theory:
- Applications Of Process AlgebraISBN 0521607507 (0-521-60750-7)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Applications Of Process Algebra' - Asynchronous Digital Circuit DesignISBN 0387199012 (0-387-19901-2)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Asynchronous Digital Circuit Design' - Basic Simple Type TheoryISBN 0521465184 (0-521-46518-4)
Hardcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Basic Simple Type Theory' - Belief RevisionISBN 0521545641 (0-521-54564-1)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Belief Revision' - Code Generation - Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May, 1991ISBN 0387197575 (0-387-19757-5)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Code Generation - Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May, 1991' - Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 NovISBN 0387197354 (0-387-19735-4)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 Nov' - Deductive and Declarative ProgrammingISBN 0521032512 (0-521-03251-2)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Deductive and Declarative Programming' - Epistemic Logic for AI and Computer ScienceISBN 0521602807 (0-521-60280-7)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Epistemic Logic for AI and Computer Science' - Extensions of First-order LogicISBN 0521019028 (0-521-01902-8)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Extensions of First-order Logic'More editions of Extensions of First-order Logic:
- Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991ISBN 0387197885 (0-387-19788-5)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991' - Formal Semantics and Pragmatics for Natural Language QueryingISBN 0521602742 (0-521-60274-2)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Formal Semantics and Pragmatics for Natural Language Querying' - Formal Specification and DesignISBN 0521434572 (0-521-43457-2)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Formal Specification and Design' - Free Choice Petri NetsISBN 0521019451 (0-521-01945-1)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Free Choice Petri Nets' - Functional Programming, Glasgow 1993ISBN 0387198792 (0-387-19879-2)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Functional Programming, Glasgow 1993' - Information Flow: The Logic of Distributed SystemsISBN 0521583861 (0-521-58386-1)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Information Flow: The Logic of Distributed Systems' - Information RetrievalISBN 0408707178 (0-408-70717-8)
Hardcover, Butterworths
Find All Copies
› Find collectible copies of 'Information Retrieval'More editions of Information Retrieval:
- Logic and Computation: Interactive Proof With Cambridge LcfISBN 0521395607 (0-521-39560-7)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Logic and Computation: Interactive Proof With Cambridge Lcf' - The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint ResolutionISBN 0521022541 (0-521-02254-1)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution'More editions of The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution:
- Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation University of Manchester, 4-5 July 1991ISBN 0387197427 (0-387-19742-7)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation University of Manchester, 4-5 July 1991' - Metamathematics, Machines and Godel's ProofISBN 0521585333 (0-521-58533-3)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Metamathematics, Machines and Godel's Proof' - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their RelationshipISBN 0521018455 (0-521-01845-5)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship' - Object Orientation in ZISBN 0387197788 (0-387-19778-8)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Object Orientation in Z' - Predicate Transformer SemanticsISBN 0521616107 (0-521-61610-7)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Predicate Transformer Semantics' -
Programs, Recursion And Unbounded ChoiceISBN 0521018293 (0-521-01829-3)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Programs, Recursion And Unbounded Choice' - Research and Development in Information RetrievalISBN 0521268656 (0-521-26865-6)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Research and Development in Information Retrieval' - 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, 1993ISBN 0387198857 (0-387-19885-7)
Softcover, Springer
Find All Copies
› Find collectible copies of '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' - Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8-1ISBN 0387196463 (0-387-19646-3)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8-1' - 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 UKISBN 0387196250 (0-387-19625-0)
Hardcover, Springer
Find All Copies
› Find collectible copies of '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' - 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, IrelandISBN 038719889X (0-387-19889-X)
Hardcover, Springer-Verlag
Find All Copies
› Find collectible copies of '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' - Specification and Verification of Concurrent SystemsISBN 0387195815 (0-387-19581-5)
Hardcover, Springer
Find All Copies
› Find collectible copies of 'Specification and Verification of Concurrent Systems' - Theoretical Foundations of VLSI DesignISBN 052154565X (0-521-54565-X)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Theoretical Foundations of VLSI Design' - Topology Via LogicISBN 0521576512 (0-521-57651-2)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Topology Via Logic' -
Two-Level Functional LanguagesISBN 0521018471 (0-521-01847-1)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Two-Level Functional Languages' - The Uncertain Reasoner's Companion: A Mathematical PerspectiveISBN 0521032725 (0-521-03272-5)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'The Uncertain Reasoner's Companion: A Mathematical Perspective' - Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, U. K.ISBN 038719780X (0-387-19780-X)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Z User Workshop, York, 1991: Proceedings of the Sixth Annual Z User Meeting York, 16-17 December 1991'More editions of Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, U. K.:
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}