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
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-15240-5
LEADER 01781nom a2200409 u 4500
001 10092864
003 upatras
005 20210117202941.0
008 110802s2010 eng
020 |a 9783642152405 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Calude, Cristian S  |9 96733 
245 1 0 |a Theoretical Computer Science  |h [electronic resource]  |b 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings  |c edited by Cristian S. Calude, Vladimiro Sassone 
260 |a Berlin, Heidelberg  |b IFIP International Federation for Information Processing  |c 2010 
300 |b v.: digital 
490 0 |a IFIP Advances in Information and Communication Technology  |v 323  |x 1868-4238 
650 4 |a Computer science  |9 13995 
650 4 |a Computer Communication Networks  |9 64562 
650 4 |a Software engineering  |9 22316 
650 4 |a Computer software  |9 24488 
650 4 |a Logic design  |9 64563 
650 4 |a Computer Science  |9 64565 
650 4 |a Algorithm Analysis and Problem Complexity  |9 64576 
650 4 |a Logics and Meanings of Programs  |9 64567 
650 4 |a Computation by Abstract Devices  |9 64592 
650 4 |a Software Engineering  |9 64566 
650 4 |a Computer Communication Networks  |9 64562 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
700 1 |a Sassone, Vladimiro  |9 98662 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a IFIP Advances in Information and Communication Technology  |g 323  |x 1868-4238 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15240-5 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 100778  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 68564  |d 68564