Automata, Languages and Programming, Susanne Albers; Alberto Marchetti-Spaccamela; Yoss
Автор: 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.
Автор: 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.
Автор: Giuseppe Castagna Название: Programming Languages and Systems ISBN: 3642005896 ISBN-13(EAN): 9783642005893 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3319479571 ISBN-13(EAN): 9783319479576 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;
Автор: 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. .
Автор: Carlos Martin-Vide; Friedrich Otto; Henning Fernau Название: Language and Automata Theory and Applications ISBN: 3540882812 ISBN-13(EAN): 9783540882817 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages.
Автор: 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. .
Автор: El Yacoubi Название: Cellular Automata ISBN: 331944364X ISBN-13(EAN): 9783319443645 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, held in Fez, Morocco, in September 2014. The 45 full papers and 4 invited talks presented in this volume were carefully reviewed and selected from 59 submissions.
This volume contains invited contributions and accepted papers from the main track and from the three organized workshops.
The ?rst part is organized according to three topics: (1) Cellular Automata Theory and Implementation (2) Cellular Automata Dynamics and Synchronization, (3) Asynchronous Cellular Automata and Asynchronous Discrete Models - ACA. The second part of the volume contains three topics: (4) Modelling and Sim-ulation with Cellular Automata (5) Crowds, Tra?c and Cellular Automata –CT&CA (6) Agent-Based Simulation and Cellular Automata – ABS&CA.
Автор: 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.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
