関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著. -- 森北出版, 2018.4. | 理数学 410:H |
| 2 | 生きている数学 : 数理工学の発展 / 森口繁一 [ほか] 編著. -- 培風館, 1979.11. | 図書館(書庫) 410:I |
| 3 | 岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; 総目次・総索引. -- 岩波書店, 1993.4-. | 図書館(閲覧室) 410.8:I
理数学 410.8:I
理物理学 410.8:I |
| 4 | 演習応用数学 / コジェヴニコフ, クラスノシチェコヴァ, シシュキン著 ; 筒井孝胤訳. -- 東京図書, 1966.2. | 図書館(書庫) 413:cK88:1 |
| 5 | 応用システム数学 / 伊理正夫 [ほか] 共著. -- 共立出版, 1996.8. | 図書館(閲覧室) 410:I |
| 6 | 応用数学 / 藤田宏編著. -- 3訂版. -- 放送大学教育振興会, 1999.3. -- (放送大学教材 ; 56041-1-9911). | 図書館(閲覧室) 410:H |
| 7 | 応用数学 / 清水辰次郎著. -- 朝倉書店, 1961.9. -- (朝倉数学講座 ; 19). | 図書館(閲覧室) 410.8:A86:1-19
図書館(書庫) 410.8:A86:1-19
工情報 501.1:Si |
| 8 | 応用数学 : 工学および物理学を学ぶ人のための / Pipes, Harvill [共著] ; 小堀与一, 中野義映, 入江敏博共訳 ; 1 - 4. -- コロナ社, 1972.11-1974.4. | 図書館(書庫) 501.1:P |
| 9 | 応用数学 : 工学専攻者のための / 野邑雄吉著. -- 内田老鶴圃, 1957.9. | 図書館(書庫) 501.1:N94:1
図書館(書庫) 501.1:N94o |
| 10 | 応用数学 : 大学課程 / 高木亀一著. -- オーム社, 1966.5. | 図書館(書庫) 501.1:Ta17d |
選択行を：
|