年 〜
年

検索結果 62 件

インターネット・テクノロジー・ワークショップ論文集 第3回 (研究会資料シリーズ ; no.20)

インターネット・テクノロジー・ワークショップ論文集 第3回 (研究会資料シリーズ ; no.20)
紙図書
小野康一, 砂原秀樹 編日本ソフトウエア科学会[2000]<ND633-H506>
国立国会図書館
  • 著者標目小野, 康一 砂原, 秀樹, 1960-

インターネット・テクノロジー・ワークショップ論文集 第4回 (研究会資料シリーズ ; no.21)

インターネット・テクノロジー・ワークショップ論文集 第4回 (研究会資料シリーズ ; no.21)
紙図書
小野康一, 砂原秀樹 編日本ソフトウエア科学会[2001]<ND633-H507>
国立国会図書館
  • 著者標目小野, 康一 砂原, 秀樹, 1960-

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2006

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2006
紙図書
満田成紀, 羽生田栄一 編近代科学社2006.9<M159-H1664>
国立国会図書館全国の図書館

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
紙図書
近代科学社2012.12<M159-L20>
国立国会図書館全国の図書館
  • 内容細目...索のためのモデル駆動開発手法 小野 康一／ほか著 デバッグ支援ツールのための実行ログ生成ツール 星 ...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)
紙図書
沢田篤史, 丸山勝久 編近代科学社2006.11<M159-H1697>
国立国会図書館全国の図書館

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)
紙図書
岸知二, 野田夏子 編近代科学社2007.11<M159-H2006>
国立国会図書館全国の図書館

ソフトウェア工学の基礎 21 (レクチャーノート/ソフトウェア学 ; 40)

ソフトウェア工学の基礎 21 (レクチャーノート/ソフトウェア学 ; 40)
紙図書
近代科学社2014.12<M159-L585>
国立国会図書館全国の図書館

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
紙図書
近代科学社2013.11<M159-L297>
国立国会図書館全国の図書館

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
紙雑誌
電子情報通信学会1987-2020<Z16-940>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
紙雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

地方財務

地方財務
紙デジタル雑誌
ぎょうせい 編ぎょうせい[19--]-<Z3-442>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 : 論文誌ジャーナル

情報処理学会論文誌 : 論文誌ジャーナル
紙記録メディア雑誌電子資料
情報処理学会2008-2013<YH247-743>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
紙図書
門田暁人, 上野秀剛 編近代科学社2011.11<M159-J1472>
国立国会図書館全国の図書館
  • 内容細目...時間オートマトンへの変換手法 小野 康一／ほか著 モデル検査のためのオブジェクト制約言語を用いた外部...

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
紙図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
国立国会図書館全国の図書館
  • 内容細目...ツールの試作 磯部 祥尚／著 小野 康一／ほか著 岩間 太／著 青木 善貴／著 小飼 敬／ほか著 張...

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
紙雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
紙図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
国立国会図書館全国の図書館
  • 内容細目...いたソフトウェア信頼性の分析 小野 康一／ほか著 FeliCa ICチップ開発における仕様記述フレー...

情報処理学会研究報告

情報処理学会研究報告
紙雑誌
情報処理学会[1985]-2009<Z14-1121>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
紙雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Bulletin of the Centre for Informatics,Waseda University

Bulletin of the Centre for Informatics,Waseda University
紙デジタル雑誌
早稲田大学情報科学研究教育センター [編]早稲田大学情報科学研究教育センター1985-1997<Z14-1111>
インターネットで読める国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌

情報処理学会論文誌
紙雑誌
情報処理学会1979-2008<Z14-741>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •