Monographs in theoretical computer science : an EATCS series
Author(s)
Bibliographic Information
Monographs in theoretical computer science : an EATCS series
Springer
- Other Title
-
EATCS
Search this Book/Journal
Note
Former volumes appeared as "EATCS monographs on theoretical computer science"
Editors: W. Brauer, G. Rozenberg, A. Salomaa
Series editors of "Coping with selfishness in congestion games": Juraj Hromkovic̆, Mogens Nielsen
Related Books： 1-20 of 35
- 1
- 2
- 1 / 2
-
1
- Coping with selfishness in congestion games : analysis and design via LP duality
-
Vittorio Bilò, Cosimo Vinci
Springer c2023 Monographs in theoretical computer science : an EATCS series
Available at 1 libraries
-
2
- Domain science and engineering : a foundation for software development
-
Dines Bjørner
Springer c2021 Monographs in theoretical computer science : an EATCS series
Available at 2 libraries
-
3
- Models and algorithms of time-dependent scheduling
-
Stanisław Gawiejnowicz
Springer c2020 2nd ed Monographs in theoretical computer science : an EATCS series
Available at 4 libraries
-
4
- Theory of reversible computing
-
Kenichi Morita
Springer c2017 Monographs in theoretical computer science : an EATCS series
Available at 4 libraries
-
5
- Process algebras for petri nets : the alphabetization of distributed systems
-
Roberto Gorrieri
Springer c2017 Monographs in theoretical computer science : an EATCS series
Available at 4 libraries
-
6
- Graph and model transformation : general framework and applications
-
Hartmut Ehrig ... [et al.]
Springer c2015 Monographs in theoretical computer science : an EATCS series
Available at 5 libraries
-
7
- Words and graphs
-
Sergey Kitaev, Vadim Lozin
Springer c2015 Monographs in theoretical computer science : an EATCS series
Available at 5 libraries
-
8
- Fault-tolerant search algorithms : reliable computation with unreliable information
-
Ferdinando Cicalese
Springer c2013 Monographs in theoretical computer science : an EATCS series
Available at 7 libraries
-
9
- Foundations of algebraic specification and formal software development
-
Donald Sannella, Andrzej Tarlecki
Springer 2012 Monographs in theoretical computer science : an EATCS series
: pbk.
Available at 1 libraries
-
10
- Modeling time in computing
-
Carlo A. Furia ... [et al.]
Springer c2012 Monographs in theoretical computer science : an EATCS series
Available at 5 libraries
-
11
- Foundations of algebraic specification and formal software development
-
Donald Sannella, Andrzej Tarlecki
Springer c2012 Monographs in theoretical computer science : an EATCS series
: hbk
Available at 11 libraries
-
12
- Patterns in permutations and words
-
Sergey Kitaev
Springer c2011 Monographs in theoretical computer science : an EATCS series
Available at 9 libraries
-
13
- Deterministic extraction from weak random sources
-
Ariel Gabizon
Springer c2011 Monographs in theoretical computer science : an EATCS series
Available at 3 libraries
-
14
- Theoretical aspects of distributed computing in sensor networks
-
Sotiris Nikoletseas, José Rolim (eds.)
Springer c2011 Monographs in theoretical computer science : an EATCS series
Available at 8 libraries
-
15
- Stochastic coalgebraic logic
-
Ernst-Erich Doberkat
Springer c2010 Monographs in theoretical computer science : an EATCS series
Available at 7 libraries
-
16
- Handbook of weighted automata
-
Manfred Droste, Werner Kuich, Heiko Vogler editors
Springer c2009 Monographs in theoretical computer science : an EATCS series
Available at 10 libraries
-
17
- Time-dependent scheduling
-
Stanislaw Gawiejnowicz
Springer c2008 Monographs in theoretical computer science : an EATCS series
Available at 10 libraries
-
18
- Unfoldings : a partial-order approach to model checking
-
Javier Esparza, Keijo Heljanko
Springer c2008 Monographs in theoretical computer science : an EATCS series
hbk. , pbk.
Available at 8 libraries
-
19
- Logics of specification languages
-
Dines Bjørner, Martin C. Henson editors
Springer c2008 Monographs in theoretical computer science : an EATCS series
Available at 9 libraries
-
20
- Theoretical aspects of local search
-
Wil Michiels, Emile Aarts, Jan Korst
Springer 2007 Monographs in theoretical computer science : an EATCS series
: pbk
Available at 1 libraries
- 1
- 2
- 1 / 2
