上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Formal methods )
該当件数:11件
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1641)
図書 <1001064018>
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2090)
図書 <1001313948>
Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli
Boston : Kluwer Academic Publishers , c2001
図書 <1001238033>
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2335 . Lecture notes in artificial intelligence)
図書 <1001371002>
Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1945)
図書 <1001205135>
Formal models of agents : ESPRIT Project Model Age final Workshop : selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1760 . Lecture notes in artificial intelligence)
図書 <1001108634>
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
Berlin ; New York : Springer , c2003
図書 <1001425390>
Challenges for action theories / Michael Thielscher
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1775 . Lecture notes in artificial intelligence)
図書 <1001148277>
FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
v. 1,v. 2. - Berlin : Springer , c1999. - (Lecture notes in computer science ; 1708, 1709)
図書 <1001084237>
Symbolic simulation methods for industrial formal verification / Robert B. Jones
Boston : Kluwer Academic Publishers , c2002
図書 <1001388039>
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1954)
図書 <1001205122>