大约有4,000项符合查询结果项。（搜索耗时：0.0304秒）
为您推荐： 从算法原理到代码实现 计算机图形学原理与实现 算法与实现实验指导 计算机算法设计与分析 rru设计原理与实现 ceph设计原理与实现
-
-
模型论及其在计算机科学中的应用 【数理化】
北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
-
非完整系统的运动方程和力学的变分原理 新一类控制问题 【数理化】
（俄）C. A. 杰格日达（C. A. Зегжда），（俄）Ш. X. 索尔塔哈诺夫（Ш. Х. Солтаханов），（俄）M. П. 尤士科夫（М. П. Юшков）著；梅凤翔译2007 年出版268 页ISBN：7564010290本书提出推导完整系统和带任意阶约束的非完整系统运动方程的普遍方法，将广义坐标中的运动方程组作为在给定时刻对系统可能位置流形的切空间中写出的一个矢量等式来研究，切空间用约束方程分成两个正交子空间，在...
-
-
断裂力学中的数值计算方法及工程应用 【数理化】
谢德著2009 年出版226 页ISBN：9787030251671本书系统地介绍了断裂力学中的数值方法以及工程应用背景。全书共分六章，在第一章中全面介绍了断裂力学中的三个主要参数（应力强度因子、J积分和能量释放率）以及相应的数值计算方法，并通过对一个典型例题给出了...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
聚集力学原理及其应用 【数理化】
童景山著2007 年出版315 页ISBN：7040206064分子聚集是自然界中普遍存在的现象，本书是在对该现象长期进行理论和实验研究的基础上撰写而成的具有崭新理论的专著。本文分为两篇，共六章。第1篇（第1、2、3章）是基本理论，主要阐述分子聚集行为的本质规律，包括.....
-
波动系统的定性分析与数值计算 【数理化】
姜晓丽著2018 年出版176 页ISBN：9787030583529全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...
-
科学程序设计引论 用Mathematica和C求解计算问题 【数理化】
（美）Joseph L.Zachary著；裘宗燕等译2001 年出版369 页ISBN：7040093987本书是根据Springer-Verlag出版的Introduction to Scientific Programming译出的。本书的目的是教授大学理工科新生如何求解在专业工作中遇到的科学计算问题，并为他们今后的继续学习打下坚实的基础。 为...
-
计算反演问题中的优化与正则化方法及其应用 国内英文版 【数理化】
王彦飞，（俄）亚哥拉，杨长春主编2010 年出版350 页ISBN：9787040285154本书为英文版，由高等教育出版社与施普林格出版社共同合作出版，在世界范围内发行。反演问题存在于物理学、工程、数学的多个分支，由于对应用的重要性近年来发展很快，在地震勘查、图像重建、X线断层摄影术等方面...