004.315 B25 Barozzi, G. C. Aritmetica: un approccio computazionale [Electronic resource] / G. C. Barozzi. - Electronic text data. - Milano : Springer-Verlag, 2007. - (Convergenze). - ISBN 978-88-470-0582-2 : Б. ц.
Кл.слова (ненормированные): компьютерная арифметика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.312'12 P70 Piziali, A. Functional verification coverage measurement and analysis [Electronic resource] / A. Piziali. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2008. - ISBN 978-1402-08026-5 : Б. ц.
Кл.слова (ненормированные): цифровые логические устройства -- верификация -- контроль соответствия спецификации -- величина покрытия См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.315(063) N92 Numerical validation in current hardware architectures [Electronic resource] : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers / eds D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5492). - ISBN 978-3-642-01591-5 : Б. ц.
Кл.слова (ненормированные): машинная арифметика -- вычислительные машины -- архитектура -- конференции См. : Текст издания Доп.точки доступа: Hutchison, D. \ed.\; SpringerLink (Online service) Свободных экз. нет |