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 -- Verific...

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
  • Subject HeadingNumerical analysis -- Computer programs -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)Numerical analysis -- Computer programs -- Congresses Computer software -- Verifica...

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
  • Subject HeadingNumerical analysis -- Computer programs -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)Numerical analysis -- Computer programs -- Congresses Computer software -- Verifica...

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
  • Subject HeadingNumerical analysis -- Computer programs -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)Numerical analysis -- Computer programs -- Congresses Computer software -- Verifica...

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 -- Co...

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 p...

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 s...

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
  • Subject HeadingNumerical analysis -- Computer programs -- Congresses Numerical analysis -- Data pr...
  • Subject Heading (ID)Numerical analysis -- Computer programs -- Congresses Numerical analysis -- Data pr...

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
  • Subject HeadingNumerical analysis -- Computer programs -- Congresses Software compatibility -- Con...
  • Subject Heading (ID)Numerical analysis -- Computer programs -- Congresses Software compatibility -- Con...

Reached to the end of result.

RSS