上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.9.S88)
該当件数:30件
System design : a practical guide with SpecC / Andreas Gerstlauer ... [et al.]
Boston : Kluwer Academic Publishers , c2001
図書 <1001294756>
System-on-a-chip verification : methodology and techniques / Prakash Rashinkar, Peter Paterson, Leena Singh
図書 <1001251314>
Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2031)
図書 <1001263447>
Contemporary trends in systems development / edited by Maung K. Sein ... [et al.]
New York : Kluwer Academic/Plenum Publishers , c2001
図書 <1001341437>
Semiotics in information systems engineering / Kecheng Liu
: hbk. - Cambridge ; New York : Cambridge University Press , 2000
図書 <1001234530>
Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2280)
図書 <1001366200>
System design automation : fundamentals, principles, methods, examples / edited by Renate Merker and Wolfgand Schwarz
図書 <1001276820>
Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1785)
図書 <1001126073>
Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1128)
図書 <1000543475>
Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings / Stig I. Andersson (ed.)
: gw. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 888)
図書 <1000514185>
Demands & decisions : briefings on issues in information technology strategy / Bart O'Brien
New York : Prentice Hall , 1992. - (Business information technology series)
図書 <1000469745>
Building problem solvers / Kenneth D. Forbus, Johan de Kleer
Cambridge, Mass. : MIT Press , c1993. - (Artificial intelligence)
図書 <1001371194>
Conceptual modelling in information systems engineering / John Krogstie, Andreas Lothe Opdahl, Sjaak Brinkkemper (eds.)
Berlin : Springer , c2007
図書 <1001918329>
Co-design for system acceleration : a quantitative approach / Nadia Nedjah, Luiza de Macedo Mourelle
: hbk. - Dordrecht : Springer , c2007
図書 <1001889736>
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 721)
図書 <1000481818>
Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 722)
図書 <1000481836>
Object oriented systems development / Ali Bahrami
Boston : Irwin/McGraw-Hill , c1999
図書 <1001087685>
Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland (ed.)
Berlin ; New York : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1579)
図書 <0219012070>
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>
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.)
gw,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 429)
図書 <1000368313>