Главная Документация WEB ИРБИС 8.1 Шлюз Z39.50

Базы данных


Электронный Каталог ГПНТБ - результаты поиска

Вид поиска

Формат представления найденных документов:
полныйинформационныйкраткий
Общее количество найденных документов : 1
1. R/14615/21/1

Numerical toolbox for verified computing [Text] / Hammer R.,Hocks M.,Kulisch U.,Ratz D. - Berlin : Springer.
Pt. 1 : Basic numerical problems : theory,algorithms, and Pascal-XSC programs. - 1993. - XIII,337 p. p. : ill. - (Springer series in computational mathematics ; 21). - ISBN 3-540-57118-3 : 161904 р.
Библиогр.:с.319-324.Указ.:с.325-337
ГРНТИ
УДК
Рубрики: Вычислительная математика

Доп.точки доступа:
Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.
Экз-ры: ПНТ(1), (2)
Копия:

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)