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

• Κύριος συγγραφέας: Calude, Cristian S
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sassone, Vladimiro
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
• Σειρά: IFIP Advances in Information and Communication Technology 323
• Θέματα: 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