Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30
Frank S.de Boer, Marcello M.Bonsangue, Susanne Graf, Willem-Paul de Roever 等著 /2005-10-01 /北京燕山出版社
收藏
Algorithms -- ESA 2004(算法-ESA2004)
¥855.20
Susanne Albers 著 /2004-10-01 /北京燕山出版社
KI 2004: Advances in Artificial Intelligence(KI 2004人工智能进展/会
¥596.60
Susanne Biundo 著 /2004-11-01 /北京燕山出版社