عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D4 2015 E-Book ,
QA
76
.
9
.
D4
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319192246
NATIONAL BIBLIOGRAPHY NUMBER
Number
12646
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Descriptional Complexity of Formal Systems
General Material Designation
[electronic resources]
Other Title Information
: 17th International Workshop, DCFS 2015 Waterloo, ON, Canada, June 25–27, 2015 Proceedings
First Statement of Responsibility
\ Jeffrey Shallit , Alexander Okhotin (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii,[292] p.
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9118
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Formal languages -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
زبانهای صوری -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
D4
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Shallit, Jeffrey Outlaw
Okhotin, Alexander
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
DCFS (Workshop) (17th : 2015 : Waterloo, Ont.)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20161006
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319192246.pdf
p
BL
279177
1
a
Y
