Automata, Logics, and Infinite Games / A Guide to Current Research, Grädel Erich, Thomas Wolfgang, Wilke Thomas
Àâòîð: Sebastian Maneth Íàçâàíèå: Implementation and Application of Automata ISBN: 3642029787 ISBN-13(EAN): 9783642029783 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 65210.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .
Àâòîð: El Yacoubi Íàçâàíèå: Cellular Automata ISBN: 331944364X ISBN-13(EAN): 9783319443645 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 61490.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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.
Àâòîð: Javed Ahsan; John N. Mordeson; Muhammad Shabir Íàçâàíèå: Fuzzy Semirings with Applications to Automata Theory ISBN: 3642440037 ISBN-13(EAN): 9783642440038 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 113180.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: This book studies important classes of semirings by using currently documented techniques, by developing new methods for investigating the structure of semirings in a fuzzy context, and extending to the setting of fuzzy semimodules over semirings.
Àâòîð: Samson Abramsky; Cyril Gavoille; Claude Kirchner; Íàçâàíèå: Automata, Languages and Programming ISBN: 3642141641 ISBN-13(EAN): 9783642141645 Èçäàòåëüñòâî: Springer Öåíà: 121110.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Àâòîð: Koenig Íàçâàíèå: Knowledge Structures for Communications in Human-Computer Systems - General Automata-Based ISBN: 0471998133 ISBN-13(EAN): 9780471998136 Èçäàòåëüñòâî: Wiley Ðåéòèíã: Öåíà: 79150.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: Humanless space exploration, as in the use of Rover in exploring Mars, has demonstrated the importance of human-computer communications. This book provides a comprehensive look at `general automata` as a method of establishing the fundamentals for communication in human-computer systems (HCS).
Àâòîð: 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.
