上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #System design)
該当件数:61件
Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 501)
図書 <1000427405>
Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (Eds.)
Berlin : Springer , 1996. - (Lecture notes in computer science ; 1169)
図書 <1000705298>
Systems analysis and design : people, processes and projects / Keng Siau, Roger H.L. Chiang, Bill C. Hardgrave, editor
: cloth. - Armonk, N.Y. ; London : M.E. Sharpe , c2011. - (Advances in management information systems)
図書 <1002283674>
Demands & decisions : briefings on issues in information technology strategy / Bart O'Brien
New York : Prentice Hall , 1992. - (Business information technology series)
図書 <1000469745>
Linear system theory and design / Chi-Tsong Chen
3rd ed. - New York ; Oxford : Oxford University Press , c1999. - (The Oxford series in electrical and computer engineering)
図書 <1001305247>
Semiotics in information systems engineering / Kecheng Liu
: hbk. - Cambridge ; New York : Cambridge University Press , 2000
図書 <1001234530>
Conceptual modelling in information systems engineering / John Krogstie, Andreas Lothe Opdahl, Sjaak Brinkkemper (eds.)
Berlin : Springer , c2007
図書 <1001918329>
Conceptual modeling of information systems / Antoni Olivé
: hardcover. - Berlin : Springer , c2007
図書 <1001889730>
Design and development of knowledge-based systems : from life cycle to methodology / Giovanni Guida, Carlo Tasso
Chichester ; New York : John Wiley , c1994
図書 <1000503469>
Object oriented systems development / Ali Bahrami
Boston : Irwin/McGraw-Hill , c1999
図書 <1001087685>
Foundations of component-based systems / edited by Gary T. Leavens, Murali Sitaraman
Cambridge : Cambridge University Press , 2000
図書 <1001150365>
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 398)
図書 <1000354167>
Information engineering / James Martin
bk. 1,bk. 2,bk. 3. - Englewood Cliffs, N.J. : Prentice Hall , 1989-c1990
図書 <1000379638>
Multivariable system theory and design / by Rajnikant V. Patel and Neil Munro
1st ed. --. - Oxford, Eng. ; New York : Pergamon Press , 1982. - (International series on systems and control. ; v. 4)
図書 <1000601143>
Designing information technology in the postmodern age : from method to metaphor / Richard Coyne
Cambridge, Mass. : MIT Press , c1995
図書 <1000529612>
System design : concepts, methods, and tools / Comp Euro 88, Brussels, April 11-14, 1988, Campus V.U.B. (Vrije Universiteit Brussel) ; sponsored by Computer Society of the IEEE ... [et al.] ; supported by Vrije Universiteit Brussel ... [et al.]
Washington, D.C. : The Society Press , c1988
図書 <1000585171>
Microcomputer system design : an advanced course / M.J. Flynn ... [et al.] ; edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
Berlin ; New York : Springer-Verlag , 1984
図書 <1000586746>
Understanding computers and cognition : a new foundation for design / Terry Winograd, Fernando Flores
Norwood, N.J. : Ablex Pub. Corp. , c1986. - (Language and being.)
図書 <1000626265>
The engineering design of systems : models and methods / Dennis M. Buede
New York : Wiley , c2000. - (Wiley series in systems engineering)
図書 <1001188197>
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.)
Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1217)
図書 <1000661041>