Catalog

Record Details

Catalog Search



Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone.

Electronic resources

Record details

  • ISBN: 9783642152405
  • Physical Description: XII, 387p. 62 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Software Engineering.
Computer Communication Networks.
Mathematical Logic and Formal Languages.

Additional Resources