Jump to main content

yr 〜
yr

Search results 45

Current trends in scientific computing : ICM 2002 Beijing satellite conference on scientific computing : August 15-18, 2002 : Xi'an Jiaotang University, Xi'an, China. (Contemporary Mathematics ; 329)

Current trends in scientific computing : ICM 2002 Beijing satellite conference on scientific computing : August 15-18, 2002 : Xi'an Jiaotang University, Xi'an, China. (Contemporary Mathematics ; 329)
Paper図書
American Mathematical Societyc2003.<M17-04-1124>
National Diet Library
  • Subject HeadingScience -- Data processing -- Congresses. Numerical analysis -- Data processing -- Congresses.

Challenges in scientific computing -- CISC 2002 : proceedings of the conference : challenges in scientific computing : Berlin, October 2-5, 2002. (Lecture Notes in Computational Science and Engineering ; 35)

Challenges in scientific computing -- CISC 2002 : proceedings of the conference : challenges in scientific computing : Berlin, October 2-5, 2002. (Lecture Notes in Computational Science and Engineering ; 35)
Paper図書
Springerc2003.<M17-04-3455>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses.

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, ed. (Lecture notes in computer science)

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8916>
National Diet Library
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses.

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.). (Lecture notes in computer science)

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlag1993.<M15-A8910>
National Diet Library
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses.

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.). (Lecture notes in computer science)

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7565>
National Diet Library
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses.

Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers

Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers
Paper図書
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.)Springerc2016
Other Libraries in Japan
  • Subject HeadingNumerical analysis -- Data processing -- Congresses Computer arithmetic -- Congre...

Computing methods in applied sciences and engineering, VI : proceedings of the Sixth International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 12-16, 1983 / edited by R. Glowinski, J.-L. Lions.

Computing methods in applied sciences and engineering, VI : proceedings of the Sixth International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 12-16, 1983 / edited by R. Glowinski, J.-L. Lions.
Paper図書
North Holland1984.<M15-A2061>
National Diet Library
  • Subject HeadingNumerical analysis -- Data processing -- Congresses. Parallel processing (Electro...

Computing methods in applied sciences and engineering V : proceedings of the Fifth International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 14-18, 1981 / edited by R. Glowinski, J.L. Lions.

Computing methods in applied sciences and engineering V : proceedings of the Fifth International Symposium on Computing Methods in Applied Sciences and Engineering, Versailles, France, December 14-18, 1981 / edited by R. Glowinski, J.L. Lions.
Paper図書
North-Holland Pub. Co.1982.<M15-A111>
National Diet Library
  • Subject HeadingNumerical analysis -- Data processing -- Congresses. Science -- Data processing -...

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 Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses. Calculo Numerico. Engenharia...

Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotong University, Xi'an, China

Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotong University, Xi'an, China
Paper図書
Zhangxin Chen, Roland Glowinski, Kaitai Li, editorsAmerican Mathematical Societyc2003
Other Libraries in Japan
  • Subject HeadingScience -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses

Proceeding[s] of the Third GAMM-Conference on Numerical Methods in Fluid Mechanics, DFVLR, Cologne, October 10 to 12, 1979 / Ernst Heinrich Hirschel, ed. (Notes on numerical fluid mechanics ; v. 2)

Proceeding[s] of the Third GAMM-Conference on Numerical Methods in Fluid Mechanics, DFVLR, Cologne, October 10 to 12, 1979 / Ernst Heinrich Hirschel, ed. (Notes on numerical fluid mechanics ; v. 2)
Paper図書
F. Viewegc1980.<M251-63>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses.

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 HeadingNumerical analysis -- Data processing -- Congresses. Numerical analysis -- Comput...

Quality of numerical software : assessment and enhancement : proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement, Oxford, United Kingdom, 8-12 July 1996

Quality of numerical software : assessment and enhancement : proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement, Oxford, United Kingdom, 8-12 July 1996
Paper図書
edited by Ronald F. BoisvertChapman & Hall1997
Other Libraries in Japan
  • Subject HeadingNumerical analysis -- Data processing -- Congresses Computer software -- Quality ...

Symbolic rewriting techniques : Basel : alk. paper Boston : pbk. : alk. paper

Symbolic rewriting techniques : Basel : alk. paper Boston : pbk. : alk. paper
Paper図書
Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editorsBirkhäuser Verlagc1998
Other Libraries in Japan
  • Subject Heading... -- Congresses Numerical analysis -- Data processing -- Congresses

Mathematical software. Edited by John R. Rice. (ACM monograph series)

Mathematical software. Edited by John R. Rice. (ACM monograph series)
Paper図書
Academic Press1971.<MA251-62>
National Diet Library
  • Subject Heading...-- Congresses. Numerical analysis -- Data processing -- Congresses. Matematica. Computacao (Meto...

Computer aided proofs in analysis : us : gw

Computer aided proofs in analysis : us : gw
Paper図書
Kenneth R. Meyer, Dieter S. Schmidt, editorsSpringer-Verlagc1991
Other Libraries in Japan
  • Subject HeadingNumerical analysis -- Data processing -- Congresses

Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991

Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991
Paper図書
edited by C. Brezinski, U. KulischNorth-Holland1992
Other Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings : us : gw

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings : us : gw
Paper図書
John Fitch, (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Subject Heading... -- Congresses Numerical analysis -- Data processing -- Congresses

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings : us : gw

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings : us : gw
Paper図書
Alfonso Miola, (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Subject Heading... -- Congresses Numerical analysis -- Data processing -- Congresses

Computing science and statistics : statistics of many parameters : curves, images, spatial models :us :gw

Computing science and statistics : statistics of many parameters : curves, images, spatial models :us :gw
Paper図書
Connie Page, Raoul LePage, editorsSpringer-Verlag1992
Other Libraries in Japan
  • Subject Heading... -- Congresses Numerical analysis -- Data processing -- Congresses. Computer science -- Congress...
RSS