Rogério Reis - Böcker
Visar alla böcker från författaren Rogério Reis. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 12811 - Lecture Notes in Computer Science
Developments in Language Theory
25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Häftad, Engelska, 2021
933 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The DLT conference series provides a forum for presenting current developments in formal languages and automata.
Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Häftad, Engelska, 2012
536 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.
Descriptional Complexity of Formal Systems
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Häftad, Engelska, 2012
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 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.
Descriptional Complexity of Formal Systems
15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
Häftad, Engelska, 2013
536 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. size complexity and structural complexity of formal systems; size or structural complexity of formal systems for modeling natural languages;
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.