阿基米得和战争机器

本书对古希腊著名的科学家阿基米得一生的重要发明创造及其生平做了生动讲述，尤其是他在物理、数学方面的重要定理、发现等，至今仍然指导着人们的学术科研与生活。他的名言”给我一个支点，我就能撬起整个地球”...

读写译 教师用书

本书为配套教师用书，提供教学指导。

诗经译评 下

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

小学生领先一步学科学 计算机与机器人

英语诗歌经典译析

本书是大学学习英语必须的参考学习用书。

《抱朴子外篇》校注译析

《抱朴子内篇》校注译析

机器人微创外科手术探索与实践

本书是肝胆外科最先进技术，在微创外科领域中应用机器人进行创新性探索的成果，是成功开展了包括肝胆胰、胃肠、泌尿、妇科、心胸等多学科领域中临床实践经验总结，重点介绍了微创外科技术的新发展、新技术和相关...

移动机器人学科学方法 智能体行为的量化分析

本书原著是由自主移动机器人领域知名人士Ulrich Nehmzow博士撰写，在英国很受欢迎，并且在意大利、西班牙和加拿大等国被多所高等院校作为教材使用。...