著者
書誌事項
Cambridge tracts in theoretical computer science
Cambridge University Press
この図書・雑誌をさがす
-
1
- 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
所蔵館1館
-
2
- Finite-state techniques : automata, transducers and bimachines
-
Stoyan Mihov, Klaus U. Schulz
Cambridge University Press 2019 Cambridge tracts in theoretical computer science 60
: hardback
所蔵館3館
-
3
- Introduction to coalgebra : towards mathematics of states and observation
-
Bart Jacobs
Cambridge University Press 2017 Cambridge tracts in theoretical computer science 59
: hardback
所蔵館17館
-
4
- 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
所蔵館3館
-
5
- Nominal sets : names and symmetry in computer science
-
Andrew M. Pitts
Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57
: hardback
所蔵館11館
-
6
- Advanced topics in bisimulation and coinduction
-
edited by Davide Sangiorgi, Jan Rutten
Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52
: Hardback
所蔵館15館
-
7
- Nonmonotonic reasoning : logical foundations of commonsense
-
Gerhard Brewka
Cambridge University Press 2010 Cambridge tracts in theoretical computer science 12
: paperback
所蔵館2館
-
8
- 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
所蔵館8館
-
9
- Hybrid graph theory and network analysis
-
Ladislav Novak, Alan Gibbons
Cambridge University Press 2009, c1999 Cambridge tracts in theoretical computer science 49
: pbk
所蔵館3館
-
10
- 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
所蔵館1館
-
11
- Lambda-calculus, combinators, and functional programming
-
G.E. Revesz
Cambridge University Press 2009 Cambridge tracts in theoretical computer science 4
: pbk
所蔵館2館
-
12
- 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.
所蔵館6館
-
13
- Extensions of first order logic
-
Maria Manzano
Cambridge University Press 2005, c1996 Cambridge tracts in theoretical computer science 19
: pbk
所蔵館1館
-
14
- Action semantics
-
Peter D. Mosses
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 26
: pbk.
所蔵館1館
-
15
- Two-level functional languages
-
Flemming Nielson & Hanne Riis Nielson
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 34
: pbk
所蔵館1館
-
16
- 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
所蔵館2館
-
17
- Free choice Petri nets
-
Jörg Desel, Javier Esparza
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 40
所蔵館3館
-
18
- 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
所蔵館1館
-
19
- Updating logical databases
-
Marianne Winslett
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 9
: pbk
所蔵館1館
-
20
- Rippling : meta-level guidance for mathematical reasoning
-
Alan Bundy ... [et al.]
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 56
: hbk
所蔵館8館
