Automata logics, and infinite games

: a guide to current research / Erich Grädel ... (ed.). - Berlin : Springer, 2002. - VIII, 385 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2500)

ISBN 978-3-540-00388-5 / 3-540-00388-6 kart. : EUR 48.15

Literaturverz. S. 365 - 376

Quelle: DNB

Automata logics, and infinite games

: a guide to current research / E. Grädel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2500)

ISBN 978-3-540-36387-3

Lizenzpflichtig

Quelle: DNB

Emmelmann, Helmut: Codeselektion mit regulär gesteuerter Termersetzung

/ Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 228 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 241)

ISBN 978-3-486-23252-3 / 3-486-23252-5 kart. : DM 59.00, sfr 59.00, S 461.00

Quelle: DNB

Drewes, Frank: Grammatical picture generation

: a tree based approach ; with CD-ROM / Frank Drewes. - Berlin : Springer, 2006. - XII, 474 S. : Ill., graph. Darst.; 24 cm - (Texts in theoretical computer science)

ISBN 978-3-540-21304-8 / 3-540-21304-X Pp. : EUR 74.85 (freier Pr.), sfr 106.00 (freier Pr.)

Literaturverz. S. 455 - 463

Quelle: DNB Verlagsmeldungen

Fülöp, Zoltán: Syntax directed semantics

: formal models based on tree transducers / Zoltán Fülöp ; Heiko Vogler. - Berlin : Springer, 1998. - X, 269 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)

ISBN 978-3-540-64607-5 / 3-540-64607-8 Pp. : DM 89.00

Literaturverz. S. 257 - 263

Quelle: DNB