| 000 -LEADER |
|---|
| fixed length control field |
a |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240429b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783985470068, 9783985470037 |
| Terms of availability |
hbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
510 |
| Item number |
PIN |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pin, Jean-Éric |
| Relator term |
ed. |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Handbook of Automata Theory : Volumes I (Theoretical Foundations) and II (Automata in Mathematics and Selected Applications) |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher, distributor, etc |
EMS Press, |
| Date of publication, distribution, etc |
2021 |
| Place of publication, distribution, etc |
Germany : |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
vol. 1 xxii,838 p. ;, vol. 2 xxii,1493 p. ; |
| Other physical details |
ill., |
| Dimensions |
24 cm |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
199.00 |
| Price type code |
$ |
| Unit of pricing |
86.30 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes indexes. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis, and design of such systems. The Handbook of Automata Theory gives a comprehensive overview of current research in automata theory, and is aimed at broad readership of researchers and graduate students in mathematics and computer science. Volume I is divided into three parts. The first part presents various types of automata: automata on words, on infinite words, on finite and infinite trees, weighted and max-plus automata, transducers, and two-dimensional models. Complexity aspects are discussed in the second part. Algebraic and topological aspects of automata theory are covered in the third part. Volume II consists of two parts. The first part is dedicated to applications of automata in mathematics: group theory, number theory, symbolic dynamics, logic, and real functions. The second part presents a series of further applications of automata theory such as message-passing systems, symbolic methods, synthesis, timed automata, verification of higher-order programs, analysis of probabilistic processes, natural language processing, formal verification of programs and quantum computing. The two volumes comprise a total of thirty-nine chapters, with extensive references and individual tables of contents for each one, as well as a detailed subject index--Back cover. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Jean Eric Pin |
|
|---|
| Topical term or geographic name as entry element |
Quantum computing |
|
|---|
| Topical term or geographic name as entry element |
Program verification |
|
|---|
| Topical term or geographic name as entry element |
Natural language processing |
|
|---|
| Topical term or geographic name as entry element |
Probabilistic processes |
|
|---|
| Topical term or geographic name as entry element |
Timed automata |
|
|---|
| Topical term or geographic name as entry element |
Symbolic methods |
|
|---|
| Topical term or geographic name as entry element |
Message-passing systems |
|
|---|
| Topical term or geographic name as entry element |
Real function |
|
|---|
| Topical term or geographic name as entry element |
Symbolic dynamics |
|
|---|
| Topical term or geographic name as entry element |
Number theory |
|
|---|
| Topical term or geographic name as entry element |
Group theory |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |