Описание: 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.
Автор: Stephan Ruscheweyh; Edward B. Saff; Luis C. Salina Название: Computational Methods and Function Theory ISBN: 3540527680 ISBN-13(EAN): 9783540527688 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Examines the interaction of modern scientific computation and classical function theory. Many problems in pure and more applied function theory can be tackled using modern computing facilities, while computer algorithms are often based on complex function theory.
Автор: 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.
Автор: M.E. Pohst Название: Computational Algebraic Number Theory ISBN: 3764329130 ISBN-13(EAN): 9783764329136 Издательство: Springer Рейтинг: Цена: 4186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computational algebraic number theory has been attracting broad interest in the last few years due to its potential applications in coding theory and cryptography. This book emphasizes practical algorithms for the computation of integral bases, the unit group and the class group of arbitrary algebraic number fields.
Автор: Hiro Ito; Mikio Kano; Naoki Katoh; Yushi Uno Название: Computational Geometry and Graph Theory ISBN: 3540895493 ISBN-13(EAN): 9783540895497 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry and Graph Theory, Kyoto CGGT 2007, held in Kyoto, Japan, in June 2007, in honor of Jin Akiyama and Vaek Chvatal, on the occasion of their 60th birthdays. This book covers various aspects of Computational Geometry and Graph Theory.
Автор: 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.
Автор: Ulrich Berger; Helmut Schwichtenberg Название: Computational Logic ISBN: 3540645896 ISBN-13(EAN): 9783540645894 Издательство: Springer Рейтинг: Цена: 33401.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to the interplay of mathematical logic and computer science, containing lectures given at the 1997 Marktoberdorf Summer School. Topics covered include: proof theory and specification of computation; constructive type theory; computational mathematics; and rewriting logic.
Автор: J.W. Lloyd Название: Computational Logic ISBN: 364276276X ISBN-13(EAN): 9783642762765 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.
Автор: Ulrich Berger; Helmut Schwichtenberg Название: Computational Logic ISBN: 3642636705 ISBN-13(EAN): 9783642636707 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
