本文に飛ぶ

年 〜
年

検索結果 9 件

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>
国立国会図書館
  • 著者標目...orence, Italy) Bondavalli, Andrea. Di Giandomenico, Felicita.

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>
国立国会図書館
  • 著者標目...orence, Italy) Bondavalli, Andrea. Ceccarelli, Andrea. Ortmeier,...

Dependable computing : third Latin-American symposium, LADC 2007 : Morelia, Mexico, September 26-28, 2007 : proceedings. : Latin-American dependable computing conference : 3rd Latin American symposium on dependable computing : Sep 2007, Morelia, Mexico. (Lecture Notes in Computer Science ; 4746)

Dependable computing : third Latin-American symposium, LADC 2007 : Morelia, Mexico, September 26-28, 2007 : proceedings. : Latin-American dependable computing conference : 3rd Latin American symposium on dependable computing : Sep 2007, Morelia, Mexico. (Lecture Notes in Computer Science ; 4746)
紙図書
Springerc2007.<M17-08-1916>
国立国会図書館
  • 著者標目...oma de Mexico. Bondavalli, Andrea. Brasileiro, Francisco Vilar, ...

Cyber-physical systems of systems : foundations - a conceptual model and some derivations : the AMADEOS legacy : pbk

Cyber-physical systems of systems : foundations - a conceptual model and some derivations : the AMADEOS legacy : pbk
紙図書
Andrea Bondavalli ... [et al.], editorsSpringer[c2016]
全国の図書館

Computer safety, reliability, and security : SAFECOMP 2014 Workshops : ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9 2014, proceedings : pbk

Computer safety, reliability, and security : SAFECOMP 2014 Workshops : ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9 2014, proceedings : pbk
紙図書
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (eds.)Springerc2014
全国の図書館

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Itary, September 10-12, 2014 : proceedings : pbk

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Itary, September 10-12, 2014 : proceedings : pbk
紙図書
Andrea Bondavalli, Felicita Di Giandomenico (eds.)Springerc2014
全国の図書館

Dependable computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings

Dependable computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings
紙図書
Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.)Springerc2007
全国の図書館

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
紙図書
Andrea Bondavalli, Pascale Thevenod-Fosse (eds.)Springerc2002
全国の図書館

Certifications of Critical Systems – The CECRIS Experience

Certifications of Critical Systems – The CECRIS Experience
デジタル電子書籍・電子雑誌図書
インターネットで読める国立国会図書館

検索結果は以上です。

RSS