Jump to main content

yr 〜
yr

Search results 92

Satisfiability judgment of modal logics and their application to verification problems

Satisfiability judgment of modal logics and their application to verification problems
Paper博士論文
Yoshinori Tanabe [著][Yoshinori Tanabe][2008]<UT51-2008-S564>
National Diet Library
  • Author Heading田辺, 良則

ソフトウェアモデル検査における活性検証

ソフトウェアモデル検査における活性検証
Digital規格・テクニカルリポート類
田辺, 良則2019-03-31
Other Libraries in Japan

定理証明器によるモジュラーなソフトウェア検証

定理証明器によるモジュラーなソフトウェア検証
Digital規格・テクニカルリポート類
田辺, 良則2016-03-31
Other Libraries in Japan

CoqからScalaへのコード抽出とその妥当性

CoqからScalaへのコード抽出とその妥当性
Digital規格・テクニカルリポート類
田辺, 良則九州大学マス・フォア・インダストリ研究所2015-03-06MI lecture note series61p.81-87
Available onlineOther Libraries in Japan

津軽に生きて : 田辺良則遺稿集

津軽に生きて : 田辺良則遺稿集
Paper図書
田辺良則著田辺良則先生を語り偲ぶ会2010.5
Other Libraries in Japan
  • Author Heading田辺, 良則

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）
Digitalその他
湯浅, 能史, 武山, 誠, 関澤, 俊弦, 田辺, 良則, 高橋, 孝一2006-11-30p.1-23
Other Libraries in Japan
  • Author Heading湯浅, 能史 武山, 誠 関澤, 俊弦 田辺, 良則 高橋, 孝一

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)
Paper図書
高橋孝一, 田辺良則, 関澤俊弦 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.8<Y251-H917>
National Diet Library

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
Paper図書
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.9<Y251-H928>
National Diet Library

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)
Paper図書
産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ 編, 田辺良則, 高井利憲, 高橋孝一 [著]産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ2003.12<Y251-H242>
National Diet Library

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

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan

農業経済学概論 第8版

農業経済学概論 第8版
Paper図書
崎浦誠治,田辺良則共編養賢堂1993.3
Other Libraries in Japan
  • Author Heading崎浦, 誠治 田辺, 良則

蒼空に梢つらねて : イールズ闘争60周年・安保闘争50周年の年に北大の自由・自治の歴史を考える

蒼空に梢つらねて : イールズ闘争60周年・安保闘争50周年の年に北大の自由・自治の歴史を考える
Paper図書
「北大5.16集会報告集」編集委員会 編柏艪舎2011.2<FD37-J150>
National Diet LibraryOther Libraries in Japan

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

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

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

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.12<M159-J554>
National Diet Library

農業経済学概論

農業経済学概論
Paper図書
崎浦誠治 共編 ; 田辺良則 共編養賢堂1989
Other Libraries in Japan
  • Author Heading崎浦, 誠治 田辺, 良則

鶴見大学紀要 第4部 人文・社会・自然科学編

鶴見大学紀要 第4部 人文・社会・自然科学編
Paper雑誌雑誌タイトル
鶴見大学1989-<Z22-1161>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

農業経済学概論

農業経済学概論
Paper図書
崎浦誠治 ; 田辺良則 共編養賢堂１９８５
Other Libraries in Japan
  • Author Heading崎浦, 誠治 田辺, 良則

農業経済学概論

農業経済学概論
PaperDigital図書障害者向け資料あり
崎浦誠治, 田辺良則 共編養賢堂1978.11<DM1-95>
National Diet LibraryOther Libraries in Japan
  • Author Heading崎浦, 誠治, 1920- 田辺, 良則, 1926-

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

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
Paper図書
近代科学社2012.12<M159-L20>
National Diet LibraryOther Libraries in Japan

商業的農業の展開構造 : 馬鈴薯澱粉の生産と流通の構造と農業

商業的農業の展開構造 : 馬鈴薯澱粉の生産と流通の構造と農業
Paper博士論文
田辺良則 [著]<UT51-55-M2175>
National Diet Library
  • Author Heading田辺, 良則
RSS