本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1990年代
(9)
2000年代
(57)
2010年代
(28)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（5）
雑誌
（85）
新聞
和古書・漢籍
博士論文
（3）
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
（1）
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
（1）
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（4）
紙
（91）
マイクロ
記録メディア
（1）
すべて解除
絞り込み条件
絞り込み条件
検索結果 94 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
アサーションベース設計
アサーションベース設計
紙
図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳
丸善
2004.9
<ND386-H98>
国立国会図書館
全国の図書館
Spectral analysis of heart rate, arterial pressure, and muscle sympathetic nerve activity in normal humans
Spectral analysis of heart rate, arterial pressure, and muscle sympathetic nerve activity in normal humans
紙
デジタル
博士論文
障害者向け資料あり
中田明夫 [著]
<UT51-99-S188>
インターネットで読める
国立国会図書館
Symbolic bisimulation checking and decomposition of real-time service specifications
Symbolic bisimulation checking and decomposition of real-time service specifications
紙
デジタル
博士論文
障害者向け資料あり
中田明夫 [著]
<UT51-97-T338>
インターネットで読める
国立国会図書館
Spectral analysis of heart rate,arterial pressure,and muscle sympathetic nerve activity in normal humans
Spectral analysis of heart rate,arterial pressure,and muscle sympathetic nerve activity in normal humans
デジタル
文書・図像類
中田, 明夫
金沢大学
1999-07-01
博士学位論文要旨 論文内容の要旨および論文審査結果の要旨／金沢大学大学院医学研究科
平成11年7月
全国の図書館
組込みシステムシンポジウム2010論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2010 no.10)
組込みシステムシンポジウム2010論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2010 no.10)
紙
図書
情報処理学会
2010.10
<M154-J266>
国立国会図書館
電子情報通信学会論文誌 D 情報・システム
電子情報通信学会論文誌 D 情報・システム
紙
雑誌
雑誌タイトル
電子情報通信学会 編
電子情報通信学会情報・システムソサイエティ
2006-2014
<Z16-779>
国立国会図書館
全国の図書館
このタイトルの巻号
計測と制御 : journal of the Society of Instrument and Control Engineers
計測と制御 : journal of the Society of Instrument and Control Engineers
紙
雑誌
雑誌タイトル
計測自動制御学会
1962-
<Z14-106>
国立国会図書館
全国の図書館
このタイトルの巻号
富山県国保地域医療学会学会誌
富山県国保地域医療学会学会誌
紙
雑誌
雑誌タイトル
富山県国民健康保険団体連合会
[19--]-2011
<Z71-L713>
国立国会図書館
このタイトルの巻号
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
雑誌タイトル
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
このタイトルの巻号
数理解析研究所講究録
数理解析研究所講究録
紙
雑誌
雑誌タイトル
京都大学数理解析研究所
1964-
<Z43-1336>
国立国会図書館
全国の図書館
このタイトルの巻号
日本医療マネジメント学会雑誌
日本医療マネジメント学会雑誌
紙
雑誌
雑誌タイトル
日本医療マネジメント学会
2006-
<Z71-E17>
国立国会図書館
全国の図書館
このタイトルの巻号
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
紙
雑誌
雑誌タイトル
電子情報通信学会 編
電子情報通信学会情報・システムソサイエティ
1989-2005
<Z16-779>
国立国会図書館
全国の図書館
このタイトルの巻号
情報処理学会研究報告
情報処理学会研究報告
紙
雑誌
雑誌タイトル
情報処理学会
[1985]-2009
<Z14-1121>
国立国会図書館
全国の図書館
このタイトルの巻号
コンピュータソフトウェア
コンピュータソフトウェア
紙
雑誌
雑誌タイトル
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
国立国会図書館
全国の図書館
このタイトルの巻号
情報処理学会論文誌
情報処理学会論文誌
紙
雑誌
雑誌タイトル
情報処理学会
1979-2008
<Z14-741>
国立国会図書館
全国の図書館
このタイトルの巻号
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
紙
図書
鯵坂恒夫, 満田成紀 編
近代科学社
2003.11
<M159-H504>
国立国会図書館
全国の図書館
内容細目
... 実時間システムのモデル検査
中田 明夫
／著 組込みソフトウエア検証技術の実用化 渡辺 晴美／著 デ...
マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.99 no.18)
マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.99 no.18)
紙
図書
情報処理学会
1999.12
<ND631-G6>
国立国会図書館
全国の図書館
マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2003 no.19)
マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2003 no.19)
紙
図書
情報処理学会
2003.12
<ND633-H537>
国立国会図書館
情報処理学会研究報告
情報処理学会研究報告
記録メディア
雑誌
電子資料
雑誌タイトル
情報処理学会
2010-c2013
<YH267-101>
国立国会図書館
このタイトルの巻号
実時間サービス仕様の記号的双模倣性検証および分解
実時間サービス仕様の記号的双模倣性検証および分解
デジタル
博士論文
中田, 明夫
インターネットで読める
全国の図書館
もっと見る（21件目～）
書誌情報を一括出力
RSS