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件中 21-35を表示
- 1
- 2
- 2 / 2
-
21
- Theoretical aspects of local search
-
Wil Michiels, Emile Aarts, Jan Korst
Springer c2007 Monographs in theoretical computer science : an EATCS series
所蔵館9館
-
22
- Fundamentals of algebraic graph transformation
-
H. Ehrig ... [et al.]
Springer 2006 Monographs in theoretical computer science : an EATCS series
所蔵館13館
-
23
- Semantic integration of heterogeneous software specifications
-
Martin Große-Rhode
Springer 2004 Monographs in theoretical computer science : an EATCS series
所蔵館9館
-
24
- Restricted-orientation convexity
-
Eugene Fink, Derick Wood
Springer c2004 Monographs in theoretical computer science : an EATCS series
所蔵館7館
-
25
- Duration calculus : a formal approach to real-time systems
-
Zhou Chaochen, Michael R. Hansen
Springer c2004 Monographs in theoretical computer science : an EATCS series
所蔵館9館
-
26
- Theory of semi-feasible algorithms
-
Lane A. Hemaspaandra, Leen Torenvliet
Springer-Verlag c2003 Monographs in theoretical computer science : an EATCS series
所蔵館13館
-
27
- Process algebra with timing
-
J.C.M. Baeten, C.A. Middelburg
Springer c2002 Monographs in theoretical computer science : an EATCS series
所蔵館17館
-
28
- Incomplete information : structure, inference, complexity
-
Stéphane P. Demri, Ewa S. Orłowska
Springer c2002 Monographs in theoretical computer science : an EATCS series
所蔵館17館
-
29
- Petri net algebra
-
Eike Best, Raymond Devillers, Maciej Koutny
Springer c2001 Monographs in theoretical computer science : an EATCS series
所蔵館27館
-
30
- Finiteness and regularity in semigroups and formal languages
-
Aldo de Luca, Stefano Varricchio
Springer 1999 Monographs in theoretical computer science : an EATCS series
: pbk
所蔵館27館
-
31
- Syntax-directed semantics : formal models based on tree transducers
-
Zoltán Fülöp, Heiko Vogler
Springer c1998 Monographs in theoretical computer science : an EATCS series
所蔵館28館
-
32
- Coloured Petri nets : basic concepts, analysis methods and practical use
-
Kurt Jensen
Springer c1996 2nd ed Monographs in theoretical computer science : an EATCS series
v. 1 : gw , v. 2 : gw , v. 2 : us
所蔵館36館
-
33
- Coloured petri nets : basic concepts, analysis methods and practical use
-
Kurt Jensen
Springer c1995- Monographs in theoretical computer science : an EATCS series
v. 2 : gw , v. 2 : us , v. 3 : gw
所蔵館41館
-
34
- The logic of partial information
-
Areski Nait Abdallah
Springer-Verlag c1995 Monographs in theoretical computer science : an EATCS series
: Berlin , : New York
所蔵館39館
-
35
- Information and randomness : an algorithmic perspective
-
Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
Springer-Verlag c1994 Monographs in theoretical computer science : an EATCS series
: gw , : us
所蔵館40館
- 1
- 2
- 2 / 2