Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: KratochvΓ­l, Jan
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Li, Angsheng, Fiala, JiΕ™Γ­, Kolman, Petr
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6108
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-13562-0
LEADER 01769nom a2200433 u 4500
001 10093083
003 upatras
005 20210117202948.0
008 110802s2010 eng
020 |a 9783642135620 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a KratochvΓ­l, Jan  |9 99043 
245 1 0 |a Theory and Applications of Models of Computation  |h [electronic resource]  |b 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings  |c edited by Jan KratochvΓ­l, Angsheng Li, JiΕ™Γ­ Fiala, Petr Kolman 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2010 
300 |b v.: digital 
490 0 |a Lecture Notes in Computer Science  |v 6108  |x 0302-9743 
650 4 |a Computer science  |9 13995 
650 4 |a Information theory  |9 13106 
650 4 |a Computer software  |9 24488 
650 4 |a Logic design  |9 64563 
650 4 |a Computational complexity  |9 20484 
650 4 |a Computer Science  |9 64565 
650 4 |a Theory of Computation  |9 64606 
650 4 |a Mathematics of Computing  |9 64702 
650 4 |a Algorithm Analysis and Problem Complexity  |9 64576 
650 4 |a Logics and Meanings of Programs  |9 64567 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
650 4 |a Discrete Mathematics in Computer Science  |9 64594 
700 1 |a Li, Angsheng  |9 99044 
700 1 |a Fiala, JiΕ™Γ­  |9 99045 
700 1 |a Kolman, Petr  |9 99046 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Lecture notes in computer science  |g 6108  |x 0302-9743 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-13562-0 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 100997  |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 68783  |d 68783