Calude, Cristian S.
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 / [electronic resource] : edited by Cristian S. Calude, Vladimiro Sassone. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - IFIP Advances in Information and Communication Technology, 323 1868-4238 ; . - IFIP Advances in Information and Communication Technology, 323 .
9783642152405
10.1007/978-3-642-15240-5 doi
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.
QA76.9.A43
005.1
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 / [electronic resource] : edited by Cristian S. Calude, Vladimiro Sassone. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - IFIP Advances in Information and Communication Technology, 323 1868-4238 ; . - IFIP Advances in Information and Communication Technology, 323 .
9783642152405
10.1007/978-3-642-15240-5 doi
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.
QA76.9.A43
005.1