عنوان
پدید آورنده
موضوع
رده
QA76.5913 D34 2019
QA76
.
5913
D34
2019
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030232468
(Number (ISBN
3030232476
(Number (ISBN
3030232484
(Number (ISBN
9783030232467
(Number (ISBN
9783030232474
(Number (ISBN
9783030232481
Erroneous ISBN
9783030232467
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Descriptional complexity of formal systems :
General Material Designation
[Book]
Other Title Information
21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings /
First Statement of Responsibility
edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
Date of Publication, Distribution, etc.
©2019
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 299 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lectures notes in computer science ;
Series Title
Theoretical Computer Science and General Issues
Volume Designation
11612
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. --
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030232474
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030232467
International Standard Book Number
9783030232481
PARALLEL TITLE PROPER
Parallel Title
DCFS 2019
TOPICAL NAME USED AS SUBJECT
Artificial intelligence.
Computer science.
Formal methods (Computer science), Congresses.
Logic design.
Artificial intelligence.
Computer science.
Formal methods (Computer science)
Logic design.
(SUBJECT CATEGORY (Provisional
COM051000
UM
UM
UYF
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1015113
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
5913
Class number
QA76
.
63
Class number
QA76
.
9
.
L63
Book number
D34
2019
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Hospodár, Michal, (Computer scientist)
Jirásková, Galina
Konstantinidis, Stavros
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
DCFS (Workshop)(21st :2019 :, Košice, Slovakia.)
ORIGINATING SOURCE
Date of Transaction
20200823092746.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
