Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	KuΔera, AntonΓn
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Potapov, Igor
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6227
Θέματα:	Computer science Software engineering Computer software Logic design Computer Science Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Computation by Abstract Devices
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-15349-5


LEADER	01608nom a2200397 u 4500
001	10092451
003	upatras
005	20210117202926.0
008	110802s2010 eng
020			\|a 9783642153495
040			\|a GR-PaULI \|c GR-PaULI
041	0		\|a eng
100	1		\|a KuΔera, AntonΓn \|9 96013
245	1	0	\|a Reachability Problems \|h [electronic resource] \|b 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings \|c edited by AntonΓn KuΔera, Igor Potapov
260			\|a Berlin, Heidelberg \|b Springer-Verlag Berlin Heidelberg \|c 2010
300			\|b v.: digital
490	0		\|a Lecture Notes in Computer Science \|v 6227 \|x 0302-9743
650		4	\|a Computer science \|9 13995
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 Logics and Meanings of Programs \|9 64567
650		4	\|a Software Engineering \|9 64566
650		4	\|a Mathematical Logic and Formal Languages \|9 67086
650		4	\|a Programming Languages, Compilers, Interpreters \|9 64661
650		4	\|a Algorithm Analysis and Problem Complexity \|9 64576
650		4	\|a Computation by Abstract Devices \|9 64592
700	1		\|a Potapov, Igor \|9 97943
710	2		\|a SpringerLink (Online service) \|9 68735
760	1		\|a Lecture notes in computer science \|g 6227 \|x 0302-9743
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΒΚΠ
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-15349-5
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 100365 \|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 68151 \|d 68151

Παρόμοια τεκμήρια