Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer-Verlagc2004.<M17-04-3019>
National Diet Library
  • Subject HeadingNumerical 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
Paper図書
Alessandro Abate, Sylvie Boldo (eds.)Springerc2017
Other Libraries in Japan

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
Paper図書
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)Springerc2017
Other Libraries in Japan

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
Paper図書
René Alt ... [et al.] (eds.)Springerc2004
Other Libraries in Japan

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)
Paper図書
Springer-Verlag1977.<M159-73>
National Diet Library
  • Subject HeadingNumerical 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.
Paper図書
Academic Press1980.<MA251-76>
National Diet Library
  • Subject HeadingNumerical 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.
Paper図書
Academic Press1978.<MA251-42>
National Diet Library
  • Subject Heading...-- Congresses. Numerical analysis -- Computer programs -- Congresses. Analise Numerica. Computer sy...

Production and assessment of numerical software

Production and assessment of numerical software
Paper図書
edited by M. A. Hennell, L. M. DelvesAcademic Press1980
Other Libraries in Japan

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
Paper図書
edited by Wayne CowellSpringer-Verlag1977
Other Libraries in Japan

Reached to the end of result.

RSS