本文に飛ぶ

年 〜
年

検索結果 9 件

Numerical software with result verification : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers. : Dagstuhl seminar 03041 'numerical software with result verification' : Jan 2003, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2991)

Numerical software with result verification : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers. : Dagstuhl seminar 03041 'numerical software with result verification' : Jan 2003, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2991)
紙図書
Springer-Verlagc2004.<M17-04-3019>
国立国会図書館
  • 件名Numerical analysis -- Computer programs -- Congresses. Computer software -- Verifica...

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings
紙図書
Alessandro Abate, Sylvie Boldo (eds.)Springerc2017
全国の図書館

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
紙図書
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)Springerc2017
全国の図書館

Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
紙図書
René Alt ... [et al.] (eds.)Springerc2004
全国の図書館

Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell. (Lecture notes in computer science ; 57)

Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell. (Lecture notes in computer science ; 57)
紙図書
Springer-Verlag1977.<M159-73>
国立国会図書館
  • 件名Numerical analysis -- Computer programs -- Congresses. Software compatibility -- Con...

Production and assessment of numerical software / edited by M. A. Hennell, L. M. Delves.

Production and assessment of numerical software / edited by M. A. Hennell, L. M. Delves.
紙図書
Academic Press1980.<MA251-76>
国立国会図書館
  • 件名Numerical analysis -- Computer programs -- Congresses. Numerical analysis -- Data pr...

Numerical software, needs and availability : proceedings of the Conference on Applications of Numerical Software, Needs and Availability, held at the University of Sussex, September 19th-22nd, 1977 / organized by the Institute of Mathematics and Its Applications ; edited by D. Jacobs.

Numerical software, needs and availability : proceedings of the Conference on Applications of Numerical Software, Needs and Availability, held at the University of Sussex, September 19th-22nd, 1977 / organized by the Institute of Mathematics and Its Applications ; edited by D. Jacobs.
紙図書
Academic Press1978.<MA251-42>
国立国会図書館
  • 件名...-- Congresses. Numerical analysis -- Computer programs -- Congresses. Analise Numerica. Computer sy...

Production and assessment of numerical software

Production and assessment of numerical software
紙図書
edited by M. A. Hennell, L. M. DelvesAcademic Press1980
全国の図書館

Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 : gw : us

Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 : gw : us
紙図書
edited by Wayne CowellSpringer-Verlag1977
全国の図書館

検索結果は以上です。

RSS