C++ Toolbox for Verified Computing I, Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietm
Автор: Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietm Название: Numerical Toolbox for Verified Computing I ISBN: 3642784259 ISBN-13(EAN): 9783642784255 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru