お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Formal semantics and proof techniques for optimizing VHDL models
Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Proceedings, 17th Workshop on Parallel and Distributed Simulation (PADS 2003), San Diego, California, Jun 10-13, 2003
edited by George F. Riley and Philip A. Wilsey, sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Modeling and Simulation International(SCS)
Hello, Molly! : a memoir
Molly Shannon, Sean Wilsey
ああ、なんて素晴らしい!
ショーン・ウィルシー著 ; 坂野由紀子訳
State by state : a panoramic portrait of America
edited by Matt Weiland & Sean Wilsey
世界の作家32人によるワールドカップ教室
マット・ウェイランド, ショーン・ウィルシー編 ; 越川芳明, 柳下毅一郎監訳