| Record ID | marc_loc_2016/BooksAll.2016.part31.utf8:175065630:1025 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part31.utf8:175065630:1025?format=raw |
LEADER: 01025cam a22002534a 4500
001 2004042817
003 DLC
005 20080311091200.0
008 040227s2004 gw a b 101 0 eng
010 $a 2004042817
020 $a3540212604 (acid-free paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA297$b.N867 2004
082 00 $a518/.0285/5$222
245 00 $aNumerical software with result verification :$binternational Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /$cRené Alt ... [et al.] (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2004.
300 $ax, 313 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v2991
504 $aIncludes bibliographical references and index.
650 0 $aNumerical analysis$xComputer programs$vCongresses.
650 0 $aComputer software$xVerification$vCongresses.
700 1 $aAlt, René.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0818/2004042817-d.html