国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(3)
2000年代
(4)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(10)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(10)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 10 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Handbook of real-time computing. Volume 1 (Springer Nature. reference)
Handbook of real-time computing. Volume 1 (Springer Nature. reference)
紙
図書
Yu-Chu Tian, David C. Levy, editors
Springer
[2022]
<M154-D45>
国立国会図書館
全国の図書館
DDC
004/.33
15th IEEE real-time and embedded technology and applications symposium : RTAS 2009 : proceedings : 13-16 April 2009 : San Francisco, CA. : cyber-physical systems week (CPSweek) : CPS forum : Apr 2009, San Francisco, CA.
15th IEEE real-time and embedded technology and applications symposium : RTAS 2009 : proceedings : 13-16 April 2009 : San Francisco, CA. : cyber-physical systems week (CPSweek) : CPS forum : Apr 2009, San Francisco, CA.
紙
図書
IEEE
c2009.
<M17-11-61>
国立国会図書館
DDC
004/.33
Real-time mobile multimedia services : 10th IFIP/IEEE international conference on management of multimedia and mobile networks and services, MMNS 2007 : San Jose, USA, October 31-November 2, 2007 : proceedings. : 3rd international week on management of networks and services (Manweek 2007) : Oct 2007, San Jose, CA. (Lecture Notes in Computer Science ; 4787)
Real-time mobile multimedia services : 10th IFIP/IEEE international conference on management of multimedia and mobile networks and services, MMNS 2007 : San Jose, USA, October 31-November 2, 2007 : proceedings. : 3rd international week on management of networks and services (Manweek 2007) : Oct 2007, San Jose, CA. (Lecture Notes in Computer Science ; 4787)
紙
図書
Springer
c2007.
<M17-08-1917>
国立国会図書館
DDC
004/.33
Artificial intelligence in real-time control (AIRTC-2000) : a proceedings volume from the 9th IFAC symposium, Budapest, Hungary, 2-4 October 2000. : Oct 2000, Budapest, Hungary. 1st ed.
Artificial intelligence in real-time control (AIRTC-2000) : a proceedings volume from the 9th IFAC symposium, Budapest, Hungary, 2-4 October 2000. : Oct 2000, Budapest, Hungary. 1st ed.
紙
図書
Pergamon
2001.
<M17-03-2110>
国立国会図書館
DDC
004/.33
Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001 : Glasgow, Scotland, UK, June 13-15, 2001 : revised papers. : Jun 2001, Glasgow, UK. (Lecture Notes in Computer Science ; 2220)
Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001 : Glasgow, Scotland, UK, June 13-15, 2001 : revised papers. : Jun 2001, Glasgow, UK. (Lecture Notes in Computer Science ; 2220)
紙
図書
Springer
c2001.
<M17-03-2368>
国立国会図書館
DDC
004/.33
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds. (Lecture notes in computer science)
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds. (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1994.
<M15-A9466>
国立国会図書館
DDC
004/.33
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed. (Lecture notes in computer science)
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed. (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1991.
<M15-A8056>
国立国会図書館
DDC
004/.33
Specification and compositional verification of real-time systems / J. Hooman. (Lecture notes in computer science)
Specification and compositional verification of real-time systems / J. Hooman. (Lecture notes in computer science)
紙
図書
Springer
c1991.
<M159-A121>
国立国会図書館
DDC
004/.33
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed. (Lecture notes in computer science)
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed. (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1988.
<M15-A4195>
国立国会図書館
DDC
004/.33
Proceedings / Real-Time Systems Symposium.
Proceedings / Real-Time Systems Symposium.
紙
図書
IEEE
1981-
<M154-230>
国立国会図書館
DDC
004/.33
検索結果は以上です。
書誌情報を一括出力