上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.76.D47)
該当件数:57件
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1827)
図書 <1001195199>
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>
Advances in exception handling techniques / Alexander Romanovsky ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2022)
図書 <1001261433>
Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2267)
図書 <1001360040>
AntiPatterns in project management / William J. Brown, Hays W. "Skip" McCormick III, Scott W. Thomas
: cloth. - New York : J. Wiley , c2000
図書 <1001219012>
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>
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>
《UML》 2001 - the unified modeling language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2185)
図書 <1001327621>
Diffusing software product and process innovations : IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations, April 7-10, 2001, Banff, Canada / edited by Mark A. Ardis, Barbara L. Marcolin
Boston : Kluwer Academic Publishers , c2001. - (The international federation for information processing ; 59)
図書 <1001279445>
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>
《UML》 2000 - the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1939)
図書 <1001195211>
Managing Web projects : the management of large projects and programmes for Web-space delivery / J. Rodney Turner
Aldershot, England ; Burlington, V.T. : Gower , c2004
図書 <1001674546>
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>
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>
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>
Domain-specific application frameworks : frameworks experience by industry / Mohamed E. Fayad, Ralph E. Johnson
New York : John Wiley , c2000
図書 <1001142454>
Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings / Frank van der Linden (ed.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1951)
図書 <1001224323>
Analysis and design of information systems / Arthur M. Langer
2nd ed. - New York : Springer , c2001
図書 <1001316718>
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>
Model-driven architecture in practice : a software production environment based on conceptual modeling / Oscar Pastor, Juan Carlos Molina
Berlin : Springer , c2007
図書 <1001918339>