Jump to main content

yr 〜
yr

Search results 243

Applied OSS reliability assessment modeling, AI and tools : mathematics and AI for OSS reliability assessment (Springer series in reliability engineering)

Applied OSS reliability assessment modeling, AI and tools : mathematics and AI for OSS reliability assessment (Springer series in reliability engineering)
Paper図書
Yoshinobu Tamura, Shigeru YamadaSpringer[2024]<M159-D21>
National Diet Library
  • Subject HeadingOpen source software Computer software--Reliability Logiciels libres Logiciels--F...

2016 IEEE 27th international symposium on software reliability engineering : (ISSRE 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : Oct 2016, Ottawa, Canada.

2016 IEEE 27th international symposium on software reliability engineering : (ISSRE 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : Oct 2016, Ottawa, Canada.
Paper図書
IEEE[2016]<M17-18-1528>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. Computer software--Reliability.

2015 IEEE 26th international symposium on software reliability engineering : (ISSRE 2015) : Gaithersburg, Maryland, USA : 2-5 November 2015 : Nov 2015, Gaithersburg, MD.

2015 IEEE 26th international symposium on software reliability engineering : (ISSRE 2015) : Gaithersburg, Maryland, USA : 2-5 November 2015 : Nov 2015, Gaithersburg, MD.
Paper図書
IEEE[2015]<M17-17-1594>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. Computer software--Reliability.

2016 IEEE international symposium on software reliability engineering workshops (ISSREW 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : 27th international symposium on software reliability engineering : ISSRE2016 : ISSRE conference : Oct 2016, Ottawa, Canada.

2016 IEEE international symposium on software reliability engineering workshops (ISSREW 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : 27th international symposium on software reliability engineering : ISSRE2016 : ISSRE conference : Oct 2016, Ottawa, Canada.
Paper図書
IEEE[2016]<M17-18-1527>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......g--Congresses. Computer software--Reliability. Software reengineering.

2014 IEEE 25th international symposium on software reliability engineering : (ISSRE 2014) : Naples, Italy : 3-6 November 2014 : ISSRE2014 : Nov 2014, Naples, Italy.

2014 IEEE 25th international symposium on software reliability engineering : (ISSRE 2014) : Naples, Italy : 3-6 November 2014 : ISSRE2014 : Nov 2014, Naples, Italy.
Paper図書
IEEE[2014]<M17-16-2045>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. Computer software--Reliability.

2015 IEEE international symposium on software reliability engineering workshops (ISSREW 2015) : Gaithersburg, Maryland, USA : 2-5 November 2015 : Nov 2015, Gaithersburg, MD.

2015 IEEE international symposium on software reliability engineering workshops (ISSREW 2015) : Gaithersburg, Maryland, USA : 2-5 November 2015 : Nov 2015, Gaithersburg, MD.
Paper図書
IEEE[2015]<M17-17-1890>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......g--Congresses. Computer software--Reliability. Software reengineering.

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.
Paper図書
IEEE[2016]<M17-18-1554>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. C......y--Congresses. Computer software--Reliability. Computer systems--Reliabilit...

2016 international conference on software security and assurance (ICSSA 2016) : St. Polten, Austria : 24-25 August 2016 : 2nd international conference on software security and assurance : Aug 2016, St. Polten, Austria.

2016 international conference on software security and assurance (ICSSA 2016) : St. Polten, Austria : 24-25 August 2016 : 2nd international conference on software security and assurance : Aug 2016, St. Polten, Austria.
Paper図書
IEEE[2016]<M17-19-298>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Reliability--Congresses. Computer software--Reliability. Computer software--Security ...

2014 IEEE international symposium on software reliability engineering workshops : (ISSREW 2014) : Naples, Italy : 3-6 November 2014 : 25th international symposium on software reliability engineering : ISSRE2014 : ISSRE : Nov 2014, Naples, Italy.

2014 IEEE international symposium on software reliability engineering workshops : (ISSREW 2014) : Naples, Italy : 3-6 November 2014 : 25th international symposium on software reliability engineering : ISSRE2014 : ISSRE : Nov 2014, Naples, Italy.
Paper図書
IEEE[2014]<M17-16-2044>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......g--Congresses. Computer software--Reliability. Software reengineering.

Software engineering for resilient systems : 7th international workshop, SERENE 2015 : Paris, France, September 7-8, 2015 : proceedings : Sep 2015, Paris, France. (Lecture Notes in Computer Science ; 9274)

Software engineering for resilient systems : 7th international workshop, SERENE 2015 : Paris, France, September 7-8, 2015 : proceedings : Sep 2015, Paris, France. (Lecture Notes in Computer Science ; 9274)
Paper図書
Springer[2015]<M17-16-602>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Reliability--Congresses. Computer software--Reliability. Software engineering.

Software engineering for resilient systems : 6th international workshop, SERENE 2014 : Budapest, Hungary, October 15-16, 2014 : proceedings : Oct 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8785)

Software engineering for resilient systems : 6th international workshop, SERENE 2014 : Budapest, Hungary, October 15-16, 2014 : proceedings : Oct 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8785)
Paper図書
Springer[2014]<M17-15-1530>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Reliability--Congresses. Computer software--Reliability. Fault-tolerant computing. So...

2015 1st international conference on software security and assurance (ICSSA 2015) : Suwon, South Korea : 27 July 2015 : Jul 2015, Suwon, Korea.

2015 1st international conference on software security and assurance (ICSSA 2015) : Suwon, South Korea : 27 July 2015 : Jul 2015, Suwon, Korea.
Paper図書
IEEE[2015]<M17-18-62>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Reliability--Congresses. Computer software--Reliability. Computer software--Security ...

2013 IEEE 24th international symposium on software reliability engineering : (ISSRE 2013) : Pasadena, California, USA : 4-7 November 2013 : ISSRE2013 : Nov 2013, Pasadena, CA.

2013 IEEE 24th international symposium on software reliability engineering : (ISSRE 2013) : Pasadena, California, USA : 4-7 November 2013 : ISSRE2013 : Nov 2013, Pasadena, CA.
Paper図書
IEEE[2013]<M17-15-1104>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......g--Congresses. Computer software--Reliability. Software reengineering.

2013 IEEE international symposium on software reliability engineering workshops : (ISSREW 2013) : Pasadena, California, USA : 4-7 November 2013 : 24th IEEE international symposium on software reliability engineering (ISSRE 2013) : Nov 2013, Pasadena, CA.

2013 IEEE international symposium on software reliability engineering workshops : (ISSREW 2013) : Pasadena, California, USA : 4-7 November 2013 : 24th IEEE international symposium on software reliability engineering (ISSRE 2013) : Nov 2013, Pasadena, CA.
Paper図書
IEEE[2013]<M17-15-1103>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......g--Congresses. Computer software--Reliability. Software reengineering.

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)
Paper図書
Springer[2014]<M17-15-752>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. C......--Development. Computer software--Reliability.

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
Paper図書
Springer[2015]<M17-16-371>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. S......mal Languages. Computer software--Reliability.

2016 IEEE international conference on software quality, reliability and security : (QRS 2016) : Vienna, Austria : 1-3 August 2016 : Aug 2016, Vienna, Austria.

2016 IEEE international conference on software quality, reliability and security : (QRS 2016) : Vienna, Austria : 1-3 August 2016 : Aug 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-18-1526>
National Diet Library
  • Subject Heading...l--Congresses. Computer software--Reliability--Congresses. C......ality control. Computer software--Reliability. Computer software--Security ...

2012 workshop on dependable transportation systems/recent advances in software dependability : (WDTS-RASD 2012) : Niigata, Japan : 18-19 November 2012 : WDTS 2012 : RASD 2012 : workshop on dependable transportation systems : international workshop on recent advances in software dependability : Nov 2012, Niigata, Japan. E4933

2012 workshop on dependable transportation systems/recent advances in software dependability : (WDTS-RASD 2012) : Niigata, Japan : 18-19 November 2012 : WDTS 2012 : RASD 2012 : workshop on dependable transportation systems : international workshop on recent advances in software dependability : Nov 2012, Niigata, Japan. E4933
Paper図書
IEEE[2012]<M17-15-3244>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. T......y--Congresses. Computer software--Reliability. Transportation--Reliability.

2016 IEEE international conference on software quality, reliability and security companion : (QRS-C 2016) : Vienna, Austria : 1-3 August 2016 : QRS 2016 : Aug 2016, Vienna, Austria.

2016 IEEE international conference on software quality, reliability and security companion : (QRS-C 2016) : Vienna, Austria : 1-3 August 2016 : QRS 2016 : Aug 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-18-1525>
National Diet Library
  • Subject Heading...l--Congresses. Computer software--Reliability--Congresses. C......ality control. Computer software--Reliability. Computer software--Security ...

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.
Paper図書
The Association for Computing Machinery[2014]<M17-16-52>
National Diet Library
  • Subject Heading...)--Congresses. Computer software--Reliability--Congresses. A......gram language) Computer software--Reliability. Computer software--Verificat...
RSS