Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop 相关电子书下载

CAROL ANN RINZLER2011 年出版392 页ISBN：0470932317

JOYCE LAIN KENNEDY2011 年出版366 页ISBN：0470873618

E.K.Sauerland2222 年出版182 页ISBN：0683075594

T.R.DICKSON1971 年出版589 页ISBN：0471043907

张端金主编张端金高曙杨苹袁景凌林泓张祖梅编2003 年出版404 页ISBN：7562919275

S.SCHOEMAKER2222 年出版326 页ISBN：0444864385

NORMAN F.BILLUPS1984 年出版702 页ISBN：039750649X

HAL B.PICKLE1983 年出版574 页ISBN：067316571X

（美）戴尔格兰姆专业小组著；地球学小组译2004 年出版226 页ISBN：7801457935

本书包括术语解释，各学科的大事记及各领域里的优秀人物的介绍，以术语解释为主体内容。

M.G.RODD2222 年出版185 页ISBN：0080305466