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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

Rushdie, Salman - The_Satanic_Verses.ShareReactor

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

pboil10

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

En route

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

Out of the Darkness

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

Ijsprinses

Автор:
Категория: fiction

Life's Healing Choices: Freedom from Your Hurts, Hang-ups, and Habits

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