城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Hammer Rolf)
該当件数:2件
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs / by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995)
電子ブック
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Springer Series in Computational Mathematics. ISSN:21983712 ; 21)