国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
~1940年代
(1)
1950年代
(1)
1960年代
(11)
1970年代
(10)
1980年代
(23)
1990年代
(35)
2000年代
(40)
2010年代
(31)
2020年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(34)
雑誌
(115)
新聞
和古書・漢籍
博士論文
(3)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(1)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(2)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(59)
紙
(101)
マイクロ
(1)
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 156 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
新規抗癌剤Trifluridineの消化管吸収及び毒性発現への輸送体の関与
新規抗癌剤Trifluridineの消化管吸収及び毒性発現への輸送体の関与
デジタル
博士論文
障害者向け資料あり
髙橋, 孝一
, Takahashi, Koichi
2017-03-22
博士論文本文Full
国立国会図書館
著者標目
髙橋, 孝一
Takahashi, Koichi
Abstraction and search in verification by state exploration
Abstraction and search in verification by state exploration
紙
博士論文
高橋孝一 [著]
[高橋孝一]
2002
<UT51-2003-D251>
国立国会図書館
著者標目
高橋, 孝一
旅するペーパークラフト : 切って折って、紙でめぐる世界の名建築
旅するペーパークラフト : 切って折って、紙でめぐる世界の名建築
紙
図書
高橋孝一 著
ビー・エヌ・エヌ新社
2010.6
<Y78-J5621>
国立国会図書館
全国の図書館
著者標目
高橋, 孝一
, 1940-
びんごばあ : 備後福山地方の方言辞典 改訂第13版
びんごばあ : 備後福山地方の方言辞典 改訂第13版
紙
図書
高橋孝一著
キングパーツ
2008.6
全国の図書館
著者標目
高橋, 孝一
業務フロー図の検証
業務フロー図の検証
デジタル
文書・図像類
高木, 理, 清野, 貴博, 竹内, 泉, 和泉, 憲明,
高橋, 孝一
2007-09-06
p.1-56
全国の図書館
著者標目
高木, 理 清野, 貴博 竹内, 泉 和泉, 憲明
高橋, 孝一
グラフからマルチセットへの時相論理を用いた抽象化
グラフからマルチセットへの時相論理を用いた抽象化
紙
図書
研究代表者 萩谷昌己
萩谷昌己
2008.5
全国の図書館
著者標目
萩谷, 昌己
高橋, 孝一
自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について(MLATとAgdaの接合)
自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について(MLATとAgdaの接合)
デジタル
文書・図像類
湯浅, 能史, 武山, 誠, 関澤, 俊弦, 田辺, 良則,
高橋, 孝一
2006-11-30
p.1-23
全国の図書館
著者標目
湯浅, 能史 武山, 誠 関澤, 俊弦 田辺, 良則
高橋, 孝一
人口減少時代の保険業 (慶應義塾保険学会叢書)
人口減少時代の保険業 (慶應義塾保険学会叢書)
紙
図書
田畑康人, 岡村国和 編著
慶應義塾大学出版会
2011.5
<DF411-J86>
国立国会図書館
全国の図書館
内容細目
...マネジメントビジネスの新展開
高橋 孝一
/著 保険業界の再編と経営戦略 根本 篤司/著 損害保険会社...
一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)
一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)
紙
図書
高橋孝一, 田辺良則, 関澤俊弦 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編
産業技術総合研究所関西センター尼崎事業所システム検証研究センター
2005.8
<Y251-H917>
国立国会図書館
びんご弁じゃったら 続 (備後ふるさと文庫)
びんご弁じゃったら 続 (備後ふるさと文庫)
紙
図書
高橋孝一 著
びんご出版
1998.12
<KF127-G1>
国立国会図書館
全国の図書館
著者標目
高橋, 孝一
, 1932- 実業家
時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
紙
図書
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編
産業技術総合研究所関西センター尼崎事業所システム検証研究センター
2005.9
<Y251-H928>
国立国会図書館
お山のこんぴらさん : 芦田川水系の常夜燈
お山のこんぴらさん : 芦田川水系の常夜燈
紙
図書
高橋孝一 編著
キングパーツ
1997.12
<KB71-G200>
国立国会図書館
全国の図書館
著者標目
高橋, 孝一
, 1932- 実業家
抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)
抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)
紙
図書
産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ 編, 田辺良則, 高井利憲, 高橋孝一 [著]
産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ
2003.12
<Y251-H242>
国立国会図書館
続・びんご弁じゃったら
続・びんご弁じゃったら
紙
図書
高橋孝一著
びんご出版
1998.12
全国の図書館
著者標目
高橋, 孝一
びんごばぁ : 備後福山地方の方言辞典 改訂第11版
びんごばぁ : 備後福山地方の方言辞典 改訂第11版
紙
図書
高橋孝一著
キングパーツ
1998.8
全国の図書館
著者標目
高橋, 孝一
抽象モデル検査とその応用 = Abstract model checking and its appllications
抽象モデル検査とその応用 = Abstract model checking and its appllications
紙
図書
研究代表者 萩谷昌己
萩谷昌己
2002.3
全国の図書館
著者標目
萩谷, 昌己 玉井, 哲雄
高橋, 孝一
山本, 光晴
びんご弁じゃったら (備後ふるさと文庫)
びんご弁じゃったら (備後ふるさと文庫)
紙
図書
高橋孝一 著
備後出版情報センター
1994.11
<KF127-G1>
国立国会図書館
全国の図書館
著者標目
高橋, 孝一
, 1932- 実業家
びんご弁じゃったら 〔正〕 (備後ふるさと文庫)
びんご弁じゃったら 〔正〕 (備後ふるさと文庫)
紙
図書
高橋孝一 著
備後出版情報センター
1994
全国の図書館
著者標目
高橋, 孝一
ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
紙
図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編
産業技術総合研究所組込みシステム技術連携研究体
2012.1
<M159-J1528>
国立国会図書館
アジアの体熱 (五柳叢書 ; 11)
アジアの体熱 (五柳叢書 ; 11)
紙
デジタル
図書
高橋孝一 著
五柳書院
1989.3
<KC726-E372>
国立国会図書館
全国の図書館
著者標目
高橋, 孝一
, 1947-
もっと見る(21件目~)
書誌情報を一括出力