上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 004.2/1)
該当件数:10件
Building problem solvers / Kenneth D. Forbus, Johan de Kleer
Cambridge, Mass. : MIT Press , c1993. - (Artificial intelligence)
図書 <1001371194>
Analysis and design of information systems / Arthur M. Langer
2nd ed. - New York : Springer , c2001
図書 <1001316718>
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
Cambridge, MA : MIT Press , c1999
図書 <1001136168>
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>
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>
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>
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>
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed.
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1384)
図書 <1000559123>
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>
Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)
New York : Springer , c1996. - (Lecture notes in computer science ; 1055)
図書 <1000536936>