Language and Automata Theory and Applications, Carlos Martin-Vide; Friedrich Otto; Henning Fernau
Автор: Adrian Horia Dediu; Armand Mihai Ionescu; Carlos M Название: Language and Automata Theory and Applications ISBN: 3642009816 ISBN-13(EAN): 9783642009815 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages.
Автор: Skrzypczak Название: Descriptive Set Theoretic Methods in Automata Theory ISBN: 3662529467 ISBN-13(EAN): 9783662529461 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
Автор: Manfred Droste; Werner Kuich; Heiko Vogler Название: Handbook of Weighted Automata ISBN: 3642260497 ISBN-13(EAN): 9783642260490 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research.
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029264 ISBN-13(EAN): 9783642029264 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part I. .
Автор: Gabriele Puppis Название: Automata for Branching and Layered Temporal Structures ISBN: 3642118801 ISBN-13(EAN): 9783642118807 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees.
Автор: Michel Rigo Название: Formal Languages, Automata and Numeration Systems ISBN: 1848216157 ISBN-13(EAN): 9781848216150 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).
Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
Автор: Sebastian Maneth Название: Implementation and Application of Automata ISBN: 3642029787 ISBN-13(EAN): 9783642029783 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .
Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma Название: Automata, Languages and Programming ISBN: 3540705740 ISBN-13(EAN): 9783540705741 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations.
Автор: Cook Название: Cellular Automata and Discrete Complex Systems ISBN: 3319392999 ISBN-13(EAN): 9783319392998 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5
International Workshop on Cellular Automata and Discrete Complex
Systems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.
This volume contains 3 invited talks in full-paper length and 12 regular
papers, which were carefully reviewed and selected from a total of 23
submissions. The papers feature research on all fundamental aspects of cellular automata and related discrete complex systems and deal with the following topics: dynamical, topological, ergodic and algebraic aspects; algorithmic and complexity issues; emergent properties; formal language processing; symbolic dynamics; models of parallelism and distributed systems; timing schemes; phenomenological descriptions; scientific modeling; and practical applications.
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029299 ISBN-13(EAN): 9783642029295 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part II. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
