Author(s)
Bibliographic Information
Cambridge tracts in theoretical computer science
Cambridge University Press
Search this Book/Journal
-
1
- Topological duality for distributive lattices : theory and applications
-
Mai Gehrke and Sam van Gool
Cambridge University Press 2024 Cambridge tracts in theoretical computer science 61
: hbk
Available at 2 libraries
-
2
- Topological duality for distributive lattices : theory and applications
-
Mai Gehrke and Sam van Gool
Cambridge University Press c2024 Cambridge tracts in theoretical computer science 61
: hbk
Available at 1 libraries
-
3
- Finite-state techniques : automata, transducers and bimachines
-
Stoyan Mihov, Klaus U. Schulz
Cambridge University Press 2019 Cambridge tracts in theoretical computer science 60
: hardback
Available at 3 libraries
-
4
- Introduction to coalgebra : towards mathematics of states and observation
-
Bart Jacobs
Cambridge University Press 2017 Cambridge tracts in theoretical computer science 59
: hardback
Available at 17 libraries
-
5
- Temporal logics in computer science : finite-state systems
-
Stéphane Demri, Valentin Goranko, Martin Lange
Cambridge University Press 2016 Cambridge tracts in theoretical computer science 58
: hardback
Available at 3 libraries
-
6
- Nominal sets : names and symmetry in computer science
-
Andrew M. Pitts
Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57
: hardback
Available at 11 libraries
-
7
- Advanced topics in bisimulation and coinduction
-
edited by Davide Sangiorgi, Jan Rutten
Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52
: Hardback
Available at 15 libraries
-
8
- Nonmonotonic reasoning : logical foundations of commonsense
-
Gerhard Brewka
Cambridge University Press 2010 Cambridge tracts in theoretical computer science 12
: paperback
Available at 2 libraries
-
9
- Process algebra : equational theories of communicating processes
-
J.C.M. Baeten, T. Basten, M.A. Raniers
Cambridge University Press 2010 Cambridge tracts in theoretical computer science 50
: hardback
Available at 8 libraries
-
10
- Hybrid graph theory and network analysis
-
Ladislav Novak, Alan Gibbons
Cambridge University Press 2009, c1999 Cambridge tracts in theoretical computer science 49
: pbk
Available at 3 libraries
-
11
- A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory
-
T.H. Tse
Cambridge University Press 2009 Cambridge tracts in theoretical computer science 11
pbk
Available at 1 libraries
-
12
- Lambda-calculus, combinators, and functional programming
-
G.E. Revesz
Cambridge University Press 2009 Cambridge tracts in theoretical computer science 4
: pbk
Available at 2 libraries
-
13
- Mathematical theory of domains
-
[edited by] Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor
Cambridge University Press 2008 digitally printed version Cambridge tracts in theoretical computer science 22
: pbk.
Available at 6 libraries
-
14
- Extensions of first order logic
-
Maria Manzano
Cambridge University Press 2005, c1996 Cambridge tracts in theoretical computer science 19
: pbk
Available at 1 libraries
-
15
- Action semantics
-
Peter D. Mosses
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 26
: pbk.
Available at 1 libraries
-
16
- Two-level functional languages
-
Flemming Nielson & Hanne Riis Nielson
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 34
: pbk
Available at 1 libraries
-
17
- Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
-
Wim H. Hesselink
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 27
: pbk
Available at 2 libraries
-
18
- Free choice Petri nets
-
Jörg Desel, Javier Esparza
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 40
Available at 3 libraries
-
19
- Formal specification and design
-
L.M.G. Feijs & H.B.M. Jonkers
Cambridge University Press 2005, c1992 Cambridge tracts in theoretical computer science 35
: pbk
Available at 1 libraries
-
20
- Updating logical databases
-
Marianne Winslett
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 9
: pbk
Available at 1 libraries