|
|
libcats.org
Numerical Software with Result VerificationRenT Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram LutherThis 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Т.Р.Харрисон. Внутренние болезни, т.5: Болезни сердечно-сосудистой системы (djvu)Автор:
Размер книги: 4.53 Mb
Морские раковины. Краткий определительАвтор: Ершов Виктор Евгеньевич, Автор: Кантор Юрий Израилевич
Размер книги: 26.01 Mb
Царь Иоанн Грозный, его царствование, его деяния, его жизнь, современники и деятели в портретах, гравюрах, живописи, скульптуре, памятниках зодчества и пр.Автор: Головин Н. Вольф Л. М. (Ред.)Категория: ИСТОРИЯ, КУЛЬТУРА и ИСКУССТВО
Размер книги: 45.03 Mb
От нейрона к мозгуАвтор: Дж. Г. Николлс, Автор: А. Р. Мартин, Автор: Б. Дж. Валлас, Автор: П. А. Фукс (Авт.); : П. Балабан, Автор: А. Галкин, Автор: Р. Гиниатуллин, Автор: Р. Хазипов, Автор: Л. Хируг (Пер.)
Размер книги: 39.86 Mb
|
|
|