国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(2)
2000年代
(30)
2010年代
(28)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(60)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(60)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 60 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
2016 third international conference on trustworthy systems and their applications : (TSA 2016) : Wuhan, China : 18-22 September 2016 : Sep 2016, Wuhan, China.
2016 third international conference on trustworthy systems and their applications : (TSA 2016) : Wuhan, China : 18-22 September 2016 : Sep 2016, Wuhan, China.
紙
図書
IEEE
[2016]
<M17-18-1592>
国立国会図書館
2015 second international conference on trustworthy systems and their applications : (TSA 2015) : Hualien, Taiwan : 8-9 July 2015 : Jul 2015, Hualien, Taiwan.
2015 second international conference on trustworthy systems and their applications : (TSA 2015) : Hualien, Taiwan : 8-9 July 2015 : Jul 2015, Hualien, Taiwan.
紙
図書
IEEE
[2015]
<M17-17-1943>
国立国会図書館
2014 international conference on trustworthy systems and their applications : (TSA 2014) : Taichung, Taiwan : 9-10 June 2014 : 1st international conference on trustworthy systems and their applications : Jun 2014, Taichung, Taiwan.
2014 international conference on trustworthy systems and their applications : (TSA 2014) : Taichung, Taiwan : 9-10 June 2014 : 1st international conference on trustworthy systems and their applications : Jun 2014, Taichung, Taiwan.
紙
図書
IEEE
[2014]
<M17-16-2096>
国立国会図書館
2013 1st international workshop on assurance cases for software-intensive systems : (ASSURE 2013) : San Francisco, California, USA : 19 May 2013 : May 2013, San Francisco, CA.
2013 1st international workshop on assurance cases for software-intensive systems : (ASSURE 2013) : San Francisco, California, USA : 19 May 2013 : May 2013, San Francisco, CA.
紙
図書
IEEE
c2013.
<M17-14-1153>
国立国会図書館
Computer safety, reliability, and security : SAFECOMP 2015 workshops : ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR : Delft, the Netherlands, September 22, 2015 : proceedings : 34th international conference on computer safety, reliability, and security : Safecomp 2015 workshop : Sep 2015, Delft, the Netherlands. (Lecture Notes in Computer Science ; 9338)
Computer safety, reliability, and security : SAFECOMP 2015 workshops : ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR : Delft, the Netherlands, September 22, 2015 : proceedings : 34th international conference on computer safety, reliability, and security : Safecomp 2015 workshop : Sep 2015, Delft, the Netherlands. (Lecture Notes in Computer Science ; 9338)
紙
図書
Springer
[2015]
<M17-16-760>
国立国会図書館
Computer safety, reliability, and security : SAFECOMP 2012 workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28, 2012 : proceedings : ERCIM/EWICS/DECOS workshop : ERCIM/EWICS/cyberphysical systems workshop : ERCIM/EWICS cyberphysical systems workshop 2012 : international conference on computer safety, reliability and security : ERCIM : EWICS : Sep 2012, Magdeburg, Germany. (Lecture Notes in Computer Science ; 7613)
Computer safety, reliability, and security : SAFECOMP 2012 workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28, 2012 : proceedings : ERCIM/EWICS/DECOS workshop : ERCIM/EWICS/cyberphysical systems workshop : ERCIM/EWICS cyberphysical systems workshop 2012 : international conference on computer safety, reliability and security : ERCIM : EWICS : Sep 2012, Magdeburg, Germany. (Lecture Notes in Computer Science ; 7613)
紙
図書
Springer
c2012.
<M17-13-1092>
国立国会図書館
Computer safety, reliability, and security : 33rd international conference, SAFECOMP 2014 : Florence, Italy, September 10-12, 2014 : proceedings : SAFECOMP workshops : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8666)
Computer safety, reliability, and security : 33rd international conference, SAFECOMP 2014 : Florence, Italy, September 10-12, 2014 : proceedings : SAFECOMP workshops : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8666)
紙
図書
Springer
[2014]
<M17-15-1483>
国立国会図書館
2016 international symposium on system and software reliability : (ISSSR 2016) : Shanghai, China : 29-30 October 2016 : 2nd international symposium on system and software reliability : ISSSR conference : Oct 2016, Shanghai, China.
2016 international symposium on system and software reliability : (ISSSR 2016) : Shanghai, China : 29-30 October 2016 : 2nd international symposium on system and software reliability : ISSSR conference : Oct 2016, Shanghai, China.
紙
図書
IEEE
[2016]
<M17-18-1554>
国立国会図書館
ICPE'18 : proceedings of the 2018 ACM/SPEC international conference on performance engineering : April 9-13, 2018 : Berlin, Germany : ICPE 2018 : 9th ACM/SPEC international conference on performance engineering : Apr 2018, Berlin, Germany.
ICPE'18 : proceedings of the 2018 ACM/SPEC international conference on performance engineering : April 9-13, 2018 : Berlin, Germany : ICPE 2018 : 9th ACM/SPEC international conference on performance engineering : Apr 2018, Berlin, Germany.
紙
図書
The Association for Computing Machinery
[2018]
<M17-20-265>
国立国会図書館
2011 IEEE international symposium on performance analysis of systems and software : (ISPASS 2011) : Austin, Texas, USA : 10-12 April 2011 : Apr 2011, Austin, TX.
2011 IEEE international symposium on performance analysis of systems and software : (ISPASS 2011) : Austin, Texas, USA : 10-12 April 2011 : Apr 2011, Austin, TX.
紙
図書
IEEE
c2011.
<M17-12-1678>
国立国会図書館
Computer safety, reliability, and security : SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR : Florence, Italy, September 8-9, 2014 : proceedings : SAFECOMP conference 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8696)
Computer safety, reliability, and security : SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR : Florence, Italy, September 8-9, 2014 : proceedings : SAFECOMP conference 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8696)
紙
図書
Springer
[2014]
<M17-15-1596>
国立国会図書館
ICPE'17 : proceedings of the 2017 ACM/SPEC international conference on performance engineering : April 22-26, 2017 : L'Aquila, Italy : 8th ACM/SPEC international conference on performance engineering : ICPE 2017 tutorial : Apr 2017, L'Aquila, Italy.
ICPE'17 : proceedings of the 2017 ACM/SPEC international conference on performance engineering : April 22-26, 2017 : L'Aquila, Italy : 8th ACM/SPEC international conference on performance engineering : ICPE 2017 tutorial : Apr 2017, L'Aquila, Italy.
紙
図書
The Association for Computing Machinery
[2017]
<M17-19-622>
国立国会図書館
2015 resilience week (RWS 2015) : Philadelphia, Pennsylvania, USA : 18-20 August 2015 : international symposium on resilient control systems : international symposium on resilient cyber systems : international symposium on resilient communications systems : international symposium on resilient cognitive systems : Aug 2015, Philadelphia, PA.
2015 resilience week (RWS 2015) : Philadelphia, Pennsylvania, USA : 18-20 August 2015 : international symposium on resilient control systems : international symposium on resilient cyber systems : international symposium on resilient communications systems : international symposium on resilient cognitive systems : Aug 2015, Philadelphia, PA.
紙
図書
IEEE
[2015]
<M17-17-1825>
国立国会図書館
2015 4th international conference on reliability, infocom technologies and optimization (ICRITO 2015) : trends and future directions : Noida, India : 2-4 September 2015 : Sep 2015, Noida, India.
2015 4th international conference on reliability, infocom technologies and optimization (ICRITO 2015) : trends and future directions : Noida, India : 2-4 September 2015 : Sep 2015, Noida, India.
紙
図書
IEEE
[2015]
<M17-17-1693>
国立国会図書館
2016 resilience week (RWS 2016) : Chicago, Illinois, USA : 16-18 August 2016 : Aug 2016, Chicago, IL.
2016 resilience week (RWS 2016) : Chicago, Illinois, USA : 16-18 August 2016 : Aug 2016, Chicago, IL.
紙
図書
IEEE
[2016]
<M17-18-1449>
国立国会図書館
2010 IEEE international symposium on performance analysis of systems & software : (ISPASS 2010) : White Plains, New York, USA : 28-30 March 2010. : Mar 2010, White Plains, NY.
2010 IEEE international symposium on performance analysis of systems & software : (ISPASS 2010) : White Plains, New York, USA : 28-30 March 2010. : Mar 2010, White Plains, NY.
紙
図書
IEEE
c2010.
<M17-11-3314>
国立国会図書館
ICPE'16 : proceedings of the 2016 ACM/SPEC international conference on performance engineering : March 12-16, 2016 : Delft, Netherlands : 7th ACM/SPEC international conference on performance engineering (ICPE) : Mar 2016, Delft, the Netherlands.
ICPE'16 : proceedings of the 2016 ACM/SPEC international conference on performance engineering : March 12-16, 2016 : Delft, Netherlands : 7th ACM/SPEC international conference on performance engineering (ICPE) : Mar 2016, Delft, the Netherlands.
紙
図書
The Association for Computing Machinery
[2016]
<M17-17-2207>
国立国会図書館
Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
紙
図書
IOS Press
c2010.
<M17-11-3494>
国立国会図書館
ISPASS 2009 : IEEE international symposium on performance analysis of systems and software : ISPASS : April 26-28, 2009 : Boston, MA, USA. : Apr 2009, Boston, MA.
ISPASS 2009 : IEEE international symposium on performance analysis of systems and software : ISPASS : April 26-28, 2009 : Boston, MA, USA. : Apr 2009, Boston, MA.
紙
図書
IEEE
c2009.
<M17-10-4196>
国立国会図書館
2009 4th international conference on dependability of computer systems : (DepCos-RELCOMEX 2009) : Brunow, Poland : 30 June-2 July 2009. : DepCoS-RELCOMEX events : Jun 2009, Brunow, Poland.
2009 4th international conference on dependability of computer systems : (DepCos-RELCOMEX 2009) : Brunow, Poland : 30 June-2 July 2009. : DepCoS-RELCOMEX events : Jun 2009, Brunow, Poland.
紙
図書
IEEE
c2009.
<M17-10-2538>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力