Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Calude, Cristian S. (Editor), Sassone, Vladimiro. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: IFIP Advances in Information and Communication Technology, 323
• Subjects: 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.; Mathematical Logic and Formal Languages.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15240-5
• Physical Description: XII, 387p. 62 illus. online resource.
• ISBN: 9783642152405
• ISSN: 1868-4238

This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions. TCS 2010 deals with topics focused at but not limited to algorithms, complexity, models of computation, logic, semantics, specification and verification, power-awareness issues in wireless networks, data mining, knowledge discovery, multiprocessor issues as well as AI issues.