本文へ移動

年 〜
年

検索結果 607 件

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.

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.
紙図書
The Association for Computing Machinery[2016]<M17-17-2227>
国立国会図書館

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

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings. (Lecture Notes in Computer Science ; 8592)
紙図書
Springer[2014]<M17-15-765>
国立国会図書館全国の図書館

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

ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom.
紙図書
The Association for Computing Machinery[2015]<M17-16-847>
国立国会図書館

Encyclopedia of applied and computational mathematics (Springer reference)

Encyclopedia of applied and computational mathematics (Springer reference)
紙図書
Björn Engquist, editor.Springer[2015]<MA2-B17>
国立国会図書館全国の図書館

Computational quantum chemistry Second edition

Computational quantum chemistry Second edition
紙図書
Ram Yatan Prasad and PranitaCRC Press2021<PA47-D14>
国立国会図書館全国の図書館

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

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013.
紙図書
Association for Computing Machineryc2013.<M17-14-2152>
国立国会図書館

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

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings. (Lecture Notes in Computer Science ; 7280)
紙図書
Springerc2012.<M17-12-4083>
国立国会図書館全国の図書館

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

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

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. (Contemporary Mathematics ; 457)

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. (Contemporary Mathematics ; 457)
紙図書
American Mathematical Societyc2008.<M17-08-1268>
国立国会図書館全国の図書館
  • 件名Experimental 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. (Lecture Notes in Computer Science ; 6327)

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. (Lecture Notes in Computer Science ; 6327)
紙図書
Springerc2010.<M17-10-4366>
国立国会図書館全国の図書館
  • 件名Mathematics -- Data processing -- Congresses. Computer softw...

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

数学初心者のためのMaxima入門 : 数式を「情報化」して問題を解く (I/O BOOKS)
紙図書
河西つかさ 著工学社2022.12<MA21-M313>
国立国会図書館全国の図書館

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.
紙図書
Butterworth-Heinemann/Elsevier2006.<YU111-B797>
国立国会図書館
  • 件名Mathcad (Computer file) Engineering mathematics -- Data processing.

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation.

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation.
紙図書
Association for Computing Machineryc2009.<M17-10-991>
国立国会図書館全国の図書館
  • 件名Mathematics -- Data processing -- Congresses. Algebra -- Dat...

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. (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. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-09-1027>
国立国会図書館全国の図書館
  • 件名Computer science -- Mathematics -- Congresses. Mathematics -- Data processing -- Congresses.

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011. (AIP Conference Proceedings ; 1368)

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011. (AIP Conference Proceedings ; 1368)
紙図書
American Institute of Physics2011.<M17-12-2767>
国立国会図書館

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.].
紙図書
Imperial College Pressc2007.<MA131-B17>
国立国会図書館

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

多項式と計算機代数 (現代基礎数学 ; 17)
紙図書
横山和弘 著朝倉書店2022.2<MA64-M73>
国立国会図書館全国の図書館

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings. (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. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-552>
国立国会図書館

Mathematical software -- ICMS 2006 : second international congress on mathematical software : Castro Urdiales, Spain, September 1-3, 2006 : proceedings. (Lecture Notes in Computer Science ; 4151)

Mathematical software -- ICMS 2006 : second international congress on mathematical software : Castro Urdiales, Spain, September 1-3, 2006 : proceedings. (Lecture Notes in Computer Science ; 4151)
紙図書
Springerc2006.<M17-07-174>
国立国会図書館全国の図書館
  • 件名Mathematics -- Data processing -- Congresses. Computer softw...

Mathematica崇めよblank讃えよobject

Mathematica崇めよblank讃えよobject
紙図書
@kozukorio [著]算宝堂出版2019.4<MA21-M51>
国立国会図書館
RSS