大约有3,000项符合查询结果项。（搜索耗时：0.0238秒）
为您推荐： 城市污水厂处理设施设计计算 污水处理厂工艺设计手册第三版 城市污水处理厂运行管理 金属学与热处理第三版 污水处理厂工艺设计手册 算法设计与分析第三版
-
-
数 计算机、哲学家及对数的含义的探索 Number computers， philosophers & the search for meaning eng 【数理化】
（美）约翰·塔巴克（John Tabak）著；王献芬，王辉，张红艳译2008 年出版203 页ISBN：9787100055772书中不仅向我们展示了各种不同的计数系统以及其演变过程，而且还就人类对数的概念的认识过程及进展加以详细地描述。特别地，书中还回顾了数与计算机的发展之间的紧密联系。...
-
非结构网格计算格式研究及环境湍流模拟 【数理化】
华祖林，邢领航，顾莉等著2010 年出版203 页ISBN：9787030285263本书是对非结构网格数值计算格式的性能研究方面及在环境水力学中应用的最新成果的专著。全书共分六章，首先针对对流项离散格式，基于SIMPLE类算法分别对UDS、CDS、HDS、PDS、Q-QUICK和NQ-QUICK格式等来综合研...
-
电磁场数值计算法与MATLAB实现 【数理化】
何红雨编著2004 年出版153 页ISBN：7560930689本书主要讨论二维静态电磁场数值计算方法及如何用MAT—LAB来实现。MATLAB是近年来在欧美地区十分流行的一种通用性很强的、高性能的、专门用于科学和工程计算和可视化的优秀工具软件，它集数值分析、矩阵计算...
-
模型论及其在计算机科学中的应用 【数理化】
北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
-
断裂力学中的数值计算方法及工程应用 【数理化】
谢德著2009 年出版226 页ISBN：9787030251671本书系统地介绍了断裂力学中的数值方法以及工程应用背景。全书共分六章，在第一章中全面介绍了断裂力学中的三个主要参数（应力强度因子、J积分和能量释放率）以及相应的数值计算方法，并通过对一个典型例题给出了...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
第一性原理计算 TiO2表面 【数理化】
刘华忠著2017 年出版163 页ISBN：9787560596808作为一种新型的研究手段，第一性原理在材料研究领域有着广泛的应用。本书将利用第一性原理从微观角度探究金红石型TiO2、锐钛矿型TiO2以及TiO2-B等TiO2基光催化材料的活性表面对几种常见有害气体（如HCHO、CO、...
-
波动系统的定性分析与数值计算 【数理化】
姜晓丽著2018 年出版176 页ISBN：9787030583529全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...
-
