Straubing, Howard: Finite automata, formal logic, and circuit complexity
/ Howard Straubing. - Boston : Birkhäuser, 1994. - XII, 226 S.; 25 cm - (Progress in theoretical computer science; 11)
ISBN 978-3-7643-3719-3 / 3-7643-3719-2 Pp. : sfr 78.00
Literaturverz. S. 217 - 222
Quelle: DNB
Finite state methods and natural language processing
: 5th international workshop ; revised papers / FSMNLP 2005, Helsinki, Finland, September 1 - 2, 2005. Anssi Yli-Jyrä ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4002 : Lecture notes in artificial intelligence)
ISBN 978-3-540-35469-7
Lizenzpflichtig
Quelle: DNB
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)
ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 617 - 651
Quelle: DNB Verlagsmeldungen
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)
ISBN 978-3-540-32037-1
Lizenzpflichtig
Quelle: DNB