上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer software Development)
該当件数:87件
Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner (eds.)
Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 891)
図書 <1000514184>
Head first software development / Dan Pilone, Russ Miles
beijing ; Sebastopol, Calif. : O'Reilly , c2008. - (Head first series)
図書 <1001925584>
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 680)
図書 <1000481783>
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1500)
図書 <1001038360>
Software requirements : objects, functions, and states / Alan M. Davis
Rev. - Englewood Cliffs, N.J. : PTR Prentice Hall , c1993
図書 <1000472871>
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 1009)
図書 <1000530000>
The international computer software industry : a comparative study of industry evolution and structure / edited by David C. Mowery
New York : Oxford University Press , 1996
図書 <1000534228>
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>
Software development project management : process and support / Dina Berkeley, Robert de Hoog, Patrick Humphreys
New York : E. Horwood , 1990. - (Ellis Horwood books in information technology)
図書 <1000429488>
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>