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

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

Show other versions (1)
Bibliographic Details
Main Author: Calude, Cristian S
Corporate Author: SpringerLink (Online service)
Other Authors: Sassone, Vladimiro
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg IFIP International Federation for Information Processing 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:http://dx.doi.org/10.1007/978-3-642-15240-5

Similar Items

Similar Items