Cambridge Tracts in Theoretical Computer Science

Links for eMule (download books in PDF and DJVU formats for free)

Full list of volumes: Cambridge Tracts in Theoretical Computer Science

Volume 1. G. Chaitin — Algorithmic Information Theory
Volume 2. L. C. Paulson — Logic and Computation
Volume 3. M. Spivey — Understanding Z
Volume 4. G. E. Revesz — Lambda Calculus, Combinators and Functional Programming
Volume 5. S. Vickers — Topology via Logic
Volume 6. A. Ramsay — Formal Methods in Artificial Intelligence
Volume 7. J. Y. Girard, Y. Lafont & P. Taylor — Proofs and Types
Volume 8. J. Clifford — Formal Semantics & Progmatics for Natural Language Processing
Volume 9. M. Winslett — Updating Logical Databases
Volume 10. S. McEvoy & J. V. Tucker (eds.) — Theoretical Foundations of VLSI Design
Volume 11. T. H. Tse — A Unifying Framework for Structured Analysis and Design Models
Volume 12. O. Brewka — Nonmonotonic Reasoning
Volume 13. G. Smolka — Logic Programming over Polymorphically Order-Sorted Types
Volume 14. S. G. Hoggar — Mathematics for Computer Graphics
Volume 15. O. Dasgupta — Design Theory and Computer Science
Volume 16.
Volume 17. J. C. M. Baeten (ed.) — Applications of Process Algebra
Volume 18. J. C. M. Baeten & W. D. Weijland — Process Algebra
Volume 19. M. Manzano — Extensions of First Order Logic
Volume 20.
Volume 21. D. A. Wolfram — The Clausal Theory of Types
Volume 22. V. Stoltenberg-Hansen, Lindström & E. Griffor — Mathematical Theory of Domains
Volume 23. E. R. Olderog — Nets, Terms and Formulas
Volume 24.
Volume 25.
Volume 26. P. D. Mosses — Action Semantics
Volume 27. W. H. Hesselink — Programs, Recursion and Unbounded Choice
Volume 28. P. Padawitz — Deductive and Declarative Programming
Volume 29. P. Gärdenfors (ed.) — Belief Revision
Volume 30. M. Anthony & N. Biggs — Computational Learning Theory
Volume 31. T. F. Melham — Higher Order Logic and Hardware Verification
Volume 32. R. L. Carpenter — The Logic of Typed Feature Structures
Volume 33. E. G. Manes — Predicate Transformer Semantics
Volume 34. F. Nielson & H. R. Nielson — Two Level Functional Languages
Volume 35. L. Feijs & J. Jonkers — Formal Specification and Design
Volume 36. S. Mauw & G. J. Veltink (eds.) — Algebraic Specification of Communication Protocols
Volume 37. V. Stavridou — Formal Methods in Circuit Design
Volume 38. N. Shankar — Metamathematics, Machines and Gödel's Proof
Volume 39. J. D. Paris — The Uncertain Reasoner's Companion
Volume 40. J. Dessel & J. Esparza — Free Choice Petri Nets
Volume 41. J. J. Ch. Meyer & W. van der Hoek — Epistemic Logic for AI and Computer Science
Volume 42. J. R. Hindley — Basic Simple Type Theory
Volume 43. A. Troelstra & H. Schwichtenberg — Basic Proof Theory
Volume 44. J. Barwise & J. Seligman — Information Flow
Volume 45. A. Asperti & S. Guerrini — The Optimal Implementation of Functional Programming Languages
Volume 46. R. M. Amadio & P. L. Curien — Domains and Lambda-Calculi
Volume 47. W. I. de Roever & K. Engelhardt — Data Refinement
Volume 48. H. Kleine Büning & F. Lettman — Propositional Logic
Volume 49. L. Novak & A. Gibbons — Hybrid Graph Theory and Network Analysis
Volume 50. J.C.M.Baeten, T.Basten & M.A.Reniers — Process Algebra. Equational Theories of Communicating Processes
Volume 51. H. Simmons — Derivation and Computation
Volume 52. A. S. Troelstra & H. Schwictenberg — Basic Proof Theory (Second Edition)
Volume 53. P. Blackburn, M. de Rijke & Y. Venema — Modal Logic
Volume 54. W. I. de Roever, de Boer, U. Hannemann, J. Hooman, K. Lakhnech, M. Poel & Zwiers — Concurrency Verification
Volume 55. Terese — Term Rewriting Systems
Volume 56. A. Bundy, D. Basin, D, Hutter, A. Ireland — Rippling. Meta-Level Guidance for Mathematical Reasoning