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
- Berlin: Springer, 2010
- xii, 385 p.; ill.: 24 cm.
- 323 .
- IFIP adances in information and communication technology .
9783642152399 hbk
Computational complexity Polarized Resolution Modulo Computer science Computer networks Computation by Abstract Devices Logics and Meanings of Programs Informatique Programming Techniques Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity Programming and Operating Systems Software engineering Computer programming Algorithms Computer logic