東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #東野 輝夫)
該当件数:3件
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 / 磯部祥尚著
東京 : 近代科学社 , 2012.12. - (トップエスイー実践講座 ; 6)
図書
アサーションベース設計 / Harry D. Foster, Adam C. Krolnik, David J. Lacey著 ; 後藤謙治 [ほか] 訳
東京 : 丸善 , 2004.9
コンピュータネットワーク / アンドリュー・S・タネンバウム, デイビッド・J・ウエザロール著 ; 水野忠則 [ほか] 訳
第5版. - [東京] : 日経BP社. - 東京 : 日経BPマーケティング (発売) , 2013.9