Jump to main content

yr 〜
yr

Search results 5

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

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

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

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

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

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

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

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

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

アルゴリズム特許の現状とその問題点シンポジウム論文集 (情報処理学会シンポジウムシリーズ ; v.98 no.6)
PaperDigital図書障害者向け資料あり
情報処理学会1998.3<A411-G102>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）特許--ソフトウェア--会議録 算法 Algorithms

Reached to the end of result.

RSS