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