Theory and applications of models of computation 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
Theory and applications of models of computation 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / [electronic resource] :
Models of computation TAMC 2009
edited by Jianer Chen, S. Barry Cooper.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xiv, 482 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5532 0302-9743 ; .
9783642020179 (electronic bk.)
Computational complexity--Congresses.
Computable functions--Congresses.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer Science.
Theory of Computation.
QA267.7 / .T36 2009
004.0151
9783642020179 (electronic bk.)
Computational complexity--Congresses.
Computable functions--Congresses.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer Science.
Theory of Computation.
QA267.7 / .T36 2009
004.0151
