著者
書誌事項
Cambridge tracts in theoretical computer science
Cambridge University Press
この図書・雑誌をさがす
-
1
- Syntax and semantics of Petri nets
-
Roberto Gorrieri
Cambridge University Press 2025 Cambridge tracts in theoretical computer science 63
: hardback
所蔵館1館
-
2
- Initial algebras and terminal coalgebras : the theory of fixed points of functors
-
Jiří Adámek, Stefan Milius, Lawrence S. Moss
Cambridge University Press 2025 Cambridge tracts in theoretical computer science 62
所蔵館5館
-
3
- 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
所蔵館4館
-
4
- 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館
-
5
- 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館
-
6
- Introduction to coalgebra : towards mathematics of states and observation
-
Bart Jacobs
Cambridge University Press 2017 Cambridge tracts in theoretical computer science 59
: hardback
所蔵館19館
-
7
- 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館
-
8
- Nominal sets : names and symmetry in computer science
-
Andrew M. Pitts
Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57
: hardback
所蔵館10館
-
9
- Advanced topics in bisimulation and coinduction
-
edited by Davide Sangiorgi, Jan Rutten
Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52
: Hardback
所蔵館14館
-
10
- Nonmonotonic reasoning : logical foundations of commonsense
-
Gerhard Brewka
Cambridge University Press 2010 Cambridge tracts in theoretical computer science 12
: paperback
所蔵館2館
-
11
- 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
所蔵館7館
-
12
- Hybrid graph theory and network analysis
-
Ladislav Novak, Alan Gibbons
Cambridge University Press 2009, c1999 Cambridge tracts in theoretical computer science 49
: pbk
所蔵館3館
-
13
- 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館
-
14
- Lambda-calculus, combinators, and functional programming
-
G.E. Revesz
Cambridge University Press 2009 Cambridge tracts in theoretical computer science 4
: pbk
所蔵館2館
-
15
- 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館
-
16
- Extensions of first order logic
-
Maria Manzano
Cambridge University Press 2005, c1996 Cambridge tracts in theoretical computer science 19
: pbk
所蔵館1館
-
17
- Action semantics
-
Peter D. Mosses
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 26
: pbk.
所蔵館1館
-
18
- Two-level functional languages
-
Flemming Nielson & Hanne Riis Nielson
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 34
: pbk
所蔵館1館
-
19
- 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館
-
20
- Free choice Petri nets
-
Jörg Desel, Javier Esparza
Cambridge University Press 2005 Cambridge tracts in theoretical computer science 40
所蔵館3館
