大约有20,000项符合查询结果项。(搜索耗时:0.0123秒)
为您推荐: 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
思考机器探案集 完美的不在场证明
(美)杰克·福翠尔著2012 年出版250 页ISBN:9787548407485本书收录了美国著名侦探推理小说作家杰克·福翠尔的多篇经典短篇小说,语言生动,情节设计巧妙,逻辑严谨。小说中塑造的主人公杜凡森教授,被誉为“美国的福尔摩斯”,他敏锐的直觉和精湛的推理能力,为读者献上一场.....
-
诉讼证明责任与证明标准研究
王圣扬著2012 年出版302 页ISBN:9787565309816本书是一本关于诉讼证明责任责任和标准问题的法学专著。全书分为上下两编,上编论述诉讼证明责任,下编研究诉讼证明标准。
-
受控理论与解析不等式
石焕南编2012 年出版379 页ISBN:9787560335698受控理论, 亦称控制不等式理论是一门有着广泛应用并日趋兴旺的数学学科。本书介绍该理论的基本内容及其新推广(包括Schur几何凸函数,Schur调和凸函数,Schur幂凸函数等),重点介绍受控理论在解析不等式(包括平均...
-
刑事证明方法与技巧 修订版
陈为钢,张少林著2012 年出版399 页ISBN:9787510207099本书是综合证据理论与证据运用实践的应用型著作。本书中提出了一种学说,介绍了三种方法,阐释了二个法则,总结了多条技巧,对促进司法工作者尽快掌握刑事证明技巧,保障办案成功具有很大帮助。...
-
贪污贿赂犯罪证明结构与证据标准
杨远波编著2012 年出版250 页ISBN:9787510205804作为犯罪构成要件理论通说即“四要件说”是线性的、平面的,不能很好地解决如何证明犯罪成立的问题,给侦、捕、诉、判等职能部门带来诸多困惑。本书作者研究出一种创新方法,给贪污贿赂的13个罪名分别搭建一个证...
-
数学与现代科学技术丛书 可证明安全算法与协议
张华,温巧燕,金正平著2012 年出版522 页ISBN:9787030335401本书以作者及其课题组多年的研究成果为主体,结合国内外学者在可证明安全算法与协议方面的代表性成果,系统介绍了可证明安全性理论和技术,主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础(第一部...
-
模仿陷阱与经济赶超 中国等后发国家低价工业化实现赶超的理论证明
魏枫著2012 年出版192 页ISBN:9787811295542一个国家的技术发展路线由模仿到创新是否具有内在的转换机制?如果具有,这一机制是什么?现实世界当中众多国家陷于贫困,没能顺利实现由模仿过渡到创新,是哪些条件不具备,或者说是哪些因素制约着这种转换的发生?......
-
精细化司法证明中逻辑与经验基本问题研究
李树真编2012 年出版347 页ISBN:9787516121276逻辑与经验是司法证明中的两个基本问题,逻辑法则和经验法则也是司法证明中的两条基本法则。逻辑本身是逻辑化过程和逻辑结果(法则、规则)的统一,逻辑分别从宏观角度和微观角度为司法证明中的基本问题、具体证明...
-
-