TY  - DATA
AU  - Calude,Cristian S.
AU  - Sassone,Vladimiro
ED  - SpringerLink (Online service)
TI  - 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 
T2  - IFIP Advances in Information and Communication Technology,
SN  - 9783642152405
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - IFIP International Federation for Information Processing
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Computer software
KW  - Logic design
KW  - Computer Science
KW  - Algorithm Analysis and Problem Complexity
KW  - Logics and Meanings of Programs
KW  - Computation by Abstract Devices
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
N1  - Restringido a usuarios de la UCA
UR  - http://dx.doi.org/10.1007/978-3-642-15240-5
ER  -