本文に飛ぶ

年 〜
年

検索結果 7 件

Advanced automotive control and mathematics : SICE-JSAE-AIMaP tutorial (MI lecture note : Kyushu University ; vol. 84)

Advanced automotive control and mathematics : SICE-JSAE-AIMaP tutorial (MI lecture note : Kyushu University ; vol. 84)
紙図書
editors: Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji YasuiInstitute of Mathematics for Industry, Kyushu University2021.12<M18-D60>
国立国会図書館
  • 著者標目（識別子）00942107 001135175 031980499 031980530 031980554...

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
紙図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
国立国会図書館
  • 著者標目（識別子）001135175 00738964 001117071

代数・論理・幾何と情報科学 : 理論から実世界への展開 (マス・フォア・インダストリ研究 ; no. 17)

代数・論理・幾何と情報科学 : 理論から実世界への展開 (マス・フォア・インダストリ研究 ; no. 17)
紙図書
河村彰星, 津曲紀宏, 西澤弘毅, 溝口佳寛 編九州大学マス・フォア・インダストリ研究所2020.2<MA61-M4>
国立国会図書館全国の図書館
  • 著者標目（識別子）001346165 001346166 001297199 001135175 01242190 00260072

Hakata Workshop 2014 (Discrete mathematics and its applications) (MI lecture note : Kyushu University ; vol. 56)

Hakata Workshop 2014 (Discrete mathematics and its applications) (MI lecture note : Kyushu University ; vol. 56)
紙図書
editors: Yoshihiro Mizoguchi, Hayato Waki, Takafumi Shibuta, Tetsuji Taniguchi, Osamu Shimabukuro, Makoto Tagami, Hirotake Kurihara, Shuya Chiba九州大学マス・フォア・インダストリ研究所2014.3<MA41-L27>
国立国会図書館
  • 著者標目（識別子）001135175 001135183 001171802

Study Group Workshop 2013数学協働プログラムlecture&report (MI lecture note : Kyushu University ; vol. 55)

Study Group Workshop 2013数学協働プログラムlecture&report (MI lecture note : Kyushu University ; vol. 55)
紙図書
栄伸一郎, 溝口佳寛, 脇隼人, 渋田敬史 編九州大学マス・フォア・インダストリ研究所2014.2<MA21-L99>
国立国会図書館
  • 著者標目（識別子）00869640 001135175 001135183

博多ワークショップ「組み合わせとその応用」 : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 48)

博多ワークショップ「組み合わせとその応用」 : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 48)
紙図書
溝口佳寛, 脇隼人, 平坂貢, 谷口哲至, 島袋修 編九州大学マス・フォア・インダストリ研究所2013.3<MA41-L9>
国立国会図書館
  • 著者標目（識別子）001135175 001135183 001135185

Graph transformations using relational calculus

Graph transformations using relational calculus
紙デジタル博士論文障害者向け資料あり
溝口佳寛 [著]<UT51-92-T285>
インターネットで読める国立国会図書館
  • 著者標目（識別子）001135175

検索結果は以上です。

RSS