Jump to main content

yr 〜
yr

Search results 602

ISSAC 2016 : proceedings of the 2016 ACM international symposium on symbolic and algebraic computation : July 20-22 2016 : tutorials: July 19th : Wilfrid Laurier University : Waterloo : Ontario : Jul 2016, Waterloo, Canada.

ISSAC 2016 : proceedings of the 2016 ACM international symposium on symbolic and algebraic computation : July 20-22 2016 : tutorials: July 19th : Wilfrid Laurier University : Waterloo : Ontario : Jul 2016, Waterloo, Canada.
Paper図書
The Association for Computing Machinery[2016]<M17-17-2227>
National Diet Library

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings : ICMS conference : ICMS events : Aug 2014, Seoul, Korea. (Lecture Notes in Computer Science ; 8592)

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings : ICMS conference : ICMS events : Aug 2014, Seoul, Korea. (Lecture Notes in Computer Science ; 8592)
Paper図書
Springer[2014]<M17-15-765>
National Diet Library

ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom : ISSAC 2015 : Jul 2015, Bath, UK.

ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom : ISSAC 2015 : Jul 2015, Bath, UK.
Paper図書
The Association for Computing Machinery[2015]<M17-16-847>
National Diet Library

Encyclopedia of applied and computational mathematics (Springer reference)

Encyclopedia of applied and computational mathematics (Springer reference)
Paper図書
Björn Engquist, editor.Springer[2015]<MA2-B17>
National Diet LibraryOther Libraries in Japan

Computational quantum chemistry Second edition

Computational quantum chemistry Second edition
Paper図書
Ram Yatan Prasad and PranitaCRC Press2021<PA47-D14>
National Diet LibraryOther Libraries in Japan

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.
Paper図書
Association for Computing Machineryc2013.<M17-14-2152>
National Diet Library

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings : Jun 2012, Waterloo, Canada. (Lecture Notes in Computer Science ; 7280)

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings : Jun 2012, Waterloo, Canada. (Lecture Notes in Computer Science ; 7280)
Paper図書
Springerc2012.<M17-12-4083>
National Diet Library

ハンズ・オン・スタートMATHEMATICA : Wolfram言語によるプログラミング

ハンズ・オン・スタートMATHEMATICA : Wolfram言語によるプログラミング
Paper図書
C・ヘイスティングス, K・ミッショー, M・モリソン 著, ウルフラム・リサーチ 監修, 竹沢義章 [ほか] 訳丸善出版2023.11<MA21-M376>
National Diet LibraryOther Libraries in Japan

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. : joint meetings of the American Mathematical Society : Jan 2007, New Orleans, LA. (Contemporary Mathematics ; 457)

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. : joint meetings of the American Mathematical Society : Jan 2007, New Orleans, LA. (Contemporary Mathematics ; 457)
Paper図書
American Mathematical Societyc2008.<M17-08-1268>
National Diet Library
  • Subject HeadingExperimental mathematics -- Data processing -- Congresses. Mathematics -- Data processing -- Congresses. Mathematics --...

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. : ICMS developer's meeting : ICMS-2010 : Sep 2010, Kobe, Japan. (Lecture Notes in Computer Science ; 6327)

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. : ICMS developer's meeting : ICMS-2010 : Sep 2010, Kobe, Japan. (Lecture Notes in Computer Science ; 6327)
Paper図書
Springerc2010.<M17-10-4366>
National Diet Library
  • Subject HeadingMathematics -- Data processing -- Congresses. Computer softw...

数学初心者のためのMaxima入門 : 数式を「情報化」して問題を解く (I/O BOOKS)

数学初心者のためのMaxima入門 : 数式を「情報化」して問題を解く (I/O BOOKS)
Paper図書
河西つかさ 著工学社2022.12<MA21-M313>
National Diet LibraryOther Libraries in Japan

Engineering with Mathcad : using Mathcad to create and organize your engineering calculations / Brent Maxfield.

Engineering with Mathcad : using Mathcad to create and organize your engineering calculations / Brent Maxfield.
Paper図書
Butterworth-Heinemann/Elsevier2006.<YU111-B797>
National Diet Library
  • Subject HeadingMathcad (Computer file) Engineering mathematics -- Data processing.

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation. : ISSAC 2009 conference : Jul 2009, Seoul, Korea.

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation. : ISSAC 2009 conference : Jul 2009, Seoul, Korea.
Paper図書
Association for Computing Machineryc2009.<M17-10-991>
National Diet Library
  • Subject HeadingMathematics -- Data processing -- Congresses. Algebra -- Dat...

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. : ASCM meetings : Dec 2007, Singapore. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. : ASCM meetings : Dec 2007, Singapore. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-09-1027>
National Diet Library
  • Subject HeadingComputer science -- Mathematics -- Congresses. Mathematics -- Data processing -- Congresses.

Mathematical intelligence : what we have that machines don't : pbk

Mathematical intelligence : what we have that machines don't : pbk
Paper図書
Junaid MubeenProfile Books2024, c2022
Other Libraries in Japan
  • Subject HeadingMathematics -- Psychological aspects Mathematics -- Data processing
  • Subject Heading (ID)Mathematics -- Psychological aspects Mathematics -- Data processing

VLSI design of wavelet transform : analysis, architecture, and design examples / Liang-Gee Chen ... [et al.].

VLSI design of wavelet transform : analysis, architecture, and design examples / Liang-Gee Chen ... [et al.].
Paper図書
Imperial College Pressc2007.<MA131-B17>
National Diet Library

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011 : international conference on applied mathematics, modeling and computational science : AMMCS-2011 : AMMCS : Laurier centennial conference : Jul 2011, Waterloo, Canada. (AIP Conference Proceedings ; 1368)

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011 : international conference on applied mathematics, modeling and computational science : AMMCS-2011 : AMMCS : Laurier centennial conference : Jul 2011, Waterloo, Canada. (AIP Conference Proceedings ; 1368)
Paper図書
American Institute of Physics2011.<M17-12-2767>
National Diet Library

多項式と計算機代数 (現代基礎数学 ; 17)

多項式と計算機代数 (現代基礎数学 ; 17)
Paper図書
横山和弘 著朝倉書店2022.2<MA64-M73>
National Diet LibraryOther Libraries in Japan

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library

Mathematics for engineers and science labs using maxima : pbk

Mathematics for engineers and science labs using maxima : pbk
Paper図書
Seifedine Kadry, Pauly AwadApple Academic Press2021
Other Libraries in Japan
  • Subject HeadingEngineering mathematics Engineering mathematics -- Data processing Mathematics -- Data processing
  • Subject Heading (ID)Engineering mathematics Engineering mathematics -- Data processing Mathematics -- Data processing
RSS