国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(3)
2010年代
(6)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(10)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(10)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 10 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Performance evaluation and benchmarking : 12th TPC technology conference, TPCTC 2020 : Tokyo, Japan, August 31, 2020 : revised selected papers : Aug 2020, Tokyo, Japan. (Lecture Notes in Computer Science ; 12752)
Performance evaluation and benchmarking : 12th TPC technology conference, TPCTC 2020 : Tokyo, Japan, August 31, 2020 : revised selected papers : Aug 2020, Tokyo, Japan. (Lecture Notes in Computer Science ; 12752)
紙
図書
Springer
[2021]
<M17-24-15>
国立国会図書館
DDC
004.24
Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
紙
図書
Springer
[2015]
<M17-16-504>
国立国会図書館
DDC
004.24
Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
紙
図書
Springer
c2013.
<M17-14-137>
国立国会図書館
DDC
004.24
Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
紙
図書
Springer
c2012.
<M17-13-561>
国立国会図書館
DDC
004.24
Performance evaluation, measurement and characterization of complex systems : second TPC technology conference, TPCTC 2010 : Singapore, September 13-17, 2010 : revised selected papers : 2nd TPC technology conference on performance evaluation and benchmarking : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6417)
Performance evaluation, measurement and characterization of complex systems : second TPC technology conference, TPCTC 2010 : Singapore, September 13-17, 2010 : revised selected papers : 2nd TPC technology conference on performance evaluation and benchmarking : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6417)
紙
図書
Springer
c2011.
<M17-13-56>
国立国会図書館
DDC
004.24
Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
紙
図書
Springer
c2011.
<M17-11-2041>
国立国会図書館
DDC
004.24
Computer performance engineering : 8th European performance engineering workshop, EPEW 2011 : Borrowdale, UK, October 12-13, 2011 : proceedings : Oct 2011, Borrowdale, UK. (Lecture Notes in Computer Science ; 6977)
Computer performance engineering : 8th European performance engineering workshop, EPEW 2011 : Borrowdale, UK, October 12-13, 2011 : proceedings : Oct 2011, Borrowdale, UK. (Lecture Notes in Computer Science ; 6977)
紙
図書
Springer
c2011.
<M17-12-1322>
国立国会図書館
DDC
004.24
Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)
Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)
紙
図書
Springer
c2008.
<M17-08-939>
国立国会図書館
DDC
004.24
Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)
Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)
紙
図書
Springer
c2007.
<M17-07-1191>
国立国会図書館
DDC
004.24
Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
紙
図書
Springer
c2006.
<M17-07-171>
国立国会図書館
DDC
004.24
検索結果は以上です。
書誌情報を一括出力