عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9783642153488
30578
انگلیسی
Reachability Problems
[electronic resources]
: 4th InternationalWorkshop, RP 2010 Brno, Czech Republic, August 28-29, 2010: Proceedings
Antonin Kucera, Igor Potapov (eds.).
, Berlin : Springer, c2010.
x, 197p.
:ill
Lecture Notes in Computer Science 6227
Bibliography
Computer systems -- Verification -- Congresses
Decidability (Mathematical logic) --Congresses
Graph theory -- Data processing -- Congresses
گرافها -- دادهپردازی -- کنگرهها
E-Book
,
Kucera, Antonin, 1971-
Potapov, Igor
RP (Workshop) (4th : 2010 : Brno, Czech Republic)
ایران
20190503
9783642153488.pdf
BL
279177
1
a
N
