Êîíòàêòû/Ïðîåçä  Äîñòàâêà è Îïëàòà Ïîìîùü/Âîçâðàò
Èñòîðèÿ
  +7(495) 980-12-10
  ïí-ïò: 10-18 ñá,âñ: 11-18
  shop@logobook.ru
   
    Ïîèñê êíèã                    Ïîèñê ïî ñïèñêó ISBN Ðàñøèðåííûé ïîèñê    
Íàéòè
  Çàðóáåæíûå èçäàòåëüñòâà Ðîññèéñêèå èçäàòåëüñòâà  
Àâòîðû | Êàòàëîã êíèã | Èçäàòåëüñòâà | Íîâèíêè | Ó÷åáíàÿ ëèòåðàòóðà | Àêöèè | Õèòû | |
 

Automata, Logics, and Infinite Games / A Guide to Current Research, Grädel Erich, Thomas Wolfgang, Wilke Thomas


Âàðèàíòû ïðèîáðåòåíèÿ
Öåíà: 9776.00ð.
Êîë-âî:
Íàëè÷èå: Ïîñòàâêà ïîä çàêàç.  Åñòü â íàëè÷èè íà ñêëàäå ïîñòàâùèêà.
Ñêëàä Àìåðèêà: Åñòü  
Ïðè îôîðìëåíèè çàêàçà äî: 2025-07-28
Îðèåíòèðîâî÷íàÿ äàòà ïîñòàâêè: Àâãóñò-íà÷àëî Ñåíòÿáðÿ
Ïðè óñëîâèè íàëè÷èÿ êíèãè ó ïîñòàâùèêà.

Äîáàâèòü â êîðçèíó
â Ìîè æåëàíèÿ

Àâòîð: Grädel Erich, Thomas Wolfgang, Wilke Thomas
Íàçâàíèå:  Automata, Logics, and Infinite Games / A Guide to Current Research
Ïåðåâîä íàçâàíèÿ: Àâòîìàòû, ëîãèêè, è áåñêîíå÷íûå èãðû / ñïðàâî÷íèê äëÿ èññëåäîâàíèÿ
ISBN: 9783540003885
Èçäàòåëüñòâî: Springer
Êëàññèôèêàöèÿ: ISBN-10: 3540003886
Îáëîæêà/Ôîðìàò: Paperback
Ñòðàíèöû: 396
Âåñ: 0.59 êã.
Äàòà èçäàíèÿ: 13.12.2002
Ñåðèÿ: Lecture Notes in Computer Science
ßçûê: English
Èëëþñòðàöèè: Illustrations
Ðàçìåð: 23.39 x 15.60 x 2.11
×èòàòåëüñêàÿ àóäèòîðèÿ: Professional & vocational
Ññûëêà íà Èçäàòåëüñòâî: Link
Ðåéòèíã:
Ïîñòàâëÿåòñÿ èç: Ãåðìàíèè
Îïèñàíèå: A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
Äîïîëíèòåëüíîå îïèñàíèå: Ôîðìàò: 235x155
Êðóã ÷èòàòåëåé:  Researchers and advanced students
Êëþ÷åâûå ñëîâà:
ßçûê: eng




Automata, Languages and Programming

Àâòîð: Samson Abramsky; Cyril Gavoille; Claude Kirchner;
Íàçâàíèå: Automata, Languages and Programming
ISBN: 3642141641 ISBN-13(EAN): 9783642141645
Èçäàòåëüñòâî: Springer
Öåíà: 18167.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

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. .

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.
Fuzzy Semirings with Applications to Automata Theory

Àâòîð: Javed Ahsan; John N. Mordeson; Muhammad Shabir
Íàçâàíèå: Fuzzy Semirings with Applications to Automata Theory
ISBN: 3642440037 ISBN-13(EAN): 9783642440038
Èçäàòåëüñòâî: Springer
Ðåéòèíã:
Öåíà: 16977.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

Îïèñàíèå: 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.

Knowledge Structures for Communications in Human-Computer Systems - General Automata-Based

Àâòîð: Koenig
Íàçâàíèå: Knowledge Structures for Communications in Human-Computer Systems - General Automata-Based
ISBN: 0471998133 ISBN-13(EAN): 9780471998136
Èçäàòåëüñòâî: Wiley
Ðåéòèíã:
Öåíà: 11872.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

Îïèñàíèå: 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).

Automata, Languages and Programming

Àâòîð: 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.


ÎÎÎ "Ëîãîñôåðà " Òåë:+7(495) 980-12-10 www.logobook.ru
   Â Êîíòàêòå     Â Êîíòàêòå Ìåä  Ìîáèëüíàÿ âåðñèÿ