本文に飛ぶ

年 〜
年

検索結果 7 件

Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings : SCSS meetings : Aug 2024, Tokyo, Japan (Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence)

Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings : SCSS meetings : Aug 2024, Tokyo, Japan (Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2024]<M17-25-49>
国立国会図書館
  • 著者標目... Tokyo, Japan) Watt, Stephen M. Ida, Tetsuo

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-762>
国立国会図書館
  • 著者標目...bra, Portugal) Watt, Stephen M. Davenport, James H. Sexton, A...

ISSAC 2010 : proceedings of the 2010 international symposium on symbolic and algebraic computation : 25-28 July 2010, Munich Germany

ISSAC 2010 : proceedings of the 2010 international symposium on symbolic and algebraic computation : 25-28 July 2010, Munich Germany
紙図書
Stephen M. Watt, editorAssociation for Computing Machineryc2010
全国の図書館
  • 著者標目Watt, Stephen M. Association for Computing Mac...

SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London, Ontario, Canada, July 25-27, 2007

SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London, Ontario, Canada, July 25-27, 2007
紙図書
sponsored by The University of Western Ontario ; in-cooperation with, SIGSAM ; edited by, Jan Verschelde & Stephen M. WattAssociation for Computing Machineryc2007
全国の図書館
  • 著者標目...erschelde, Jan Watt, Stephen M.

International Workshop on Parallel Symbolic Computation, PASCO '07, July 27-28, 2007, London, Ontario, Canada

International Workshop on Parallel Symbolic Computation, PASCO '07, July 27-28, 2007, London, Ontario, Canada
紙図書
sponsored by The University of Western Ontario ; in cooperation with SIGSAM ; edited by Marc Moreno Maza and Stephen M. WattAssociation for Computing Machineryc2007
全国の図書館
  • 著者標目...a, Marc Moreno Watt, Stephen M. Association for Computing Mac...

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation : ISSAC '91, July 15-17, 1991, Bonn, Germany

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation : ISSAC '91, July 15-17, 1991, Bonn, Germany
紙図書
Stephen M. Watt, editorACM Pressc1991
全国の図書館
  • 著者標目International Symposium ISSAC Watt, Stephen M. Association for Computing Mac...

Computers and mathematics : us : gw

Computers and mathematics : us : gw
紙図書
Erich Kaltofen, Stephen M. Watt, editorsSpringerc1989
全国の図書館
  • 著者標目Kaltofen, Erich Watt, Stephen M. Massachusetts Institute of Te...

検索結果は以上です。

RSS