Aceto, Luca.

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / [electronic resource] : edited by Luca Aceto, Monika Henzinger, Jiří Sgall. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6756 0302-9743 ; . - Lecture Notes in Computer Science, 6756 .

9783642220128

10.1007/978-3-642-22012-8 doi


Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.

QA76.9.L63 QA76.5913 QA76.63

005.1015113

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue