عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783642153488
NATIONAL BIBLIOGRAPHY NUMBER
Number
30578
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reachability Problems
General Material Designation
[electronic resources]
Other Title Information
: 4th InternationalWorkshop, RP 2010 Brno, Czech Republic, August 28-29, 2010: Proceedings
Subsequent Statement of Responsibility
Antonin Kucera, Igor Potapov (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
, Berlin : Springer, c2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 197p.
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science 6227
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer systems -- Verification -- Congresses
Decidability (Mathematical logic) --Congresses
Graph theory -- Data processing -- Congresses
گرافها -- دادهپردازی -- کنگرهها
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Kucera, Antonin, 1971-
Potapov, Igor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RP (Workshop) (4th : 2010 : Brno, Czech Republic)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20190503
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783642153488.pdf
BL
279177
1
a
N
