|
|
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
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Grzimek's Animal Life Encyclopedia. Mammals 3Автор: Michael HutchinsКатегория: Biology, Encyclopaediae
Размер книги: 14.47 Mb
Frommer's Costa Rica 2010 (Frommer's Color Complete Guides)Автор: Eliot Greenspan
Размер книги: 50.33 Mb
Illustrated History of Furniture: From the Earliest to the Present TimeАвтор: Frederick LitchfieldКатегория: История
Размер книги: 91.71 Mb
Телевидение цветное и черно-белоеАвтор: Крыжановский В.Д., Автор: Костыков Ю.В.
Размер книги: 2.69 Mb
Six Not-So-Easy Pieces: Einstein's Relativity, Symmetry, and Space-TimeАвтор: Richard P. Feynman, Автор: Robert B. Leighton, Автор: Matthew SandsКатегория: P_Physics, PPop_Popular-level
Размер книги: 1.38 Mb
|
|
|