Formal Methods and Software Engineering形式方法与软件工程:ICFEM 2005/
¥636.40
Kung-Kiu Lau,Richard Banach 著 /2005-12-01 /北京燕山出版社
收藏
Gerschgorin and his circlesGerschgorin和他的圈子
¥710.20
Richard S. Varga,Richard Varga 著 /2004-10-01 /北京燕山出版社
Logical Aspects of Computational Linguistics(计算语言学的逻辑方面/会议录)
¥517.10
Philippe Blache,Edward Stabler,Joan Busquets,Richard Moot 著 /2005-06-01 /北京燕山出版社