上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer software Development Congresses)
該当件数:53件
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke
Berlin ; New York : Springer , c1986. - (Lecture notes in computer science. ; 215)
図書 <1000587397>
Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 635)
図書 <1000455310>
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)
1985:v. 1 - 1985:v.1-. - Berlin ; New York : Springer-Verlag , c1985-. - (Lecture notes in computer science)
図書 <1000687412>
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 873)
図書 <1000506332>
FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2021)
図書 <1001249518>
Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / Vincenzo Ambriola (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2077)
図書 <1001283580>
Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2211)
図書 <1001337041>
Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1780)
図書 <1001126382>
Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1487)
図書 <1000997388>
TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 668)
図書 <1000471429>
FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 670)
図書 <1000471439>
VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 428)
図書 <1000368307>
VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.)
v.1,v.2. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 551552)
図書 <1000656116>
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)
: Berlin. - Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 913)
図書 <1000518301>
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)
: us. - Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 915)
図書 <1000520341>
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1051)
図書 <1000536935>
Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / David Alex Lamb, (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1078)
図書 <1000538760>
Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1149)
図書 <1000544281>
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1214)
図書 <1000551302>
Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / Frank van der Linden (ed.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2290 . Lecture notes in artificial intelligence)
図書 <1001369224>