上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Hutter Dieter)
該当件数:3件
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1641)
図書 <1001064018>
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 2605)
電子ブック <1002981881>
Security in Pervasive Computing (vol. # 3450) : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / edited by Dieter Hutter, Markus Ullmann
Berlin Heidelberg : Springer-Verlag GmbH. , 2005. - (Lecture Notes in Computer Science ; 3450)
電子ブック <1002981971>