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： 21-35 of 35
-
21
- Theoretical aspects of local search
-
Wil Michiels, Emile Aarts, Jan Korst
Springer c2007 Monographs in theoretical computer science : an EATCS series
Available at 9 libraries
-
22
- Fundamentals of algebraic graph transformation
-
H. Ehrig ... [et al.]
Springer 2006 Monographs in theoretical computer science : an EATCS series
Available at 13 libraries
-
23
- Semantic integration of heterogeneous software specifications
-
Martin Große-Rhode
Springer 2004 Monographs in theoretical computer science : an EATCS series
Available at 9 libraries
-
24
- Restricted-orientation convexity
-
Eugene Fink, Derick Wood
Springer c2004 Monographs in theoretical computer science : an EATCS series
Available at 7 libraries
-
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
Available at 9 libraries
-
26
- Theory of semi-feasible algorithms
-
Lane A. Hemaspaandra, Leen Torenvliet
Springer-Verlag c2003 Monographs in theoretical computer science : an EATCS series
Available at 13 libraries
-
27
- Process algebra with timing
-
J.C.M. Baeten, C.A. Middelburg
Springer c2002 Monographs in theoretical computer science : an EATCS series
Available at 17 libraries
-
28
- Incomplete information : structure, inference, complexity
-
Stéphane P. Demri, Ewa S. Orłowska
Springer c2002 Monographs in theoretical computer science : an EATCS series
Available at 17 libraries
-
29
- Petri net algebra
-
Eike Best, Raymond Devillers, Maciej Koutny
Springer c2001 Monographs in theoretical computer science : an EATCS series
Available at 27 libraries
-
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
Available at 27 libraries
-
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
Available at 28 libraries
-
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
Available at 36 libraries
-
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
Available at 41 libraries
-
34
- The logic of partial information
-
Areski Nait Abdallah
Springer-Verlag c1995 Monographs in theoretical computer science : an EATCS series
: Berlin , : New York
Available at 39 libraries
-
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
Available at 40 libraries