yr 〜
yr

Search results 844

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
Paper図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
National Diet Library
  • Subject HeadingDifferential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.

Numerical relativity (100 years of general relativity ; vol. 1)

Numerical relativity (100 years of general relativity ; vol. 1)
Paper図書
Masaru Shibata.World Scientific Publishing Co. Pte. Ltd.[2016]<MC51-B34>
National Diet Library
  • Subject HeadingGeneral relativity (Physics) Einstein field equations. Numerical calculations.

Algorithms and computation : 25th international symposium, ISAAC 2014 : Jeonju, Korea, December 15-17, 2014 : proceedings : Dec 2014, Jeonju, Korea. (Lecture Notes in Computer Science ; 8889)

Algorithms and computation : 25th international symposium, ISAAC 2014 : Jeonju, Korea, December 15-17, 2014 : proceedings : Dec 2014, Jeonju, Korea. (Lecture Notes in Computer Science ; 8889)
Paper図書
Springer[2014]<M17-15-1313>
National Diet Library
  • Subject HeadingComputer algorithms--Congresses. Computer algorithms. Numerical calculations--Data processing.

現場で使える!NumPyデータ処理入門 : 機械学習・データサイエンスで役立つ高速処理手法 第2版

現場で使える!NumPyデータ処理入門 : 機械学習・データサイエンスで役立つ高速処理手法 第2版
Paper図書
吉田拓真, 尾原颯 著翔泳社2024.8<MA251-R4>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

Numerical relativity : solving Einstein's equations on the computer

Numerical relativity : solving Einstein's equations on the computer
Paper図書
Thomas W. Baumgarte and Stuart L. Shapiro.Cambridge University Press2010.<MC51-B27>
National Diet Library
  • Subject HeadingGeneral relativity (Physics) Einstein field equations. Numerical calculations.

数値計算 第3版 (コンパクトシリーズ. 数学)

数値計算 第3版 (コンパクトシリーズ. 数学)
Paper図書
河村哲也 著インデックス出版2024.3<MA251-R5>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値解析 : 非線形方程式と数値積分

数値解析 : 非線形方程式と数値積分
Paper図書
長田直樹 著現代数学社2024.1<MA251-R1>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値計算法 第3版

数値計算法 第3版
Paper図書
三井田惇郎, 須田宇宙 著森北出版2023.10<MA251-M42>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

Algorithms and computation : 21st international symposium, ISAAC 2010 : Jeju Island, Korea, December 15-17, 2010 : proceedings. : 21st annual international symposium algorithms and computations : Dec 2010, ------. (Lecture Notes in Computer Science ; 6506-6507)

Algorithms and computation : 21st international symposium, ISAAC 2010 : Jeju Island, Korea, December 15-17, 2010 : proceedings. : 21st annual international symposium algorithms and computations : Dec 2010, ------. (Lecture Notes in Computer Science ; 6506-6507)
Paper図書
Springerc2010.<M17-11-2124>
National Diet Library
  • Subject HeadingComputer algorithms -- Congresses. Numerical calculations -- Congresses.

Cによる理工系解析の数値計算 : 基礎からの展開

Cによる理工系解析の数値計算 : 基礎からの展開
PaperDigital図書
横山良平 著近代科学社Digital2023.6<MA251-M39>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

変数変換型数値計算法 (岩波数学叢書)

変数変換型数値計算法 (岩波数学叢書)
Paper図書
田中健一郎, 岡山友昭 著岩波書店2023.5<MA251-M38>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

マルチフィジックス計算による腐食現象の解析

マルチフィジックス計算による腐食現象の解析
PaperDigital図書
山本正弘 著近代科学社Digital2022.11<PD31-M15>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値計算 新装版 (理工系の基礎数学〈新装版〉)

数値計算 新装版 (理工系の基礎数学〈新装版〉)
Paper図書
髙橋大輔 著岩波書店2022.11<MA251-M33>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値計算の誤差と精度

数値計算の誤差と精度
Paper図書
菊地文雄 著丸善出版2022.10<MA251-M32>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値計算 新訂第2版 (サイエンスライブラリ理工系の数学 ; 15)

数値計算 新訂第2版 (サイエンスライブラリ理工系の数学 ; 15)
Paper図書
洲之内治男 著サイエンス社2022.4<MA251-M30>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

C&Fortran演習で学ぶ数値計算

C&Fortran演習で学ぶ数値計算
Paper図書
片桐孝洋, 大島聡史 著共立出版2022.3<MA251-M28>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

Transactions on computational science XIII (Lecture notes in computer science ; 6750. Journal subline)

Transactions on computational science XIII (Lecture notes in computer science ; 6750. Journal subline)
Paper図書
Marina L. Gavrilova, C.J. Kenneth Tan (eds.).Springerc2011.<X>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingScience--Data processing. Research--Data processing. Numerical calculations--Data processing.

数値の処理と数値解析 改訂版 (放送大学教材)

数値の処理と数値解析 改訂版 (放送大学教材)
PaperDigital図書障害者向け資料あり
櫻井鉄也 著放送大学教育振興会2022.3<MA251-M29>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

数値計算 第2版 (コンパクトシリーズ. 数学)

数値計算 第2版 (コンパクトシリーズ. 数学)
Paper図書
河村哲也 著インデックス出版2021.9<MA251-M25>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations

スバラシク実力がつくと評判の演習数値解析キャンパス・ゼミ

スバラシク実力がつくと評判の演習数値解析キャンパス・ゼミ
Paper図書
馬場敬之 著マセマ出版社2021.6<MA251-M23>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）近似計算 数値計算--データ処理 Numerical calculations