Automata, Languages and Programming, Jiri Wiedermann; Peter van Emde Boas; Mogens Niels

Автор: 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.

Автор: 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. .

Автор: 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. .

Автор: 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. .

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.