本文に飛ぶ
国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(7)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(7)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(7)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 7 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Principles of model checking / Christel Baier, Joost-Pieter Katoen.
紙
図書
The MIT Press
[2008?]
<M159-B76>
国立国会図書館
著者標目
Baier, Christel.
Katoen, Joost-Pieter.
International workshop on synthesis and analysis of component connectors : SYANCO '07 : at 6th ESEC/FSE : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
International workshop on synthesis and analysis of component connectors : SYANCO '07 : at 6th ESEC/FSE : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
紙
図書
Association for Computing Machinery
c2007.
<M17-09-1374>
国立国会図書館
著者標目
Arbab, F. (Farhad)
Baier, Christel.
International Workshop on Syn...
CONCUR 2006 -- concurrency theory : 17th international conference, CONCUR 2006 : Bonn, Germany, August 27-30, 2006 : proceedings. : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4137)
CONCUR 2006 -- concurrency theory : 17th international conference, CONCUR 2006 : Bonn, Germany, August 27-30, 2006 : proceedings. : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4137)
紙
図書
Springer
c2006.
<M17-07-166>
国立国会図書館
著者標目
Baier, Christel.
Hermanns, Holger, 1967- Inter...
Principles of model checking : hbk
Principles of model checking : hbk
紙
図書
Christel Baier, Joost-Pieter Katoen
MIT Press
c2008
全国の図書館
Principles of model checking
Principles of model checking
紙
図書
Christel Baier, Joost-Pieter Katoen
MIT Press
[2008]
全国の図書館
CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings
CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings
紙
図書
Christel Baier, Holger Hermanns (eds.)
Springer
c2006
全国の図書館
Validation of stochastic systems : a guide to current research
Validation of stochastic systems : a guide to current research
紙
図書
Christel Baier ... [et al.] (eds.)
Springer
c2004
全国の図書館
検索結果は以上です。
書誌情報を一括出力
RSS