年 〜
年

検索結果 60 件

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>
国立国会図書館
  • 件名Computer systems--Reliability--Congresses. Computer systems--Reliability...

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>
国立国会図書館
  • 件名Computer systems--Reliability--Congresses. Computer systems--Reliability...

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>
国立国会図書館
  • 件名Computer systems--Reliability--Congresses. Computer systems--Reliability...

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.
紙図書
IEEEc2013.<M17-14-1153>
国立国会図書館
  • 件名Software engineering--Congresses. Computer systems--Reliability--Congresses.

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>
国立国会図書館
  • 件名...y--Congresses. Computer systems--Reliability--Congresses. Computer security. Computer s...

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)
紙図書
Springerc2012.<M17-13-1092>
国立国会図書館
  • 件名Computer security--Congresses. Computer systems--Reliability--Congresses.

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>
国立国会図書館
  • 件名...y--Congresses. Computer systems--Reliability--Congresses. Computer security. Computer s...

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>
国立国会図書館
  • 件名...y--Congresses. Computer systems--Reliability--Congresses. Computer software--Reliabilit...

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>
国立国会図書館
  • 件名...n--Congresses. Computer systems--Reliability--Congresses. Computer systems--Evaluation....

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>
国立国会図書館
  • 件名...n--Congresses. Computer systems--Reliability--Congresses. Computer systems--Evaluation....

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>
国立国会図書館

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>
国立国会図書館
  • 件名...y--Congresses. Computer systems--Reliability--Congresses. Computer security. Computer s...

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.
紙図書
IEEEc2011.<M17-12-1678>
国立国会図書館
  • 件名Computer systems--Evaluation--Congresses. Computer systems--Reliability--Congresses.

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>
国立国会図書館
  • 件名Computer systems--Reliability--Congresses. Telecommunication systems--Re...

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>
国立国会図書館

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>
国立国会図書館
  • 件名...n--Congresses. Computer systems--Reliability--Congresses. Computer systems--Evaluation....

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.
紙図書
IEEEc2010.<M17-11-3314>
国立国会図書館

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 Pressc2010.<M17-11-3494>
国立国会図書館

2015 first international conference on reliability systems engineering (ICRSE 2015) : Beijing, China : 21-23 October 2015 : 1st international conference on reliability systems engineering & 2015 prognostics and system health management conference--Beijing : 2015 ICRSE & PHM-Beijing : Oct 2015, Beijing, China.

2015 first international conference on reliability systems engineering (ICRSE 2015) : Beijing, China : 21-23 October 2015 : 1st international conference on reliability systems engineering & 2015 prognostics and system health management conference--Beijing : 2015 ICRSE & PHM-Beijing : Oct 2015, Beijing, China.
紙図書
IEEE[2015]<M17-17-1692>
国立国会図書館
  • 件名Computer systems--Reliability--Congresses. Computer systems--Evaluation-...

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.
紙図書
IEEEc2009.<M17-10-2538>
国立国会図書館