عنوان
پدید آورنده
موضوع
رده
QA267.3 .D34 2011
QA267
.
3
.
D34
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642226000
(Number (ISBN
9783642226007
Erroneous ISBN
3642225993
Erroneous ISBN
9783642225994
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434155
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Descriptional complexity of formal systems :
General Material Designation
[Book]
Other Title Information
13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings /
First Statement of Responsibility
Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 327 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6808
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity
OTHER EDITION IN ANOTHER MEDIUM
Title
Descriptional Complexity of Formal Systems.
International Standard Book Number
9783642225994
PARALLEL TITLE PROPER
Parallel Title
DCFS 2011
TOPICAL NAME USED AS SUBJECT
Formal languages, Congresses
Formal methods (Computer science), Congresses
Machine theory, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA267
.
3
Book number
.
D34
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Holzer, Markus
Kutrib, Martin
Pighizzini, Giovanni
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
DCFS (Workshop)(13th :2011 :, Giessen, Germany; Limburg, Germany)
ORIGINATING SOURCE
Date of Transaction
20170726082125.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
