Perspectives in Computational Complexity, Manindra Agrawal; Vikraman Arvind

Автор: Oded Goldreich
Название: Computational complexity
ISBN: 052188473X ISBN-13(EAN): 9780521884730
Издательство: Cambridge Academ
Рейтинг:
Цена: 78150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Pavel Pudl?k
Название: Logical Foundations of Mathematics and Computational Complexity
ISBN: 3319342681 ISBN-13(EAN): 9783319342689
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Martin Peters
Название: Computational Fluid Dynamics for Sport Simulation
ISBN: 3662519445 ISBN-13(EAN): 9783662519448
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique perspective explores the role of computer simulation in the sports realm, through the study of five specific examples. Readers will find detailed coverage of the contributions computational science and engineering (CSE) make to sports research.

Автор: Manindra Agrawal; Vikraman Arvind
Название: Perspectives in Computational Complexity
ISBN: 3319350587 ISBN-13(EAN): 9783319350585
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Du
Название: Theory of Computational Complexity 2e
ISBN: 1118306082 ISBN-13(EAN): 9781118306086
Издательство: Wiley
Рейтинг:
Цена: 118220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jacob T. Schwartz; Domenico Cantone; Eugenio G. Om
Название: Computational Logic and Set Theory
ISBN: 1447160185 ISBN-13(EAN): 9781447160182
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This must-read text presents the late Professor Jacob T. Schwartz`s work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Автор: Ying Tan; Yuhui Shi; Fernando Buarque; Alexander G
Название: Advances in Swarm and Computational Intelligence
ISBN: 3319204718 ISBN-13(EAN): 9783319204710
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Marina L. Gavrilova; C.J. Kenneth Tan; Himanshu Th
Название: Transactions on Computational Science XXIV
ISBN: 3662457105 ISBN-13(EAN): 9783662457108
Издательство: Springer
Рейтинг:
Цена: 50310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Arora, Sanjeev Barak, Boaz
Название: Computational complexity
ISBN: 0521424267 ISBN-13(EAN): 9780521424264
Издательство: Cambridge Academ
Рейтинг:
Цена: 60190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.