Theory and Applications of Models of Computation, Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsh

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

Автор: Kees van van Hee; R?diger Valk
Название: Applications and Theory of Petri Nets
ISBN: 3540687459 ISBN-13(EAN): 9783540687450
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi`an, China, in June 2008.

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

Автор: Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolm
Название: Theory and Applications of Models of Computation
ISBN: 3642135617 ISBN-13(EAN): 9783642135613
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.

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

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

Автор: Farid M. Ablaev; Ernst Mayr
Название: Computer Science -- Theory and Applications
ISBN: 3642131816 ISBN-13(EAN): 9783642131813
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010.

Автор: Creignou
Название: Theory and Applications of Satisfiability Testing – SAT 2016
ISBN: 3319409697 ISBN-13(EAN): 9783319409696
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

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

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

Автор: Ofer Strichman; Stefan Szeider
Название: Theory and Applications of Satisfiability Testing - SAT 2010
ISBN: 3642141854 ISBN-13(EAN): 9783642141850
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.