交互式定理证明与程序开发百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有451,857项符合查询结果项。（搜索耗时：0.3768秒）

交互式安全管理理论与实务

购买本书
许正权著2007 年出版217 页ISBN：7509600383
本书介绍了交互式安全管理的理论及应用。
排列组合与二项式定理

购买本书
王三年，张景陶编1984 年出版204 页ISBN：7306·53
几何证明题与作图题

购买本书
赵华，季家修编著1956 年出版108 页ISBN：7100·317
Galois定理与群论

购买本书
勒贝尔，佩捷，刘立娟编译2016 年出版567 页ISBN：7560358079
关于证明与反驳的逻辑学说

购买本书
（苏）阿斯穆斯，В.Ф.著；慎微译1954 年出版126 页ISBN：
推理与证明现代逻辑的技巧

购买本书
（日）内井惣七著；陈祖军，王学等译1988 年出版177 页ISBN：7300004083
交互式系统原理与设计

购买本书
（美）奥沙利文（OSullivan，D.），（美）依葛（Igoe，T.）著；张瑞萍译2006 年出版372 页ISBN：7302127050
本书介绍交互式系统的原理与设计，从基础到高级方法，全书共分14章和一个附录，面向广大从事物理计算的人士。
民事证明制度与理论

购买本书
罗玉珍，高委主编2003 年出版743 页ISBN：7503639059
本书是一本以反映我国民事证据法学中有关民事证明制度理论研究现状与研究资料为目的的文献汇编。
愿望与效果用结果证明自己

购买本书
齐善鸿著2004 年出版214 页ISBN：7501759898
本书讲述职场中愿望与效果的关系。
指标定理与热方程方法

购买本书
虞言林著1996 年出版255 页ISBN：7532339092