上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.76.E93)
該当件数:10件
Partial Evaluation : International Seminar : Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy ... [et al.]
: gw. - Berlin : Springer , c1996. - (Lecture notes in computer science ; 1110)
図書 <1000542780>
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 575)
図書 <1000447289>
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)
Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1102)
図書 <1000541642>
Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 818)
図書 <1000499816>
Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1633)
図書 <1001063845>
Computer aided verification : fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 663)
図書 <1000471424>
Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 697)
図書 <1000477788>
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 939)
図書 <1000522640>
Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
Berlin ; Tokyo : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1254)
図書 <1000554039>
Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (ed.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1427)
図書 <1000559977>