Durand-Lose, Jérôme.

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / [electronic resource] : edited by Jérôme Durand-Lose, Maurice Margenstern. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4664 0302-9743 ; .

9783540745938


Computer science
Computer software
Logic design
Computer Science
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity

QA75.5 / D87 2007