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 / edited by Cristian S. Calude, Vladimiro Sassone. [Recurso electrónico] :
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 / [Recurso electrónico] : edited by Cristian S. Calude, Vladimiro Sassone. - Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010. - v.: digital - IFIP Advances in Information and Communication Technology, 323 1868-4238 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783642152405
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
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 / [Recurso electrónico] : edited by Cristian S. Calude, Vladimiro Sassone. - Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010. - v.: digital - IFIP Advances in Information and Communication Technology, 323 1868-4238 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783642152405
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