国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(1)
1980年代
(2)
1990年代
(3)
2000年代
(3)
2010年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(13)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(13)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 13 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Still life : killing time
Still life : killing time
紙
図書
Edmund Clark ; [foreword by Simon Norfolk]
Dewi Lewis
2007
全国の図書館
著者標目
Clark, Edmund
Norfolk, Simon,
Handbook of model checking
Handbook of model checking
紙
図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.
Springer
[2018]
<M159-B167>
国立国会図書館
全国の図書館
Model checking 2nd ed
Model checking 2nd ed
紙
図書
Edmund M Clarke, Jr. ... [et al.]
The MIT Press
c2018
全国の図書館
Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)
Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)
紙
図書
IOS Press
c2006.
<M17-09-557>
国立国会図書館
Negative publicity : artefacts of extraordinary rendition
Negative publicity : artefacts of extraordinary rendition
紙
図書
Crofton Black, Edmund Clark ; [additional text by Eyal Weizman]
Aperture Foundation
c2015
全国の図書館
著者標目
Black, Crofton
Clark, Edmund
(Photographer) Weizman, Eyal
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk
紙
図書
Edmund M. Clarke and Andrei Voronkov (Eds.)
Springer
c2010
全国の図書館
Software reliability methods
Software reliability methods
紙
図書
Doron A. Peled ; foreword by Edmund M. Clarke
Springer
c2001
全国の図書館
Model checking
Model checking
紙
図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
MIT Press
c1999
全国の図書館
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)
紙
図書
Springer-Verlag
1984.
<M15-A1974>
国立国会図書館
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
紙
図書
E.M. Clarke, R.P. Kurshan, (eds.)
Springer-Verlag
c1991
全国の図書館
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
紙
図書
E.M. Clarke, R.P. Kurshan, editors
American Mathematical Society
c1991
全国の図書館
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us
紙
図書
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag
1984
全国の図書館
Completeness and incompleteness theorems for Hoare-like axiom systems
Completeness and incompleteness theorems for Hoare-like axiom systems
紙
図書
by Edmund Nelson Clarke, Jr.
University Microfilms International
1976
全国の図書館
検索結果は以上です。
書誌情報を一括出力