本文に飛ぶ

年 〜
年

検索結果 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.
紙図書
The Association for Computing Machinery[2016]<M17-17-2227>
国立国会図書館
  • 件名...ta processing. Mathematics--Data processing.

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)
紙図書
Springer[2014]<M17-15-765>
国立国会図書館
  • 件名...uter software. Mathematics--Data processing.

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.
紙図書
The Association for Computing Machinery[2015]<M17-16-847>
国立国会図書館
  • 件名...ta processing. Mathematics--Data processing.

Encyclopedia of applied and computational mathematics (Springer reference)

Encyclopedia of applied and computational mathematics (Springer reference)
紙図書
Björn Engquist, editor.Springer[2015]<MA2-B17>
国立国会図書館全国の図書館
  • 件名...atical models. Mathematics--Data processing. Numerical analysis.

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 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.
紙図書
Association for Computing Machineryc2013.<M17-14-2152>
国立国会図書館

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)
紙図書
Springerc2012.<M17-12-4083>
国立国会図書館

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)
紙図書
American Mathematical Societyc2008.<M17-08-1268>
国立国会図書館

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

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

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)
紙図書
Springerc2010.<M17-10-4366>
国立国会図書館

数学初心者のための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>
国立国会図書館

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.
紙図書
Association for Computing Machineryc2009.<M17-10-991>
国立国会図書館

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)
紙図書
Springerc2008.<M17-09-1027>
国立国会図書館

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

Mathematical intelligence : what we have that machines don't : pbk
紙図書
Junaid MubeenProfile Books2024, c2022
全国の図書館

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>
国立国会図書館

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)
紙図書
American Institute of Physics2011.<M17-12-2767>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-552>
国立国会図書館

Mathematica beyond mathematics : the Wolfram language in the real world :hbk 2nd ed

Mathematica beyond mathematics : the Wolfram language in the real world :hbk 2nd ed
紙図書
José Guillermo Sánchez León ; translated by Rubén García BerasateguiChapman & Hall/CRC2023
全国の図書館

Mathematics for engineers and science labs using maxima : pbk

Mathematics for engineers and science labs using maxima : pbk
紙図書
Seifedine Kadry, Pauly AwadApple Academic Press2021
全国の図書館
RSS