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

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Древо жизни

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

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Электроника - практический курс

Автор:
Категория: science, technical, civil, hardware
Размер книги: 4.65 Mb

Ni Hao Level 4: Chinese Language Course Advanced Level

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

Самоучитель языка хинди

Автор:
Категория: society, society, lang
Размер книги: 3.58 Mb

Periodic Table Of Science Fiction 26-50

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

The Haunting of Hill House

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

The Second Rat

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

Introduzione a Bourdieu

Автор:
Категория: Monograph
Размер книги: 1.79 Mb