東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Birtwistle G. M.)
該当件数:2件
Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle, (eds.)
Berlin : Springer-Verlag , c1996. - New York. - Tokyo. - (Lecture notes in computer science ; 1043)
図書
VLSI specification, verification, and synthesis / edited by Graham Birtwistle and P.A. Subrahmanyam
Boston : Kluwer Academic Publishers , c1988. - (The Kluwer international series in engineering and computer science ; SECS 35 . VLSI, computer architecture and digital signal processing)