上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer systems Reliability)
該当件数:10件
Reliability of computer systems and networks : fault tolerance, analysis, and design / Martin L. Shooman
New York : J. Wiley & Sons , c2002
図書 <1001367907>
Trustworthy computing : analytical and quantitative engineering evaluation / M. Sahinoglu
: hdbk. - Hoboken, N.J. : Wiley-Interscience , c2007
図書 <1001889888>
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1710)
図書 <1001084292>
Computer performance evaluation : modeling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings / Tony Field ... [et al.] (eds.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2324)
図書 <1001366363>
Responsibility and dependable systems / Guy Dewsbury and John Dobson (Eds.)
: cased. - London : Springer , c2007
図書 <1001918362>
Reliable Distributed Systems : Technologies, Web Services, and Applications / by Kenneth P. Birman
New York, NY : Springer Science+Business Media, Inc. , 2005
電子ブック <1002981263>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / edited by Vassili
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3728)
電子ブック <1002982449>
Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli
Boston, MA : International Federation for Information Processing , 2005. - (IFIP International Federation for Information Processing ; 173)
電子ブック <1002981353>
The Universal Generating Function in Reliability Analysis and Optimization / by Gregory Levitin
London : Springer-Verlag London Limited , 2005. - (Springer Series in Reliability Engineering)
電子ブック <1002983369>
Constructive Computation in Stochastic Models with Applications : The RG-Factorization / by Quan-Lin Li
Berlin, Heidelberg : Springer Berlin Heidelberg , 2010
電子ブック <1003002870>