硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

纳米构件操作的机理 方法及跟踪定位 【工业技术】

本书全面系统地介绍了纳米构件操作的机理、方法及操作过程中的驱动器和操作系统的跟踪定位。全书共7章：首先介绍了纳米构件操作的种类、方法、跟踪定位及其应用；其次分析了纳米构件操作的机理并利用分子动力...

信号与系统 基于MATLAB的方法 using MATLAB 【工业技术】

主要内容包括连续周期信号的傅里叶级数、连续非周期信号的傅里叶变换、连续信号的拉普拉斯变换和离散信号的Z变换。在系统分析方面，介绍系统的各种描述方法和分析方法，包括：连续系统微分方程的建立、离散系统...

新一代信息系统 面向对象信息系统的分析与设计 【工业技术】

介绍了C++、Smalltalk-80面向对象的程序设计语言和数据库系统

计算机操作系统实验教程 MINIX的使用、分析和实现 【工业技术】

材料加工过程的建模与数值分析 【工业技术】

本书主要内容包括：数学模型与建模方法，回归分析，人工神经网络，实验化设计，相似理论，有限差分，有限元及热力学计算等材料加工中的常用建模方法与算法；热处理、铸造、焊接塑性成形几个典型加工过程的建模与数值......

水晶石技法 3ds Max建筑模型实战手册 【工业技术】

本书由水晶石数字场景部编写，内容包括水晶石建模的规范和标准。书中场景全部来自水晶石真实工作案例，是水晶石内部工作标准的首度全面公开，是读者学习和掌握水晶石建筑模型规范的宝贵资料，也是参与水晶石项目外...

功能性纺织品检测与评价方法的研究 【工业技术】

本书针对纺织品的防污、防水、防蚊、负离子、微磁场和远红外等功能性检测和评价方法进行研究，详细阐述了检测原理、仪器设备、试验步骤、结果表征以及指标评价等的确定依据。本书可作为相关产品研发人员了解...

软件测试 一个软件工艺师的方法 原书第4版 【工业技术】

本书是经典的软件测试教材，也可作为软件测试者、开发者和工程师的参考书。书中对基础知识、方法提供了系统的综合阐述，既涉及基于模型的开发，又介绍了测试驱动的开发，做到了理论与实践的完美结合，反映了软件标准...

混凝土和钢筋混凝土的腐蚀及其防护方法 【工业技术】

根据苏联Стройиздат1980年俄文版译出.--译自:Коррозиябетонаижелезобетона