年 〜
年

検索結果 5 件

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
紙図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>
国立国会図書館
  • 件名ソフトウェア--会議録

ディペンダブルシステムワークショップ : 論文集 第8回 (算譜科学研究速報 ; AIST-PS-2010-6)

ディペンダブルシステムワークショップ : 論文集 第8回 (算譜科学研究速報 ; AIST-PS-2010-6)
紙図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2010.9<M159-J1198>
国立国会図書館
  • 件名ソフトウェア--会議録

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)
紙図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2010.2<M159-J922>
国立国会図書館
  • 件名ソフトウェア--会議録

ディペンダブルシステムワークショップ : 論文集 第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)

ディペンダブルシステムワークショップ : 論文集 第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)
紙図書
[日本ソフトウェア科学会ディペンダブルシステム研究会][2009]<M159-J626>
国立国会図書館
  • 件名ソフトウェア--会議録

アルゴリズム特許の現状とその問題点シンポジウム論文集 (情報処理学会シンポジウムシリーズ ; v.98 no.6)

アルゴリズム特許の現状とその問題点シンポジウム論文集 (情報処理学会シンポジウムシリーズ ; v.98 no.6)
紙図書
情報処理学会1998.3<A411-G102>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）特許--ソフトウェア--会議録 算法 Algorithms

検索結果は以上です。