Nakao, Mitsuhiro T. — Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe. — Singapore: Springer, 2019. — 1 файл (21,6 Мб): ил. — (Springer series in computational mathematics). — Доступ по паролю из сети Интернет (чтение). — <URL:http://elib.spbstu.ru/dl/2/eb23-154.pdf>. — Текст: электронный
| Период | Чтение | Печать | Копирование | Открытие | Итого |
|---|---|---|---|---|---|
| Вчера | 0 | 0 | 0 | 0 | 0 |
| Последние 30 дней | 0 | 0 | 0 | 0 | 0 |
| Последние 365 дней | 0 | 0 | 0 | 0 | 0 |
| За все время | 0 | 0 | 0 | 0 | 0 |