増原英彦, 東京大学情報教育連絡会 著 東京大学出版会 2010.6 <M121-J158>
National Diet Library Other Libraries in Japan
増原, 英彦, Masuhara, Hidehiko 2015-06 Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY'15).
Other Libraries in Japan
Paper Digital 博士論文 障害者向け資料あり 増原英彦 [著] <UT51-2000-B314>
Available online National Diet Library
小林, 直樹, Kobayashi, Naoki, 増原, 英彦, Masuhara, Hidehiko, 柴山, 悦哉, SHIBAYAMA, ETSUYA, Taura, Kenjiro, 松岡, 聡, MATSUOKA, SATOSHI, 米澤, 明憲, Yonezawa, Akinori Springer-Verlag 2014-09 Lecture notes in computer science, LNCS 8665
Other Libraries in Japan
研究代表者 川合慧 [川合慧] 2007.2
Other Libraries in Japan
海谷治彦, 山本修一郎 編 近代科学社 2007.9 <M159-H1927>
National Diet Library Other Libraries in Japan
Contents ...アスペクト指向プログラミング 増原 英彦 ／著 セキュリティ要求分析 田原 康之／ほか著 ゴール思考で... 日本ソフトウェア科学会 編 日本ソフトウェア科学会 1984- <Z14-1033>
National Diet Library Other Libraries in Japan
Volumes of this title 野呂昌満, 山本晋一郎 編 近代科学社 2004.11 <M159-H961>
National Diet Library Other Libraries in Japan
Contents ...プログラミング言語のモデル化 増原 英彦 ／著 通信プロセスモデルに基づくソフトウェアモデル化 結縁 ... 情報処理学会 1960- <Z14-352>
National Diet Library Other Libraries in Japan
Volumes of this title 旭硝子財団 2005- <YH247-410>
National Diet Library Other Libraries in Japan
Volumes of this title 日本ソフトウェア科学会 編 日本ソフトウェア科学会 1984-2019 <Z14-1245>
National Diet Library Other Libraries in Japan
Volumes of this title 情報処理学会 1998-2008 <Z74-C192>
National Diet Library
Volumes of this title 上原三八, 鰺坂恒夫 編 朝倉書店 1998.9 <M159-G2183>
National Diet Library Other Libraries in Japan
Contents ...ェクト指向プログラミング技術 増原 英彦 ／著 ＯＯ技術者のための形式的... ... 幹夫／著 山本 里枝子／著 増原 英彦 ／著 OO技術者のための形式的... ...ェクト指向プログラミング技術 増原 英彦 ＯＯ技術者のための形式的仕様記述入門 田口 研治 モバイル... 情報処理学会 [1985]-2009 <Z14-1121>
National Diet Library Other Libraries in Japan
Volumes of this title 情報処理学会 1979-2008 <Z14-741>
National Diet Library Other Libraries in Japan
Volumes of this title 情報処理学会 2008-2013 <YH247-812>
National Diet Library Other Libraries in Japan
Volumes of this title