Theory and Applications of Models of Computation, Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolm
Автор: Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsh Название: Theory and Applications of Models of Computation ISBN: 3540792279 ISBN-13(EAN): 9783540792277 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 5th International Conference TAMC 2008 Xian China April 25-29 2008 Proceedings.
Автор: Cecilia Di Chio; Anthony Brabazon; Marc Ebner; Mud Название: Applications of Evolutionary Computation ISBN: 3642122418 ISBN-13(EAN): 9783642122415 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 1998, EvoApplications - formerly known as EvoWorkshops - has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.
Описание: This book provides a comprehensive survey of data structures of various types. The second edition has been revised and updated with new chapters on Bloom Filters, Binary Decision Diagrams, Data Structures for Cheminformatics, and Data Structures for Big Data Stores.
Автор: 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.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Johan Lilius; Wojciech Penczek Название: Applications and Theory of Petri Nets ISBN: 3642136745 ISBN-13(EAN): 9783642136740 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, held in Braga, Portugal, in June 2010.
Автор: Oliver Kullmann Название: Theory and Applications of Satisfiability Testing - SAT 2009 ISBN: 3642027768 ISBN-13(EAN): 9783642027765 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 12th International Conference SAT 2009 Swansea UK June 30 July 3 2009 Proceedings. .
Автор: Jianer Chen; Barry S. Cooper Название: Theory and Applications of Models of Computation ISBN: 364202016X ISBN-13(EAN): 9783642020162 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. This work addresses the three main themes of the conference: Computability, Complexity, and Algorithms.
Автор: Cecilia Di Chio; Stefano Cagnoni; Carlos Cotta; Ma Название: Applications of Evolutionary Computation ISBN: 3642122388 ISBN-13(EAN): 9783642122385 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 1998, EvoApplications - formerly known as EvoWorkshops- has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.
Автор: Giuliana Franceschinis; Karsten Wolf Название: Applications and Theory of Petri Nets ISBN: 3642024238 ISBN-13(EAN): 9783642024238 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
