上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Möller Bernhard)
該当件数:4件
Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, (ed.)
Berlin ; New York ; Tokyo : Springer , c1995. - (Lecture notes in computer science ; 947)
図書 <1000524538>
Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 755)
図書 <1000488430>
Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters / Bernhard Möller, John V. Tucker, eds
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1546)
図書 <1001038248>
分析的授業モデル / ベルンハルト・メラー著 ; 三枝孝弘, 潮木守一, 多田俊文訳
東京 : 明治図書出版 , 1971.9
図書 <1001934862>