Jump to main content

yr 〜
yr

Search results 3

並列プログラムに現れる非同期型通信のプロセス代数による解析・検証

並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
Paper図書
大塚寛, 愛媛大学 [著][大塚寛]2002-2004<Y151-H14540121>
National Diet Library
  • Subject Headingモデル検証 / 協調型言語 / プロセス代数 / クリプケ構造 / 失...

日・韓の科学技術活動の計量的比較-科学技術政策への政策科学的接近を目指して

日・韓の科学技術活動の計量的比較-科学技術政策への政策科学的接近を目指して
Paper図書
丹羽, 冨士雄, 政策研究大学院大学1997-1998<Y151-H09680416>
National Diet Library
  • Subject Heading科学技術 発展サイクル モデル検証 日本 製造 技術開発 科学発見 科学技術基盤

がん患者家族の緩和ケア主体の時期の療養場所選択に関する構造モデルの開発と検証

がん患者家族の緩和ケア主体の時期の療養場所選択に関する構造モデルの開発と検証
Digital博士論文
田村, 南海子
Other Libraries in Japan
  • Subject Headingがん患者家族 緩和ケア主体の時期 療養場所選択 モデル検証

Reached to the end of result.

RSS