Perspectives in Computational Complexity, Manindra Agrawal; Vikraman Arvind
Автор: Arora, Sanjeev Barak, Boaz Название: Computational complexity ISBN: 0521424267 ISBN-13(EAN): 9780521424264 Издательство: Cambridge Academ Рейтинг: Цена: 9029.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.
Автор: Manindra Agrawal; Vikraman Arvind Название: Perspectives in Computational Complexity ISBN: 3319054457 ISBN-13(EAN): 9783319054452 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday.
Автор: Oded Goldreich Название: Computational complexity ISBN: 052188473X ISBN-13(EAN): 9780521884730 Издательство: Cambridge Academ Рейтинг: Цена: 11722.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A conceptual introduction to the study of the intrinsic complexity of computational tasks. It will serve advanced undergraduate and graduate students, either as a textbook or for self-study. It provides explanations of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness, and probabilistic proof systems.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Przemys?aw Broniek Название: Computational Complexity of Solving Equation Systems ISBN: 3319217496 ISBN-13(EAN): 9783319217499 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras.
Автор: Du Название: Theory of Computational Complexity 2e ISBN: 1118306082 ISBN-13(EAN): 9781118306086 Издательство: Wiley Рейтинг: Цена: 17733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing the basic theory and methods that are essential for understanding complexity theory, this second edition of Theory of Computational Complexity emphasizes advances in the field of computational complexity, including newly developed algorithms and novel applications to quantum computing.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Автор: V.S. Subrahmanian; Aaron Mannes; Amy Sliva; Jana S Название: Computational Analysis of Terrorist Groups: Lashkar-e-Taiba ISBN: 1489992634 ISBN-13(EAN): 9781489992635 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computational Analysis of Terrorist Groups: Lashkar-e-Taiba provides an in-depth look at Web intelligence, and how advanced mathematics and modern computing technology can influence the insights we have on terrorist groups.
Автор: Marina L. Gavrilova; C.J. Kenneth Tan; Himanshu Th Название: Transactions on Computational Science XXIV ISBN: 3662457105 ISBN-13(EAN): 9783662457108 Издательство: Springer Рейтинг: Цена: 7547.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
Автор: Ying Tan; Yuhui Shi; Fernando Buarque; Alexander G Название: Advances in Swarm and Computational Intelligence ISBN: 3319204653 ISBN-13(EAN): 9783319204659 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015.
Автор: Ying Tan; Yuhui Shi; Fernando Buarque; Alexander G Название: Advances in Swarm and Computational Intelligence ISBN: 3319204718 ISBN-13(EAN): 9783319204710 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015.
Автор: Ying Tan; Yuhui Shi; Fernando Buarque; Alexander G Название: Advances in Swarm and Computational Intelligence ISBN: 3319204688 ISBN-13(EAN): 9783319204680 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
