YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
（美）戈登·史密斯，（美）罗素·帕尔著2012 年出版827 页ISBN：9787121155734
本书为作者对知识产权价值评估工作中的经验、研究及授课内容的总结。本书分为价值评估、许可权交易、侵权损失、相关附录四部分内容，重点阐述了无形资产和知识产权的定义及相关基础知识、常用的价值评估方法...
Power Builder 应用开发用户手册 卷Ⅰ 第6章 PowerBuilder 的 Menu 菜单 对象
晓通网络数据库研究所2222 年出版19 页ISBN：
Power Builder 应用开发用户手册 卷Ⅰ 第8章 PowerBuilder DataWindows 对象的引用
晓通网络数据库研究所2222 年出版98 页ISBN：
Power Builder 应用开发用户手册 卷Ⅱ 第9章 PowerBuilder 的 UserObject 用户对象
晓通网络数据库研究所2222 年出版69 页ISBN：
Power Builder 应用开发用户手册 卷Ⅰ 第4章 PowerBuilder 的 Application 应用 对象
晓通网络数据库研究所2222 年出版23 页ISBN：
仲治国著2010 年出版262 页ISBN：9787894764331
《DOS命令活用实例随手查》从技术人员的角度出发，详细讲解了Windows2000/XP/2003/Vista等系统中数百个DOS命令的功能、参数以及应用实例，为了便于大家查找，特别提供了两种检索方式：即以功能检索和以英文字母排...
倪栋等编著2003 年出版517 页ISBN：7505392093
本书根据不同学科和工程应用共分为8章讲述。内容包括使用ANSYS 7.0软件的基本知识、方法与技巧、建模与网格划分、静力分析、动力学分析、非线性分析、优化设计、热分析与耦合场、计算流体动力学和电磁分析...
路纯红，郭朝勇编著2004 年出版335 页ISBN：7302077584
本书共13章，主要包括AutoCAD基本操作、二维图形的绘制及编辑、块及外部参照的应用、工程标注实例、制作机械图样模板、零件图及装配图的绘制、三维表面模型、实体模型的创建及编辑、由三维实体生成二维视图...
