京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Butler Michael)
該当件数:2件
The plays of Max Frisch / Michael Butler
London : Macmillan in association with Humanities Research Centre of the Australian National University, Canberra , 1985
図書
Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2335)