Semirings, Automata, Languages, W. Kuich; A. Salomaa

Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma
Название: Automata, Languages and Programming
ISBN: 3540705821 ISBN-13(EAN): 9783540705826
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jonathan S. Golan
Название: Power Algebras over Semirings
ISBN: 9048152704 ISBN-13(EAN): 9789048152704
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As such, it tries to find a unified way of dealing with diverse topics in mathematics and theoretical com- puter science as formal language theory, the theory of fuzzy algebraic structures, models of optimal control, and many others. to what extent basic fields of mathematics like algebra and topology are dependent on the underlying set theory?"

Автор: Jonathan S. Golan
Название: Semirings and their Applications
ISBN: 9048152526 ISBN-13(EAN): 9789048152520
Издательство: Springer
Рейтинг:
Цена: 97780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world. - Nikolai Ivanovich Lobatchevsky This book is an extensively-revised and expanded version of "The Theory of Semirings, with Applicationsin Mathematics and Theoretical Computer Science" Golan, 1992], first published by Longman. When that book went out of print, it became clear - in light of the significant advances in semiring theory over the past years and its new important applications in such areas as idempotent analysis and the theory of discrete-event dynamical systems - that a second edition incorporating minor changes would not be sufficient and that a major revision of the book was in order. Therefore, though the structure of the first dition was preserved, the text was extensively rewritten and substantially expanded. In particular, references to many interesting and applications of semiring theory, developed in the past few years, had to be added. Unfortunately, I find that it is best not to go into these applications in detail, for that would entail long digressions into various domains of pure and applied mathematics which would only detract from the unity of the volume and increase its length considerably. However, I have tried to provide an extensive collection of examples to arouse the reader's interest in applications, as well as sufficient citations to allow the interested reader to locate them. For the reader's convenience, an index to these citations is given at the end of the book .

Автор: Alexander Meduna
Название: Automata and Languages
ISBN: 1852330740 ISBN-13(EAN): 9781852330743
Издательство: Springer
Рейтинг:
Цена: 135050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, this text features basic models of computation, formal languages and their properties; computability, decidability and complexity; and design of programming languages.

Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma
Название: Automata, Languages and Programming
ISBN: 3540705740 ISBN-13(EAN): 9783540705741
Издательство: Springer
Рейтинг:
Цена: 135090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Adrian Horia Dediu; Armand Mihai Ionescu; Carlos M
Название: Language and Automata Theory and Applications
ISBN: 3642009816 ISBN-13(EAN): 9783642009815
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Adrian-Horia Dediu; Carlos Mart?n-Vide; Jos?-Luis
Название: Language and Automata Theory and Applications
ISBN: 3319049208 ISBN-13(EAN): 9783319049205
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;

Автор: Han
Название: Implementation and Application of Automata
ISBN: 331940945X ISBN-13(EAN): 9783319409450
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions.

Автор: Adrian-Horia Dediu; Jan Janou?ek; Carlos Mart?n-Vi
Название: Language and Automata Theory and Applications
ISBN: 3319299999 ISBN-13(EAN): 9783319299990
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th InternationalConference on Language and Automata Theory and Applications, LATA 2016, held inPrague, Czech Republic, in March 2016. The 42 revised full papers presented together with 5 invited talks werecarefully reviewed and selected from 119 submissions.

Автор: Alberto Dennunzio; Enrico Formenti; Luca Manzoni;
Название: Cellular Automata and Discrete Complex Systems
ISBN: 3319586300 ISBN-13(EAN): 9783319586304
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Gabriele Puppis
Название: Automata for Branching and Layered Temporal Structures
ISBN: 3642118801 ISBN-13(EAN): 9783642118807
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Manfred Droste; Werner Kuich; Heiko Vogler
Название: Handbook of Weighted Automata
ISBN: 3642260497 ISBN-13(EAN): 9783642260490
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.