Monographs in theoretical computer science : an EATCS series
書誌事項
Monographs in theoretical computer science : an EATCS series
Springer
- タイトル別名
-
EATCS
この図書・雑誌をさがす
注記
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
関連文献： 35件中 1-20を表示
- 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
所蔵館1館
-
2
- Domain science and engineering : a foundation for software development
-
Dines Bjørner
Springer c2021 Monographs in theoretical computer science : an EATCS series
所蔵館2館
-
3
- Models and algorithms of time-dependent scheduling
-
Stanisław Gawiejnowicz
Springer c2020 2nd ed Monographs in theoretical computer science : an EATCS series
所蔵館4館
-
4
- Theory of reversible computing
-
Kenichi Morita
Springer c2017 Monographs in theoretical computer science : an EATCS series
所蔵館4館
-
5
- Process algebras for petri nets : the alphabetization of distributed systems
-
Roberto Gorrieri
Springer c2017 Monographs in theoretical computer science : an EATCS series
所蔵館4館
-
6
- Graph and model transformation : general framework and applications
-
Hartmut Ehrig ... [et al.]
Springer c2015 Monographs in theoretical computer science : an EATCS series
所蔵館5館
-
7
- Words and graphs
-
Sergey Kitaev, Vadim Lozin
Springer c2015 Monographs in theoretical computer science : an EATCS series
所蔵館5館
-
8
- Fault-tolerant search algorithms : reliable computation with unreliable information
-
Ferdinando Cicalese
Springer c2013 Monographs in theoretical computer science : an EATCS series
所蔵館7館
-
9
- Foundations of algebraic specification and formal software development
-
Donald Sannella, Andrzej Tarlecki
Springer 2012 Monographs in theoretical computer science : an EATCS series
: pbk.
所蔵館1館
-
10
- Modeling time in computing
-
Carlo A. Furia ... [et al.]
Springer c2012 Monographs in theoretical computer science : an EATCS series
所蔵館5館
-
11
- Foundations of algebraic specification and formal software development
-
Donald Sannella, Andrzej Tarlecki
Springer c2012 Monographs in theoretical computer science : an EATCS series
: hbk
所蔵館11館
-
12
- Patterns in permutations and words
-
Sergey Kitaev
Springer c2011 Monographs in theoretical computer science : an EATCS series
所蔵館9館
-
13
- Deterministic extraction from weak random sources
-
Ariel Gabizon
Springer c2011 Monographs in theoretical computer science : an EATCS series
所蔵館3館
-
14
- Theoretical aspects of distributed computing in sensor networks
-
Sotiris Nikoletseas, José Rolim (eds.)
Springer c2011 Monographs in theoretical computer science : an EATCS series
所蔵館8館
-
15
- Stochastic coalgebraic logic
-
Ernst-Erich Doberkat
Springer c2010 Monographs in theoretical computer science : an EATCS series
所蔵館7館
-
16
- Handbook of weighted automata
-
Manfred Droste, Werner Kuich, Heiko Vogler editors
Springer c2009 Monographs in theoretical computer science : an EATCS series
所蔵館10館
-
17
- Time-dependent scheduling
-
Stanislaw Gawiejnowicz
Springer c2008 Monographs in theoretical computer science : an EATCS series
所蔵館10館
-
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.
所蔵館8館
-
19
- Logics of specification languages
-
Dines Bjørner, Martin C. Henson editors
Springer c2008 Monographs in theoretical computer science : an EATCS series
所蔵館9館
-
20
- Theoretical aspects of local search
-
Wil Michiels, Emile Aarts, Jan Korst
Springer 2007 Monographs in theoretical computer science : an EATCS series
: pbk
所蔵館1館
- 1
- 2
- 1 / 2
