Catalog

Record Details

Catalog Search



Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper.

Chen, Jianer. (editor.). Cooper, S. Barry. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642020179
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Information theory.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Theory of Computation.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.

Additional Resources