hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Formale Sprache
46 Treffer
Seite < 1 2 3 4 5 >
Cover

Advances in computing science

: proceedings / ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8 - 10, 1998. Jieh Hsiang ; Atsushi Ohori (ed.). - Berlin : Springer, 1998. - X, 304 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1538)

ISBN 978-3-540-65388-2 / 3-540-65388-0 kart. DM 74.00

Literaturangaben

Quelle: DNB

Cover

Advances in computing science

: proceedings / ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 1998. J. Hsiang ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1538)

ISBN 978-3-540-49366-2

Lizenzpflichtig

Quelle: DNB

Cover

Algebra, meaning, and computation

: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - XXXVIII, 642 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4060 : Festschrift)

ISBN 978-3-540-35462-8 / 3-540-35462-X kart. : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.)

Bibliogr. S. XIII - XXXVIII

Quelle: DNB Verlagsmeldungen

Cover

Algebra, meaning, and computation

: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4060)

ISBN 978-3-540-35464-2

Lizenzpflichtig

Quelle: DNB

Cover

Automata implementation

: revised papers / Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18 - 20, 1997. Derick Wood ; Sheng Yu (ed.). - Berlin : Springer, 1998. - VIII, 251 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1436)

ISBN 978-3-540-64694-5 / 3-540-64694-9 kart. : DM 66.00

Literaturangaben

Quelle: DNB

Cover

Sander, Peter: Automaten, Sprachen, Berechenbarkeit

/ von Peter Sander, Wolffried Stucky und Rudolf Herschel. - Stuttgart : Teubner, 1992. - 267 S. : graph. Darst.; 23 cm - (Grundkurs angewandte Informatik; 4)

ISBN 978-3-519-02937-3 / 3-519-02937-5 kart. : DM 34.00

Quelle: DNB

Cover

Sander, Peter: Automaten, Sprachen, Berechenbarkeit

/ von Peter Sander, Wolffried Stucky und Rudolf Herschel. - 2., durchges. Aufl. - Stuttgart : Teubner, 1995. - 267 S. : graph. Darst.; 23 cm - (Grundkurs angewandte Informatik; 4)

ISBN 978-3-519-12937-0 / 3-519-12937-X kart. : DM 36.00

Quelle: DNB

Cover

Dittrich, Yvonne: Computeranwendungen und sprachlicher Kontext

: zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software / Yvonne Dittrich. - Frankfurt am Main : Lang, 1997. - 266 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 27)

ISBN 978-3-631-32024-2 / 3-631-32024-8 kart. : ca. DM 84.00 (freier Pr.)

Quelle: DNB

Cover

Developments in language theory

: 5th international conference ; revised papers / DLT 2001, Wien, Austria, July 16 - 21, 2001. W. Kuich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2295)

ISBN 978-3-540-46011-4

Lizenzpflichtig

Quelle: DNB

Cover

Developments in language theory

: 12th international conference ; proceedings / DLT 2008, Kyoto, Japan, September 16 - 19, 2008. Masami Ito ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5257)

ISBN 978-3-540-85780-8

Lizenzpflichtig

Quelle: DNB

Seite < 1 2 3 4 5 >
Projekte . Kooperationen