Language and automata theory and applications
: second international conference ; revised papers / LATA 2008, Tarragona, Spain, March 13 - 19, 2008. Carlos Martín-Vide ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5196)
ISBN 978-3-540-88282-4
Lizenzpflichtig
Quelle: DNB
Language and automata theory and applications
: second international conference ; revised papers / LATA 2008, Tarragona, Spain, March 13 - 19, 2008. Carlos Martin-Vide ... (ed.). - Berlin : Springer, 2008. - XIV, 500 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; 5196)
ISBN 978-3-540-88281-7 kart. : EUR 69.50 (freier Pr.), sfr 108.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logical aspects of computational linguistics
: first international conference ; selected papers / LACL '96, Nancy, France, September 1996. Christian Retoré (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1328 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69631-5
Lizenzpflichtig
Quelle: DNB
Logical aspects of computational linguistics
: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48199-7
Lizenzpflichtig
Quelle: DNB
Vollmar, Roland: Modelle der Parallelverarbeitung
: eine Einführung ; mit 5 Tabellen / von Roland Vollmar und Thomas Worsch. - Stuttgart : Teubner, 1995. - VIII, 215 S. : graph. Darst.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02138-4 / 3-519-02138-2 kart. : DM 36.00, sfr 36.00, S 281.00
Literaturangaben
Quelle: DNB
New developments in formal languages and applications
/ Gemma Bel-Enguix ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Studies in computational intelligence; Vol. 113)
ISBN 978-3-540-78291-9
Lizenzpflichtig
Quelle: DNB
New trends in formal languages
: control, cooperation, and combinatorics / Gheorghe Păun ; Arto Salomaa (ed.). - Berlin : Springer, 1997. - IX, 464 S.; 24 cm - (Lecture notes in computer science; Vol. 1218)
ISBN 978-3-540-62844-6 / 3-540-62844-4 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Petri-Netze
/ Lutz Priese .... - [Online-Ausg. der] 2. [gedr.] Aufl. - Berlin : Springer, 2008. - Online-Ressource - (eXamen.press)
ISBN 978-3-540-76971-2
Lizenzpflichtig
Quelle: DNB
Priese, Lutz: Petri-Netze
/ Lutz Priese ; Harro Wimmel. - 2. Aufl. - Berlin : Springer, 2008. - IX, 374 S. : Ill., graph. Darst.; 24 cm - (eXamen.press)
ISBN 978-3-540-76970-5 kart. : EUR 29.95, sfr 49.00 (freier Pr.)
Literaturverz. S. 363 - 366
Quelle: DNB Verlagsmeldungen
Practical formal methods for hardware design
/ C. Delgado Kloos ; W. Damm (ed.). - Berlin : Springer, 1997. - XIV, 293 S. : Ill., graph. Darst.; 24 cm - (Research reports ESPRIT : Project 6128, FORMAT; Vol. 1)
ISBN 978-3-540-62007-5 / 3-540-62007-9 kart. : DM 62.00
Literaturangaben
Quelle: DNB
