国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(1)
2000年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(4)
雑誌
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(5)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 5 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Prozessalgebra und temporale Logik : angewandt zur Spezifikation und Analyse von komplexen Protokollen
Prozessalgebra und temporale Logik : angewandt zur Spezifikation und Analyse von komplexen Protokollen
紙
博士論文
Günter Karjoth.
Technische Hochschule Stuttgart
1987.
<M-DIGS-1461>
国立国会図書館
著者標目
Karjoth, Günter.
Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002 : proceedings
Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002 : proceedings
紙
図書
Dieter Gollmann, Günter Karjoth, Michael Waidner (eds.)
Springer
c2002
全国の図書館
2nd quality of protection workshop : QoP '06 : "security measurements and metrics" : held at the 13th ACM conference on computer and communications security : October 30, 2006 : Alexandria, Virginia, USA. : ACM CCS : Oct 2006, Alexandria, VA.
2nd quality of protection workshop : QoP '06 : "security measurements and metrics" : held at the 13th ACM conference on computer and communications security : October 30, 2006 : Alexandria, Virginia, USA. : ACM CCS : Oct 2006, Alexandria, VA.
紙
図書
Association for Computing Machinery
c2006.
<M17-07-2282>
国立国会図書館
QoP'07 : proceedings of the 2007 ACM workshop on quality of protection : Alexandria, Virginia, USA : October 29, 2007. : 3rd workshop on quality of protection : QoP 2007 : Oct 2007, Alexandria, VA.
QoP'07 : proceedings of the 2007 ACM workshop on quality of protection : Alexandria, Virginia, USA : October 29, 2007. : 3rd workshop on quality of protection : QoP 2007 : Oct 2007, Alexandria, VA.
紙
図書
Association for Computing Machinery
c2007.
<M17-08-2238>
国立国会図書館
Computer security -- ESORICS 2002 : 7th European symposium on research in computer security, Zurich, Switzerland, October 14-16, 2002 : proceedings. : Oct 2002, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2502)
Computer security -- ESORICS 2002 : 7th European symposium on research in computer security, Zurich, Switzerland, October 14-16, 2002 : proceedings. : Oct 2002, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2502)
紙
図書
Springer
2002.
<M17-03-182>
国立国会図書館
検索結果は以上です。
書誌情報を一括出力