libcats.org
Главная

Numerical Software with Result Verification

Обложка книги Numerical Software with Result Verification

Numerical Software with Result Verification

, , , ,

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.

The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

The Language of Shape: The Role of Curvature in Condensed Matter: Physics, Chemistry and Biology

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 28.24 Mb

Ilyushin Il-2 Shturmovik

Автор: , Автор:
Категория: ВОЕННАЯ ИСТОРИЯ
Размер книги: 48.08 Mb

Night of the Juggler

Автор: , Автор:
Размер книги: 582 Kb

Conference sketch book, Moscow, April 1952

Автор:
Размер книги: 1.40 Mb

Drupal 7 Social Networking

Автор:
Размер книги: 4.97 Mb

Rossellini's Revenge Affair

Автор:
Категория: fiction
Размер книги: 239 Kb