著者
書誌事項
Cambridge tracts in theoretical computer science
Cambridge University Press
この図書・雑誌をさがす
-
21
- Rippling : meta-level guidance for mathematical reasoning
-
Alan Bundy ... [et al.]
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 56
: hbk
所蔵館8館
-
22
- Predicate transformer semantics
-
Ernest G. Manes
Cambridge University Press 2004 Cambridge tracts in theoretical computer science 33
: pbk.
所蔵館1館
-
23
- Applications of process algebra
-
edited by J.C.M. Baeten
Cambridge University Press 2004 Cambridge tracts in theoretical computer science 17
: pbk
所蔵館4館
-
24
- Algorithmic information theory
-
Gregory J. Chaitin
Cambridge University Press 2004, c1987 Cambridge tracts in theoretical computer science 1
: pbk
所蔵館7館
-
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
所蔵館5館
-
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
所蔵館3館
-
28
- Belief revision
-
edited by Peter Gärdenfors
Cambridge University Press 2003, c1992 Cambridge tracts in theoretical computer science 29
: pbk
所蔵館5館
-
29
- Term rewriting systems
-
Terese
Cambridge University Press 2003 Cambridge tracts in theoretical computer science 55
: hard
所蔵館29館
-
30
- Modal logic
-
Patrick Blackburn, Maarten de Rijke, Yde Venema
Cambridge University Press 2002, c2001 Cambridge tracts in theoretical computer science 53
: paperback
所蔵館28館
-
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
所蔵館24館
-
32
- Modal logic
-
Patrick Blackburn, Maarten de Rijke, Yde Venema
Cambridge University Press 2001 Cambridge tracts in theoretical computer science 53
所蔵館33館
-
33
- Basic proof theory
-
A.S. Troelstra, H. Schwichtenberg
Cambridge University Press 2000 2nd ed Cambridge tracts in theoretical computer science 43
: pbk
所蔵館41館
-
34
- Derivation and computation : taking the Curry-Howard correspondence seriously
-
Harold Simmons
Cambridge University Press 2000 Cambridge tracts in theoretical computer science 51
所蔵館34館
-
35
- Hybrid graph theory and network analysis
-
Ladislav Novak, Alan Gibbons
Cambridge University Press c1999 Cambridge tracts in theoretical computer science 49
所蔵館32館
-
36
- Propositional logic : deduction and algorithms
-
Hans Kleine Büning, Theodor Lettman
Cambridge University Press 1999 Cambridge tracts in theoretical computer science 48
所蔵館39館
-
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
所蔵館24館
-
38
- The optimal implementation of functional programming languages
-
Andrea Asperti, Stefano Guerrini
Cambridge University Press 1998 Cambridge tracts in theoretical computer science 45
所蔵館26館
-
39
- Domains and lambda-calculi
-
Roberto M. Amadio, Pierre-Louis Curien
Cambridge University Press 1998 Cambridge tracts in theoretical computer science 46
: hardback , : pbk
所蔵館43館
-
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
所蔵館55館
