東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Windley Phillip J.)
該当件数:3件
Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1522)
図書
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
Berlin : Springer-Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 971)