国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(2)
1970年代
(14)
1980年代
(19)
1990年代
(25)
2000年代
(25)
2010年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(17)
雑誌
(67)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(34)
紙
(53)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 85 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
ハードウェアの高位設計・検証支援システム
ハードウェアの高位設計・検証支援システム
紙
図書
谷口健一, 大阪大学 [著]
[谷口健一]
2001-2004
<Y151-H13558028>
国立国会図書館
著者標目
谷口, 健一
大阪大学
オブジェクト指向型ソフトウェアの仕様記述と検証及び実行プログラム導出
オブジェクト指向型ソフトウェアの仕様記述と検証及び実行プログラム導出
紙
図書
谷口健一, 大阪大学 [著]
[谷口健一]
2001-2004
<Y151-H13680414>
国立国会図書館
著者標目
谷口, 健一
大阪大学
並行動作順序回路システムの設計と検証に関する研究
並行動作順序回路システムの設計と検証に関する研究
紙
図書
谷口, 健一
, 大阪大学
1999-2000
<Y151-H11680358>
国立国会図書館
著者標目
谷口, 健一
分散システム記述言語のコンパイラ
分散システム記述言語のコンパイラ
紙
図書
谷口, 健一
, 大阪大学
1998-2000
<Y151-H10558046>
国立国会図書館
著者標目
谷口, 健一
通信プロトコルの形式仕様からのハードウエア回路合成
通信プロトコルの形式仕様からのハードウエア回路合成
紙
図書
谷口, 健一
, 大阪大学
1997-1998
<Y151-H09680339>
国立国会図書館
著者標目
谷口, 健一
ASIC設計の上流工程設計支援システムの開発
ASIC設計の上流工程設計支援システムの開発
紙
図書
谷口, 健一
, 大阪大学
1993-1994
<Y151-H05558031>
国立国会図書館
著者標目
谷口, 健一
オブジェクト指向型ソフトウェアの使用記述と検証及び実行プログラム導出
オブジェクト指向型ソフトウェアの使用記述と検証及び実行プログラム導出
紙
図書
研究代表者 谷口健一
[谷口健一]
2005.3
全国の図書館
著者標目
谷口, 健一
ハードウェアの高位設計・検証支援システム
ハードウェアの高位設計・検証支援システム
紙
図書
研究代表者 谷口健一
[谷口健一]
2005.3
全国の図書館
著者標目
谷口, 健一
並行動作順序回路の設計と検証に関する研究
並行動作順序回路の設計と検証に関する研究
紙
図書
研究代表者 谷口健一
[谷口健一]
2001.3
全国の図書館
著者標目
谷口, 健一
分散システム記述言語のコンパイラ
分散システム記述言語のコンパイラ
紙
図書
研究代表者 谷口健一
[谷口健一]
2001.3
全国の図書館
著者標目
谷口, 健一
計算機科学基礎理論とその応用
計算機科学基礎理論とその応用
紙
図書
京都大学数理解析研究所
2005.4
全国の図書館
著者標目
京都大学数理解析研究所
谷口, 健一
通信プロトコルの形式仕様からのハードウェア回路合成
通信プロトコルの形式仕様からのハードウェア回路合成
紙
図書
研究代表者 谷口健一
[谷口健一]
1999.3
全国の図書館
著者標目
谷口, 健一
人工生命による遺伝子制御ネットワークの構築
人工生命による遺伝子制御ネットワークの構築
紙
図書
研究代表者 松田秀雄
[谷口健一]
2001.3
全国の図書館
著者標目
谷口, 健一
ASIC設計の上流工程設計支援システムの開発
ASIC設計の上流工程設計支援システムの開発
紙
図書
研究代表者 谷口健一
大阪大学基礎工学部
1995.3
全国の図書館
著者標目
谷口, 健一
形式言語の認識と文法の簡単化に関する研究
形式言語の認識と文法の簡単化に関する研究
紙
デジタル
博士論文
谷口健一 [著]
<UT51-45-M394>
インターネットで読める
国立国会図書館
全国の図書館
著者標目
谷口, 健一
クリーンエネルギー
クリーンエネルギー
紙
デジタル
雑誌
クリーンエネルギー編集委員会 編
日本工業出版
1992-
<Z14-1992>
国立国会図書館
全国の図書館
新線路
新線路
紙
デジタル
雑誌
鉄道現業社
1947-
<Z16-477>
国立国会図書館
全国の図書館
日本鉄道施設協会誌
日本鉄道施設協会誌
紙
デジタル
雑誌
日本鉄道施設協会
1987-
<Z16-500>
インターネットで読める
国立国会図書館
全国の図書館
数理科学
数理科学
紙
デジタル
雑誌
サイエンス社
<Z15-30>
国立国会図書館
全国の図書館
社会教育
社会教育
紙
デジタル
雑誌
日本青年館「社会教育」編集部
1950-
<Z7-288>
インターネットで読める
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力