证明标准问题研究

本书为目前国内专门研究诉讼证明标准的学术专著。本书运用历史分析方法、对比方法和实证的方法，对证明标准的内在特征和外在特征进行深入分析，同时本书并不仅仅拘泥于理论，还对现实中各种证明标准的弊端与缺陷...

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

机器人的画法

本书专门讲解了漫画中机器人的画法，从最简单的几何形体延伸到组合后的机器人形状，由浅入深的详细分析了机器人的结构和绘画技法。书中涉及了各种不同形态的机器人，能让漫画学习者非常全面的了解机器人的相关知...

机器制造业中的统计检查法

未来的无人战争 智能武器与机器人士兵

科学魅力 强大的智能机器人

本书把内容集中在探究智能机器人方面，介绍相关背景，普及相关知识，所选内容精当，文字简明，内文配图别具一格，形象生动，非常适合广大少年儿童阅读和课外学习。...

机器制造工厂基本车间运输的机械化

农业机器拖拉机站的建设和管理

失踪的机器人

本书是点击未来科幻丛书中的一册，书中收入了失踪的机器人等数个科幻故事。 这些故事情节曲折、精彩、扣人心弦，人物塑造生动细腻，且每个故事内都包含着一个新知识。该书对开阔少年儿童的眼界，增长他们的知识，培....

世界经典科幻故事全集 机器大战的故事

本书为教学课外辅助读物。补充学生课外知识，选取一些中外经典名著供青少年课外阅读。本册选取世界经典科幻故事作为经典主题。