上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Development)
該当件数:125件
Developmental biology of flowering plants / V. Raghavan
: hc. - New York : Springer , c2000
図書 <1001136359>
A case study of a profoundly handicapped infant / Shinsuke Tanaka
[Kyoto] : Kyoto University Academic Press , 1996. - (Development and education in childhood : the constructive theory on subject-object activity in human development ; pt. 1)
図書 <1000547984>
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>
Development and disability / Vicky Lewis
: hbk,: pbk. - 2nd ed. - Malden, Mass. : Blackwell Pub. , 2003
図書 <1001423997>
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>
Path-oriented program analysis / J.C. Huang
: hardback. - Cambridge, [U.K.] ; New York : Cambridge University Press , 2008
図書 <1001925544>
O ciclo de vida da sardinha-verdadeira : introdução à oceanografia pesqueira / por Yasunobu Matsuura
São Paulo : Instituto Oceanográfico, Divisão de Documentação Científica , 1977. - (Publicação especial do Instituto Oceanográfico ; no. 4)
図書 <1001159089>
Infancy : a guide to research and resources / Hannah Nuba-Scheffler, Deborah Lovitky Sheiman, Kathleen Pullan Watkins
New York : Garland Pub. , 1986. - (Garland reference library of social science ; v. 324)
図書 <1000454410>
New perspectives on early social-cognitive development / edited by Sabine Hunnius, Marlene Meyer
: hbk,: ePub ebook. - Amsterdam : Elsevier , 2020. - (Progress in brain research ; 254)
図書 <1003135811>
Psychology of infancy / edited by J. Gavin Bremner and Alan M. Slater
: set of six volumes : hardcover - v. 6. - Los Angeles ; London ; New Delhi ; Singapore ; Washington DC : SAGE Reference , 2014. - (Sage library in developmental psychology)
図書 <1002734657>
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>
Childhood and adolescence : voyages in development / Spencer A. Rathus
4th ed., Student ed. - Belmont, Calif. : Wadsworth Cengage Learning , c2011
図書 <1002244244>
Object-oriented software construction / Bertrand Meyer
: pbk. - Englewood Cliffs, N.J. : Prentice-Hall , 1988. - (Prentice-Hall International series in computer science)
図書 <1001984909>
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>
Die ersten Lebensjahre : mein Kind von der Geburt bis zum Schulanfang / Th. Hellbrügge, G. Döring
Müchen : Knaur , c1981. - (Knaur-Taschenbücher ; 7655)
図書 <1000403595>
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>