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

Hedtstück, Ulrich: Einführung in die theoretische Informatik

: formale Sprachen und Automatentheorie / von Ulrich Hedtstück. - 5., überarb. Aufl. - München : Oldenbourg, 2012. - XIII, 178 S. : Ill., graph. Darst.; 24 cm, 364 g

ISBN 978-3-486-71404-3 / 3-486-71404-X kart. : EUR 29.80 (DE), EUR 30.70 (AT)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Hedtstück, Ulrich: Einführung in die theoretische Informatik

: formale Sprachen und Automatentheorie / von Ulrich Hedtstück. - 4., überarb. Aufl. - München : Oldenbourg, 2007. - IX, 178 S. : graph. Darst.; 24 cm, 364 gr.

ISBN 978-3-486-58269-7 / 3-486-58269-0 kart. : EUR 24.80

Literaturverz. S. 169 - 171

Quelle: DNB Verlagsmeldungen

Cover

Formal and natural computing

: essays dedicated to Grzegorz Rozenberg / W. Brauer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2300)

ISBN 978-3-540-45711-4

Lizenzpflichtig

Quelle: DNB

Cover

Klabunde, Ralf: Formale Grundlagen der Linguistik

: ein Arbeitsbuch / Ralf Klabunde. - Tübingen : Narr, 1998. - XIII, 154 S.; 24 cm - (Narr-Studienbücher)

ISBN 978-3-8233-4967-9 / 3-8233-4967-8 kart. : DM 32.80, sfr 32.80, S 239.00

Literaturverz. S. 144 - 146

Quelle: DNB

Cover

Formal languages and applications

/ Carlos Martin-Vide ... (ed.). - Berlin : Springer, 2004. - VIII, 620 S. : graph. Darst.; 24 cm - (Studies in fuzziness and soft computing; Vol. 148)

ISBN 978-3-540-20907-2 / 3-540-20907-7 Pp. : EUR 160.45 ; sfr 254.00

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])

ISBN 978-3-540-40903-8

Titel aus Metadaten. - Lizenzpfichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)

ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Foundations of software technology and theoretical computer science

: 19th conference, Chennai, India, December 1999 ; proceedings / C. Pandu Rangan ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1738)

ISBN 978-3-540-46691-8

Lizenzpflichtig

Quelle: DNB

Cover

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

Cover

Fernau, Henning: Iterierte Funktionen, Sprachen und Fraktale

/ von Henning Fernau. - Mannheim : BI-Wiss.-Verl., 1994. - 288 S. : Ill., graph. Darst.; 25 cm - (Aspekte komplexer Systeme; Bd. 2)

ISBN 978-3-411-17011-1 / 3-411-17011-5 Pp. : DM 58.00

Quelle: DNB

Seite < 1 2 3 4 5 6 >
Projekte . Kooperationen
Advertorial