1. Finite-state techniques : automata, transducers and bimachines / Stoyan Mihov, Klaus U. Schulz. Cambridge tracts in theoretical computer science ; 60., Cambridge tracts in theoretical computer science ; 60 Mihov, Stoyan, 1968- [Browse] Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019.©2019 Book Loading...Lewis Library - Stacks » QA267.5.S4 M525 2019
2. Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs. Cambridge tracts in theoretical computer science ; 59., Cambridge tracts in theoretical computer science ; 59 Jacobs, Bart [Browse] Cambridge, United Kingdom : Cambridge University Press, 2017. Book Loading...Lewis Library - Stacks » QA251.5 .B36 2017
3. Temporal logics in computer science : finite-state systems / Stéphane Demri, Centre National de la Recherche Scientifique (CNRS), France, Valentin Goranko, Stockholms Universitet, Martin Lange, Universität Kassel, Germany. Cambridge tracts in theoretical computer science ; 58., Cambridge tracts in theoretical computer science ; 58 Demri, Stéphane P., 1967- [Browse] Cambridge, United Kingdom : Cambridge University Press, 2016. Book Loading...Engineering Library - Stacks » QA76.9.L63 D46 2016
4. Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. Cambridge tracts in theoretical computer science ; 58., Cambridge tracts in theoretical computer science ; 58 Demri, Stéphane P., 1967- [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
5. Nominal sets : names and symmetry in computer science / Andrew M. Pitts. Cambridge tracts in theoretical computer science ; 57., Cambridge tracts in theoretical computer science ; 57 Pitts, A. M. (Andrew M.) [Browse] Cambridge ; New York : Cambridge University Press, 2013. Book Loading...Engineering Library - Stacks » QA76.7 .P58 2013
6. Nominal sets : names and symmetry in computer science / Andrew M. Pitts. [electronic resource] Cambridge tracts in theoretical computer science ; 57., Cambridge tracts in theoretical computer science ; 57 Pitts, A. M. (Andrew M.) [Browse] Cambridge : Cambridge University Press, 2013. Book No holdings available for this record
7. Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. Cambridge tracts in theoretical computer science ; 52., Cambridge tracts in theoretical computer science ; 52 Cambridge ; New York : Cambridge University Press, 2012. Book Loading...ReCAP - Remote Storage » QA76.9.A96 S365 2012
8. Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. Cambridge tracts in theoretical computer science ; 50., Cambridge tracts in theoretical computer science ; 50 Baeten, J. C. M. [Browse] Cambridge : Cambridge University Press, ©2010. Book Loading...ReCAP - Remote Storage » QA76.58 .B34 2010
9. Extensions of first order logic / María Manzano. Cambridge tracts in theoretical computer science ; 19., Cambridge tracts in theoretical computer science ; 19 Manzano, María [Browse] Cambridge ; New York : Cambridge University Press, 1996. Book Loading...ReCAP - Remote Storage » QA9 .M315 1996
10. Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor. Cambridge tracts in theoretical computer science ; 22., Cambridge tracts in theoretical computer science ; 22 Stoltenberg-Hansen, Viggo [Browse] Cambridge ; New York : Cambridge University Press, 1994. Book Loading...ReCAP - Remote Storage » QA76.9.M35 S76 1994
11. Metamathematics, machines, and Gödel's proof / N. Shankar. Cambridge tracts in theoretical computer science ; 38., Cambridge tracts in theoretical computer science ; 38 Shankar, N. [Browse] Cambridge ; New York : Cambridge University Press, 1994. Book Loading...ReCAP - Remote Storage » QA76.9.A96 S526 1994
12. The uncertain reasoner's companion : a mathematical perspective / J.B. Paris. Cambridge tracts in theoretical computer science ; 39., Cambridge tracts in theoretical computer science ; 39 Paris, J. B. (Jeff B.) [Browse] Cambridge ; New York : Cambridge University Press, 1994. Book Loading...ReCAP - Remote Storage » QA9 .P28 1994
13. The clausal theory of types / D.A. Wolfram. Cambridge tracts in theoretical computer science ; 21., Cambridge tracts in theoretical computer science ; 21 Wolfram, D. A. [Browse] Cambridge ; New York : Cambridge University Press, 1993. Book Loading...ReCAP - Remote Storage » QA76.63 .W64 1993
14. Higher order logic and hardware verification / T. Melham. Cambridge tracts in theoretical computer science ; 31., Cambridge tracts in theoretical computer science ; 31 Melham, T. F. (Tom F.) [Browse] Cambridge ; New York : Cambridge University Press, 1993. Book Loading...ReCAP - Remote Storage » TK7874 .M432 1993
15. Action semantics / Peter D. Mosses. Cambridge tracts in theoretical computer science ; 26., Cambridge tracts in theoretical computer science ; 26 Mosses, Peter [Browse] Cambridge ; New York : Cambridge University Press, 1992. Book Loading...ReCAP - Remote Storage » QA76.7 .M677 1992
16. Computational learning theory : an introduction / Martin Anthony & Norman Biggs. Cambridge tracts in theoretical computer science ; 30., Cambridge tracts in theoretical computer science ; 30 Anthony, Martin [Browse] Cambridge [England] ; New York : Cambridge University Press, 1992. Book Loading...Engineering Library - Stacks » Q325.5 .A573 1992
17. Deduction and declarative programming / Peter Padawitz. Cambridge tracts in theoretical computer science ; 28., Cambridge tracts in theoretical computer science ; 28 Padawitz, Peter, 1953- [Browse] Cambridge ; New York : Cambridge University Press, 1992. Book Loading...ReCAP - Remote Storage » QA76.615 .P33 1992
18. The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter. Cambridge tracts in theoretical computer science ; 32., Cambridge tracts in theoretical computer science ; 32 Carpenter, Bob [Browse] Cambridge ; New York : Cambridge University Press, 1992. Book Loading...ReCAP - Remote Storage » QA76.9.D35 C37 1992
19. Mathematics for computer graphics / S.G. Hoggar. Cambridge tracts in theoretical computer science ; 14 Hoggar, S. G. [Browse] Cambridge [England] ; New York : Cambridge University Press, 1992. Book Loading...ReCAP - Remote Storage » T385 .H633 1992
20. Predicate transformer semantics / Ernest G. Manes. Cambridge tracts in theoretical computer science ; 33., Cambridge tracts in theoretical computer science ; 33 Manes, Ernest G., 1943- [Browse] Cambridge ; New York : Cambridge University Press, 1992. Book Loading...ReCAP - Remote Storage » QA76.7 .M342 1992