Cambridge Tracts in Theoretical Computer Science
Follow to get improved recommendations.
The Cambridge Tracts in Theoretical Computer Science book series by multiple authors includes books The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science), Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science), Belief Revision, and several more. See the complete Cambridge Tracts in Theoretical Computer Science series book list in order, box sets or omnibus editions, and companion titles.
40 Books
The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science)
J. B. Paris, J.B. Paris
From $58.99
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science)
Wim H. Hesselink
From $55.99
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
E. -R. Olderog, E.-R. Olderog
From $55.99
Design Theory and Computer Science (Cambridge Tracts in Theoretical Computer Science)
Subrata Dasgupta
From $84.21
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
J. Roger Hindley
From $48.99
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Javier Esparza, Jörg Desel
From $47.99
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Peter Padawitz
From $55.99
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
L.M.G. Feijs, H.B.M. Jonkers
From $61.99
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
D.A. Wolfram
From $34.99
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Bob Carpenter, Robert L. Carpenter
From $55.99
Data Refinement: Model-Oriented Proof Methods and their Comparison
W. Deroever, Kai Engelhardt, Willem-Paul de Roever
From $66.95
Process Algebra (Cambridge Tracts in Theoretical Computer Science)
M.A. Reniers, T. Basten, Joseph C.M. Baeten, W.P. Weijland
Out of Stock
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
Roberto M. Amadio, Pierre-Louis Curien
From $69.99
Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science)
Alan Gibbons, Ladislav Novák, Alan Gibbons
From $46.99
Rippling: Meta-Level Guidance for Mathematical Reasoning (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
Andrew Ireland, Dieter Hutter, Alan Bundy, David Basin
From $135.62
Finite-State Techniques: Automata, Transducers and Bimachines
Klaus U Schulz, Stoyan Mihov, Klaus U. Schulz
From $87.64
Temporal Logics in Computer Science: Finite-State Systems
Stéphane Demri, Martin Lange, Valentin Goranko
Out of Stock
Process Algebra: Equational Theories of Communicating Processes
Joseph C.M. Baeten, M.A. Reniers, T. Basten
Out of Stock
Mathematical Theory of Domains
V. Stoltenberg-Hansen, I. Lindström, E.R. Griffor, E. R. Griffor
From $77.29
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
