Search: TitleAuthorSubjectKeywordISBN

 

Cambridge Tracts in Theoretical Computer Science

55 books found. Showing books 1 through 20: Language: All English Spanish French German   Sort by: BestsellersTitle of Book: A-ZTitle of Book: Z-ADate of Publication 1. Lambda-Calculus, Combinators and Functional Programming by G.E. Revesz Hardcover, Cambridge Univ Pr (January 1988) 2. Algebraic Specification of Communication Protocols by S. Mauw (Editor), G.J. Veltink (Editor) Paperback, Cambridge Univ Pr (December 2008) 3. The Clausal Theory of Types by D.A. Wolfram Hardcover, Cambridge Univ Pr (March 1993) 4. Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules by Wim H. Hesselink Hardcover, Cambridge Univ Pr (April 1992) 5. Modal Logic by Patrick Blackburn, Maarten De Rijke, Maarten De Rijke, Yde Venema Hardcover, Cambridge Univ Pr (July 2001) 6. Algorithmic Information Theory by Gregory J. Chaitin Paperback, Cambridge Univ Pr (December 2004) 7. Logic and Computation: Interactive Proof With Cambridge Lcf by Lawrence C. Paulson Paperback, Cambridge Univ Pr (September 1990) 8. Belief Revision by Peter Gardenfors (Editor) Paperback, Cambridge Univ Pr (December 2003) 9. Predicate Transformer Semantics by E.G. Manes, Ernest G. Manes Paperback, Cambridge Univ Pr (December 2004) 10. Rippling: Meta-Level Guidance for Mathematical Reasoning by Alan Bundy, Dieter Hutter, David Basin, Andrew Ireland Hardcover, Cambridge Univ Pr (September 2005) 11. The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution by Robert L. Carpenter Paperback, Cambridge Univ Pr (November 2005) 12. Understanding Z: A Specification Language and Its Formal Semantics by J. M. Spivey Hardcover, Cambridge Univ Pr (June 1988) 13. Formal Semantics and Pragmatics for Natural Language Querying by James Clifford Paperback, Cambridge Univ Pr (March 2004) 14. Updating Logical Databases by Marianne Winslett Paperback, Cambridge Univ Pr (February 2005) 15. Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka Hardcover, Cambridge Univ Pr (February 1991) 16. Applications Of Process Algebra by J.C.M. Baeten (Editor) Paperback, Cambridge Univ Pr (January 2005) 17. Deduction and Declarative Programming by Peter Padawitz Hardcover, Cambridge Univ Pr (November 1992) 18. Free Choice Petri Nets by Jorg Desel, Javier Esparza Paperback, Cambridge Univ Pr (September 2005) 19. Propositional Logic: Deduction and Algorithms by H. Kleine Buning, T. Lettman, Hans Kleine Buning, Theodor Lettman Hardcover, Cambridge Univ Pr (October 1999) 20. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship by E.-R Olderog Paperback, Cambridge Univ Pr (August 2005) Showing books 1 through 20: Pages: 1 2 3   Next>> © Copyright 1997-2008, Best Web Buys, Inc. All rights reserved. All trademarks are owned by the respective company or Best Web Buys. Please send comments or problems to the Data provided by Muze, Inc. © Copyright 1995-2008 Muze Inc. For personal non-commercial use only. All rights reserved.