Implementation and application of automata 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings /
Implementation and application of automata 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / [electronic resource] :
CIAA 2009
edited by Sebastian Maneth.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xi, 261 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5642 0302-9743 ; .
9783642029790 (electronic bk.) 9783642029783 (paper)
Machine theory--Congresses.
Computation by Abstract Devices.
Software Engineering.
Logics and Meanings of Programs.
System Performance and Evaluation.
Algorithm Analysis and Problem Complexity.
Computer Science.
Mathematical Logic and Formal Languages.
QA267 / .C533 2009
006.31
9783642029790 (electronic bk.) 9783642029783 (paper)
Machine theory--Congresses.
Computation by Abstract Devices.
Software Engineering.
Logics and Meanings of Programs.
System Performance and Evaluation.
Algorithm Analysis and Problem Complexity.
Computer Science.
Mathematical Logic and Formal Languages.
QA267 / .C533 2009
006.31
