東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #今井 健男)
該当件数:2件
抽象によるソフトウェア設計 : Alloyではじめる形式手法 / Daniel Jackson著 ; 今井健男 [ほか] 共訳
東京 : オーム社 , 2011.7
図書
型システム入門 : プログラミング言語と型の理論 / Benjamin C.Pierce著 ; 遠藤侑介 [ほか] 共訳
東京 : オーム社 , 2013.3