Author(s)
Bibliographic Information
Cambridge tracts in theoretical computer science
Cambridge University Press
Search this Book/Journal
-
21
- Rippling : meta-level guidance for mathematical reasoning
-
Alan Bundy ... [et al.]
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 56
: hbk
Available at 8 libraries
-
22
- Predicate transformer semantics
-
Ernest G. Manes
Cambridge University Press 2004 Cambridge tracts in theoretical computer science 33
: pbk.
Available at 1 libraries
-
23
- Applications of process algebra
-
edited by J.C.M. Baeten
Cambridge University Press 2004 Cambridge tracts in theoretical computer science 17
: pbk
Available at 4 libraries
-
24
- Algorithmic information theory
-
Gregory J. Chaitin
Cambridge University Press 2004, c1987 Cambridge tracts in theoretical computer science 1
: pbk
Available at 7 libraries
-
25
- Epistemic logic for AI and computer science
-
J.-J. Ch. Meyer, W. van der Hoek
Cambridge University Press c1995, 2004 Cambridge tracts in theoretical computer science 41
: pbk
Available at 5 libraries
-
26
- Term rewriting systems
-
Terese
Cambridge University Press 2003 Cambridge tracts in theoretical computer science 55
: hardback
-
27
- Theoretical foundations of VLSI design
-
edited by K. McEvoy and J.V. Tucker
Cambridge University Press 2003 Cambridge tracts in theoretical computer science 10
: pbk
Available at 3 libraries
-
28
- Belief revision
-
edited by Peter Gärdenfors
Cambridge University Press 2003, c1992 Cambridge tracts in theoretical computer science 29
: pbk
Available at 5 libraries
-
29
- Term rewriting systems
-
Terese
Cambridge University Press 2003 Cambridge tracts in theoretical computer science 55
: hard
Available at 29 libraries
-
30
- Modal logic
-
Patrick Blackburn, Maarten de Rijke, Yde Venema
Cambridge University Press 2002, c2001 Cambridge tracts in theoretical computer science 53
: paperback
Available at 28 libraries
-
31
- Concurrency verification : introduction to compositional and noncompositional methods
-
Willem-Paul de Roever ... [et al.]
Cambridge University Press 2001 Cambridge tracts in theoretical computer science 54
Available at 24 libraries
-
32
- Modal logic
-
Patrick Blackburn, Maarten de Rijke, Yde Venema
Cambridge University Press 2001 Cambridge tracts in theoretical computer science 53
Available at 33 libraries
-
33
- Basic proof theory
-
A.S. Troelstra, H. Schwichtenberg
Cambridge University Press 2000 2nd ed Cambridge tracts in theoretical computer science 43
: pbk
Available at 41 libraries
-
34
- Derivation and computation : taking the Curry-Howard correspondence seriously
-
Harold Simmons
Cambridge University Press 2000 Cambridge tracts in theoretical computer science 51
Available at 34 libraries
-
35
- Hybrid graph theory and network analysis
-
Ladislav Novak, Alan Gibbons
Cambridge University Press c1999 Cambridge tracts in theoretical computer science 49
Available at 32 libraries
-
36
- Propositional logic : deduction and algorithms
-
Hans Kleine Büning, Theodor Lettman
Cambridge University Press 1999 Cambridge tracts in theoretical computer science 48
Available at 39 libraries
-
37
- Data refinement : model-oriented proof methods and their comparison
-
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
Cambridge University Press 1998 Cambridge tracts in theoretical computer science 47
: hardback
Available at 24 libraries
-
38
- The optimal implementation of functional programming languages
-
Andrea Asperti, Stefano Guerrini
Cambridge University Press 1998 Cambridge tracts in theoretical computer science 45
Available at 26 libraries
-
39
- Domains and lambda-calculi
-
Roberto M. Amadio, Pierre-Louis Curien
Cambridge University Press 1998 Cambridge tracts in theoretical computer science 46
: hardback , : pbk
Available at 43 libraries
-
40
- Information flow : the logic of distributed systems
-
Jon Barwise, Jerry Seligman
Cambridge University Press 1997 Cambridge tracts in theoretical computer science 44
: hardback , : pbk
Available at 55 libraries