Автор: 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.
Автор: Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Название: Cellular Automata and Discrete Complex Systems ISBN: 3319586300 ISBN-13(EAN): 9783319586304 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017.
The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.
Автор: Werner Kuich Название: Automata, Languages and Programming ISBN: 3540557199 ISBN-13(EAN): 9783540557197 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the proceedings of the 19th International Colloquium on Automata, Languages, and Programming, held at Wien, Austria, in July 1992. The conference covered all aspects of theoretical computer science, including such topics as computability, automata, formal languages and cryptography.
Автор: Zoltan F?l?p; Ferenc Gecseg Название: Automata, Languages and Programming ISBN: 3540600841 ISBN-13(EAN): 9783540600848 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions.
Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma Название: Automata, Languages and Programming ISBN: 3540705821 ISBN-13(EAN): 9783540705826 Издательство: Springer Рейтинг: Цена: 15372.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.
Автор: W. Kuich; A. Salomaa Название: Semirings, Automata, Languages ISBN: 3642699618 ISBN-13(EAN): 9783642699610 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume.
Автор: 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.
Автор: Frank Drewes; Carlos Mart?n-Vide; Bianca Truthe Название: Language and Automata Theory and Applications ISBN: 3319537326 ISBN-13(EAN): 9783319537320 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions.
Автор: Adrian-Horia Dediu; Carlos Mart?n-Vide; Jos?-Luis Название: Language and Automata Theory and Applications ISBN: 3319049208 ISBN-13(EAN): 9783319049205 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.The 45 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 116 submissions. trees, tree languages and tree automata;
Автор: Arnaud Carayol; Cyril Nicaud Название: Implementation and Application of Automata ISBN: 3319601334 ISBN-13(EAN): 9783319601335 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions.
Автор: Frank Drewes Название: Implementation and Application of Automata ISBN: 3319223593 ISBN-13(EAN): 9783319223599 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Ume , Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.
Introduction.- QCA Terminology.- Design of Basic Digital Circuits in QCA.- Design of Ripple Carry and Prefix Adders in QCA.- Design of A Hybrid Adder in QCA.- Design of a Multiplier in QCA.- Discrete Hadamard Transform Computation in QCA.- Study of Thermal Robustness of QCA Designs.- The Road Ahead.- A Tutorial on Qcadesigner.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
