Theory and applications of models of computation 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings / [electronic resource] : Models of computation TAMC 2007 Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.). - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - xiii, 772 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 4484 0302-9743 ; .

Includes bibliographical references and author index.

9783540725046 (electronic bk.) 9783540725039 (paper)


Computational complexity--Congresses.
Computable functions--Congresses.
Computer Science.
Algorithm Analysis and Problem Complexity.
Bioinformatics.
Computation by Abstract Devices.
Computing Methodologies.
Mathematics of Computing.
Theory of Computation.

004.0151