Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Automata for Branching and Layered Temporal Structures, Gabriele Puppis


Варианты приобретения
Цена: 9781.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Gabriele Puppis
Название:  Automata for Branching and Layered Temporal Structures
ISBN: 9783642118807
Издательство: Springer
Классификация:





ISBN-10: 3642118801
Обложка/Формат: Paperback
Страницы: 206
Вес: 0.34 кг.
Дата издания: 2010
Серия: Lecture notes in computer science / lecture notes in artificial intelligence
Язык: English
Иллюстрации: 41 black & white illustrations, biography
Размер: 231 x 155 x 13
Читательская аудитория: Professional & vocational
Подзаголовок: An investigation into regularities of infinite transition systems
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Cellular Automata and Discrete Complex Systems

Автор: 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.
Descriptive Set Theoretic Methods in Automata Theory

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

Language and Automata Theory and Applications

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

Language and Automata Theory and Applications

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

Cellular Automata

Автор: 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.
Implementation and Application of Automata

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

Automata, Languages and Programming

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

Automata, Languages and Programming

Автор: 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
   В Контакте     В Контакте Мед  Мобильная версия