Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
Farré, Jacques.
Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / [electronic resource] : edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3845 0302-9743 ; .
9783540330974
Computer science
Computer software
Logic design
Computer Science
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
QA267 / F37 2006
Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / [electronic resource] : edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3845 0302-9743 ; .
9783540330974
Computer science
Computer software
Logic design
Computer Science
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
QA267 / F37 2006