上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computer Systems)
該当件数:26件
Computer systems / J. Stanley Warford
Boston : Jones and Bartlett Publishers , c1999
図書 <1001293773>
System performance evaluation : methodologies and applications / edited by Erol Gelenbe
Boca Raton, Fla. : CRC Press , c2000
図書 <1001281071>
Performance engineering : state of the art and current trends / Reiner Dumke ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2047)
図書 <1001277961>
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
Cambridge, MA : MIT Press , c1999
図書 <1001136168>
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>
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1181)
図書 <1000548295>
Multiset processing : mathematical, computer science, and molecular computing points of view / Cristian S. Calude, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2235)
図書 <1001353343>
Foundations of information and knowledge systems : Second International Symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2284)
図書 <1001360364>
Reliability of computer systems and networks : fault tolerance, analysis, and design / Martin L. Shooman
New York : J. Wiley & Sons , c2002
図書 <1001367907>
Advanced computer systems : Eighth International Conference, ACS'2001, Mielno, Poland, October 17-19, 2001 : proceedings / Jerzy Sołdek, Jerzy Pejaś (ed.)
Boston : Kluwer Academic Publishers , c2002. - (Kluwer international series in engineering and computer science ; SECS 664)
図書 <1001372314>
Kān prachumwichā kānrư̄ang : thēknōlōyī yutthisāt phư̄a kānphtthanā prathēt / damnœ̄n kān dōi Sammānakngān thī prưksādān witthayāsāt læ thēknōlōyī na krung Tōkīao, Samākhom nak wicha chīp Thai nai Yīpun (Sūatthon. ATPIJ) ; Samnakngān thī prư̄sādān witthayāsāt læ thēknōlōyī na krung Tokīao, Saphāǭng kānyaowachan Yīpun (Nisseikyo)
[Tokyo] : Samākhom nak wicha chīp Thai nai Yīpun (Sūatthon. ATPIJ) , [2536? i.e. 1993?]
図書 <1001270463>
System design automation : fundamentals, principles, methods, examples / edited by Renate Merker and Wolfgand Schwarz
Boston : Kluwer Academic Publishers , c2001
図書 <1001276820>
Performance evaluation and benchmarking with realistic applications / edited by Rudolf Eigenmann
Cambridge, Mass. ; London : MIT Press , c2001
図書 <1001276855>
Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.]
Berlin ; New York : Springer , 2001
図書 <1001288504>
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1710)
図書 <1001084292>
Foundations of information and knowledge systems : first International Symposium, FoIKs 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1762)
図書 <1001125896>
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1755)
図書 <1001125897>
The coevolution : the entwined futures of humans and machines / Edward Ashford Lee
: ebook. - Cambridge, Massachusetts : The MIT Press , [2019]
電子ブック <1003152897>
Trustworthy computing : analytical and quantitative engineering evaluation / M. Sahinoglu
: hdbk. - Hoboken, N.J. : Wiley-Interscience , c2007
図書 <1001889888>
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2244)
図書 <1001353344>