Jump to main content

yr 〜
yr

Search results 158

新規抗癌剤Trifluridineの消化管吸収及び毒性発現への輸送体の関与

新規抗癌剤Trifluridineの消化管吸収及び毒性発現への輸送体の関与
Digital博士論文障害者向け資料あり
髙橋, 孝一, Takahashi, Koichi2017-03-22博士論文本文Full
National Diet Library
  • Author Heading髙橋, 孝一 Takahashi, Koichi

Abstraction and search in verification by state exploration

Abstraction and search in verification by state exploration
Paper博士論文
高橋孝一 [著][高橋孝一]2002<UT51-2003-D251>
National Diet Library
  • Author Heading高橋, 孝一

旅するペーパークラフト : 切って折って、紙でめぐる世界の名建築

旅するペーパークラフト : 切って折って、紙でめぐる世界の名建築
Paper図書
高橋孝一 著ビー・エヌ・エヌ新社2010.6<Y78-J5621>
National Diet LibraryOther Libraries in Japan
  • Author Heading高橋, 孝一, 1940-

びんごばあ : 備後福山地方の方言辞典 改訂第13版

びんごばあ : 備後福山地方の方言辞典 改訂第13版
Paper図書
高橋孝一著キングパーツ2008.6
Other Libraries in Japan
  • Author Heading高橋, 孝一

業務フロー図の検証

業務フロー図の検証
Digital文書・図像類
高木, 理, 清野, 貴博, 竹内, 泉, 和泉, 憲明, 高橋, 孝一2007-09-06p.1-56
Other Libraries in Japan
  • Author Heading高木, 理 清野, 貴博 竹内, 泉 和泉, 憲明 高橋, 孝一

グラフからマルチセットへの時相論理を用いた抽象化

グラフからマルチセットへの時相論理を用いた抽象化
Paper図書
研究代表者 萩谷昌己萩谷昌己2008.5
Other Libraries in Japan
  • Author Heading萩谷, 昌己 高橋, 孝一

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

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

人口減少時代の保険業 (慶應義塾保険学会叢書)

人口減少時代の保険業 (慶應義塾保険学会叢書)
Paper図書
田畑康人, 岡村国和 編著慶應義塾大学出版会2011.5<DF411-J86>
National Diet LibraryOther Libraries in Japan
  • Contents...マネジメントビジネスの新展開 高橋 孝一／著 保険業界の再編と経営戦略 根本 篤司／著 損害保険会社...

逃げた魚:ふる里に川あり

逃げた魚:ふる里に川あり
Paper図書
高橋 孝一[髙橋孝一][2003]
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

びんご弁じゃったら 続 (備後ふるさと文庫)

びんご弁じゃったら 続 (備後ふるさと文庫)
Paper図書
高橋孝一 著びんご出版1998.12<KF127-G1>
National Diet LibraryOther Libraries in Japan
  • Author Heading高橋, 孝一, 1932- 実業家

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

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

お山のこんぴらさん : 芦田川水系の常夜燈

お山のこんぴらさん : 芦田川水系の常夜燈
Paper図書
高橋孝一 編著キングパーツ1997.12<KB71-G200>
National Diet LibraryOther Libraries in Japan
  • Author Heading高橋, 孝一, 1932- 実業家

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

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

続・びんご弁じゃったら

続・びんご弁じゃったら
Paper図書
高橋孝一著びんご出版1998.12
Other Libraries in Japan
  • Author Heading高橋, 孝一

びんごばぁ : 備後福山地方の方言辞典 改訂第11版

びんごばぁ : 備後福山地方の方言辞典 改訂第11版
Paper図書
高橋孝一著キングパーツ1998.8
Other Libraries in Japan
  • Author Heading高橋, 孝一

抽象モデル検査とその応用 = Abstract model checking and its appllications

抽象モデル検査とその応用 = Abstract model checking and its appllications
Paper図書
研究代表者 萩谷昌己萩谷昌己2002.3
Other Libraries in Japan
  • Author Heading萩谷, 昌己 玉井, 哲雄 高橋, 孝一 山本, 光晴

びんご弁じゃったら (備後ふるさと文庫)

びんご弁じゃったら (備後ふるさと文庫)
Paper図書
高橋孝一 著備後出版情報センター1994.11<KF127-G1>
National Diet LibraryOther Libraries in Japan
  • Author Heading高橋, 孝一, 1932- 実業家

びんごばぁ : 備後福山地方の方言辞典 改訂

びんごばぁ : 備後福山地方の方言辞典 改訂
Paper図書
高橋孝一∥著キングパーツ2008.6
Other Libraries in Japan

びんご弁じゃったら 〔正〕 (備後ふるさと文庫)

びんご弁じゃったら 〔正〕 (備後ふるさと文庫)
Paper図書
高橋孝一 著備後出版情報センター１９９４
Other Libraries in Japan
  • Author Heading高橋, 孝一
RSS