当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0276秒)
为您推荐: 防空导弹结构与强度 导弹工程手册 计算结构 并行计算机体系结构 并行计算机体系结构第二版 建筑工程常用计算速查手册基于excel应用
-
-
断裂力学中的数值计算方法及工程应用 【数理化】
谢德著2009 年出版226 页ISBN:9787030251671本书系统地介绍了断裂力学中的数值方法以及工程应用背景。全书共分六章,在第一章中全面介绍了断裂力学中的三个主要参数(应力强度因子、J积分和能量释放率)以及相应的数值计算方法,并通过对一个典型例题给出了...
-
-
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
核色动力学导论 量子色动力学及其对核子和核结构体系的应用 【数理化】
何汉新著2009 年出版402 页ISBN:9787312022371本书主要介绍现代核物理的一个新的前沿研究方向:对强相互作用基本理论与标准模型的进一步探究及对核结构体系的应用。全书尝试以强相互作用基本理论量子色动力学(Quantum Chromodynamics(QCD))为基础,比较系统的...
-
