面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

计算机辅助设计与制造CAD\CAM系列 MATLAB 2018数学计算与工程分析从入门到精通 【数理化】

本书主要讲解了利用MATLAB 2018进行数学计算和工程分析的各种方法和技巧，主要内容包括MATLAB的入门和基础知识、数据可视化与绘图、试验数据分析与处理、矩阵分析、数学分析、微分方程、优化设计、MATLAB联...

国外航空技术 断裂力学实验技术 【数理化】

计算技术附件-计算技术习题集 【数理化】

高等学校规划教材 计算机实用软件应用系列教程 LMS VIRTUAL.LAB MOTION进阶与案例教程 【数理化】

本书从LMS Virtual. Lab motion的高级功能与应用出发，结合工程实际，系统阐述了该软件的高级功能和操作技巧，对每个功能都辅以相应的案例进行介绍，为了方便读者进行学习，本书的案例均收录于配书的DVD光盘中。本书...

光学与光谱技术 光谱技术进展 译文集 增刊 1983 【数理化】

光子学技术 信息化时代的支撑技术 【数理化】

计算技术附件二-全国珠算技术等级鉴定标准练习题 【数理化】

科学技术成果报告 用样条函数和统计技术作拟合曲线 【数理化】

光学非线性测量新技术 4f相位成像技术 【数理化】

本书主要介绍了4f相位成像技术的基本原理，重点描述了本研究组发展的4f相位成像技术的改进：包括同时测量非线性吸收和折射的4f相位成像技术、时间分辨4f相位成像技术、双4f相位成像技术、测量厚介质的4f相位成...