Stavros Konstantinidis - Böcker
Visar alla böcker från författaren Stavros Konstantinidis. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 11612 - Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems
21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Häftad, Engelska, 2019
553 kr
Skickas inom 10-15 vardagar
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.
Del 10952 - Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems
20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Häftad, Engelska, 2018
537 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018.
Implementation and Application of Automata
18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Häftad, Engelska, 2013
537 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The papers cover various topics such as complexity of automata;
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
Inbunden, Engelska, 2017
1 601 kr
Skickas inom 3-6 vardagar
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.