Numerical validation in current hardware architectures : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers. : Dagstuhl seminar 08021 "numerical validation in current hardware architectures" : Jan 2008, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 5492)

Numerical validation in current hardware architectures : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers. : Dagstuhl seminar 08021 "numerical validation in current hardware architectures" : Jan 2008, Dagstuhl, Germany.

(Lecture Notes in Computer Science ; 5492)

Call No. (NDL): M17-10-425
Bibliographic ID of National Diet Library: 000010411427

Material type: 図書

Author: Cuyt, Annie, 1956-

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xii, 261 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642015908 (ISBN-13 : pbk.)
3642015905 (pbk.)
ISSN (series): 0302-9743
Title: Numerical validation in current hardware architectures : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers. : Dagstuhl seminar 08021 "numerical validation in current hardware architectures" : Jan 2008, Dagstuhl, Germany.
Series Title: Lecture Notes in Computer Science ; 5492
Title Heading: Lecture notes in computer science ; 5492.
Author Heading: Cuyt, Annie, 1956-
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xii, 261 p. : ill. ; 24 cm.
Alternative Title: Dagstuhl seminar 2008
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer arithmetic -- Congresses.
Computer science -- Mathematics -- Congresses.
LCC: QA76.9.C62
NDLC: M17
Note (General): Revised papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-425
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010411427
http://id.ndl.go.jp/bib/000010411427
OCLC No.: 320800363
https://www.worldcat.org/oclc/320800363
Bibliographic Record Category (NDL): 215