| Search | About | Preferences | Interact | Help | |
| 150 million books. 1 search engine. | ||

› Find collectible copies of 'Seventh U. K. Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991'
More editions of 6th Refinement Workshop:

› Find collectible copies of 'Algebraic Specification of Communication Protocols'

› Find collectible copies of 'Algorithmic Information Theory'
More editions of Algorithmic Information Theory:

› Find collectible copies of 'Applications Of Process Algebra'

› Find collectible copies of 'Asynchronous Digital Circuit Design'

› Find collectible copies of 'Basic Simple Type Theory'

› Find collectible copies of 'Belief Revision'

› Find collectible copies of 'Code Generation - Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May, 1991'

› Find collectible copies of 'Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 Nov'

› Find collectible copies of 'Deductive and Declarative Programming'

› Find collectible copies of 'Epistemic Logic for AI and Computer Science'

› Find collectible copies of 'Extensions of First-order Logic'
More editions of Extensions of First-order Logic:

› 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'

› Find collectible copies of 'Formal Semantics and Pragmatics for Natural Language Querying'

› Find collectible copies of 'Formal Specification and Design'

› Find collectible copies of 'Free Choice Petri Nets'

› Find collectible copies of 'Functional Programming, Glasgow 1993'

› Find collectible copies of 'Information Flow: The Logic of Distributed Systems'

› Find collectible copies of 'Information Retrieval'
More editions of Information Retrieval:

› Find collectible copies of 'Logic and Computation: Interactive Proof With Cambridge Lcf'

› 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:

› 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'

› Find collectible copies of 'Metamathematics, Machines and Godel's Proof'

› Find collectible copies of 'Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship'

› Find collectible copies of 'Object Orientation in Z'

› Find collectible copies of 'Predicate Transformer Semantics'
› Find collectible copies of 'Programs, Recursion And Unbounded Choice'

› Find collectible copies of 'Research and Development in Information Retrieval'

› 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'

› Find collectible copies of 'Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8-1'

› 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'

› 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'

› Find collectible copies of 'Specification and Verification of Concurrent Systems'

› Find collectible copies of 'Theoretical Foundations of VLSI Design'

› Find collectible copies of 'Topology Via Logic'
› Find collectible copies of 'Two-Level Functional Languages'

› Find collectible copies of 'The Uncertain Reasoner's Companion: A Mathematical Perspective'

› 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.:
BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.
