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

S.H.Lin1999 年出版300 页ISBN：

PING XIONG2012 年出版368 页ISBN：9004211977

ALLAN B.REISKIN1980 年出版315 页ISBN：088416165X

李世春著2015 年出版232 页ISBN：9787040438642

本书是作者30年魔方研究的总结，结合“魔方和数学建模”国家精品视频公开课，论述了魔方里的文化内涵、科学隐喻和魔方的复位，将魔方起源追溯到中国5000年前的洛书，探究了匈牙利产生和传播魔方的科学文化背景。本...

1988 年出版262 页ISBN：0861879570

J.C.ECCLES AND J.P.SCHADE1964 年出版318 页ISBN：

肖军著2017 年出版0 页ISBN：

方东平等主编2006 年出版664 页ISBN：7302132364

本书收集了“建筑安全与健康国际论坛”的重要论文，主要涉及建筑安全与健康方面的内容，包括发展战略与国家规划、政府监督与管理、标准与指南、工艺创新、施工过程中参与者的作用、噪音控制等。...

（美）刘美如2017 年出版0 页ISBN：

中国社会科学院考古研究所编2006 年出版926 页ISBN：7501018286

佟柱臣先生是我国著名的考古学家。中国社会科学院考古研究所为其85岁寿辰编了此部论文集，共收集50余篇考古学领域的研究论文。