Описание: 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.
Автор: de Berg Название: Computational Geometry ISBN: 3540779736 ISBN-13(EAN): 9783540779735 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.
Автор: 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.
Автор: Nils Bulling; Leendert van der Torre; Serena Villa Название: Computational Logic in Multi-Agent Systems ISBN: 3319097636 ISBN-13(EAN): 9783319097633 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.
Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici Название: Computational Logic and Proof Theory ISBN: 3540571841 ISBN-13(EAN): 9783540571841 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third Kurt G|del Symposium, KGC`93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.
Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van Название: Computational Logic in Multi-Agent Systems ISBN: 3642406238 ISBN-13(EAN): 9783642406232 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.
Автор: 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.
Автор: In?s Dutra; Rui Camacho; Jorge Barbosa; Osni Marqu Название: High Performance Computing for Computational Science – VECPAR 2016 ISBN: 3319619810 ISBN-13(EAN): 9783319619811 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016. The 20 full papers presented were carefully reviewed and selected from 36 submissions.
Автор: Marina Gavrilova; C.J. Kenneth Tan Название: Transactions on Computational Science XXII ISBN: 3642542115 ISBN-13(EAN): 9783642542114 Издательство: Springer Рейтинг: Цена: 7547.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The four papers in Part I span the areas of information-driven online social networks, neural networks, collaborative memories, and stability controls in multi-agent networked environments.
Автор: Leonid Sokolinsky; Mikhail Zymbler Название: Parallel Computational Technologies ISBN: 3319670344 ISBN-13(EAN): 9783319670348 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ГЇВїВЅ This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017. The papers are organized in topical sections on high performance architectures, tools and technologies;
Автор: Nicholas Asher; Sergei Soloviev Название: Logical Aspects of Computational Linguistics ISBN: 3662437414 ISBN-13(EAN): 9783662437414 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.
Автор: Jacob T. Schwartz; Domenico Cantone; Eugenio G. Om Название: Computational Logic and Set Theory ISBN: 1447160185 ISBN-13(EAN): 9781447160182 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
