本文に飛ぶ

年 〜
年

検索結果 11 件

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009 : Hamburg, Germany, September 15-18, 2009 : proceedings. : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 5775)

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009 : Hamburg, Germany, September 15-18, 2009 : proceedings. : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 5775)
紙図書
Springerc2009.<M17-10-1921>
国立国会図書館
  • 件名...he Sicherheit. Zuverlässigkeit. Hamburg (2009) Kongress.

Architecting critical systems : first international symposium, ISARCS 2010 : Prague, Czech Republic, June 23-25, 2010 : proceedings. : federated conference component-based software engineering and software architecture (CompArch 2010) : Jun 2010, Prague, Czech Republic. (Lecture Notes in Computer Science ; 6150)

Architecting critical systems : first international symposium, ISARCS 2010 : Prague, Czech Republic, June 23-25, 2010 : proceedings. : federated conference component-based software engineering and software architecture (CompArch 2010) : Jun 2010, Prague, Czech Republic. (Lecture Notes in Computer Science ; 6150)
紙図書
Springerc2010.<M17-10-3397>
国立国会図書館
  • 件名...rearchitektur. Zuverlässigkeit. Prag <2010>

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)
紙図書
Springerc2010.<M17-11-7>
国立国会図書館
  • 件名...reentwicklung. Zuverlässigkeit. Sicherheitskritisches System....

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
紙図書
Springerc2009.<M17-10-1593>
国立国会図書館

Gaststättenrecht : Gaststättengesetz des Bundes unter Berücksichtigung der Landesgesetze : Kommentar 7. Aufl

Gaststättenrecht : Gaststättengesetz des Bundes unter Berücksichtigung der Landesgesetze : Kommentar 7. Aufl
紙図書
von Markus Thiel ; als Kommentar zum Gaststättengesetz begründet von Gustav Rohmer ; und bis zur 6. Aufl. fortgeführt von Erich Eyermann, Georg Mörter, Richard MetznerC.H. Beck2023
全国の図書館

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)
紙図書
Springerc2009.<M17-10-1652>
国立国会図書館
  • 件名... Verifikation. Zuverlässigkeit. Kongress. Rio de Janeiro (200...

Middleware 2009 : ACM/IFIP/USENIX 10th international middleware conference : Urbana, IL, USA, November 30-December 4, 2009 : proceedings. : Nov 2009, Urbana, IL. (Lecture Notes in Computer Science ; 5896)

Middleware 2009 : ACM/IFIP/USENIX 10th international middleware conference : Urbana, IL, USA, November 30-December 4, 2009 : proceedings. : Nov 2009, Urbana, IL. (Lecture Notes in Computer Science ; 5896)
紙図書
Springerc2009.<M17-10-1553>
国立国会図書館

Statistische Methode für die Zuverlässigkeitsanalyse

Statistische Methode für die Zuverlässigkeitsanalyse
紙図書
Gisela HärtlerVerlag Technikc1983
全国の図書館

Wahrscheinlichkeitsmethoden zur Berechnung von Konstruktionen

Wahrscheinlichkeitsmethoden zur Berechnung von Konstruktionen
紙図書
Vladimir V. Bolotin ; wissenschaftlische Reaktion, Albert DudaBauwesenc1981
全国の図書館

Statistische Theorie der Zuverlässigkeit : wahrscheinlichkeitstheoretische Modelle

Statistische Theorie der Zuverlässigkeit : wahrscheinlichkeitstheoretische Modelle
紙図書
Richard E. Barlow, Frank Proschan ; in deutscher Sprache herausgegeben von Peter Franken ; [Deutsche Übersetzung: E. Knauer, U. Arndt, B.-M. Kirstein]Akademie-Verlag1978
全国の図書館

Zuverlässigkeitsrechnung : Einführung in ihre Methoden : gw : us

Zuverlässigkeitsrechnung : Einführung in ihre Methoden : gw : us
紙図書
U. Höfle-IsphordingSpringer1978
全国の図書館

検索結果は以上です。

RSS