当前位置：首页 > 名称
大约有194项符合查询结果项。（搜索耗时：0.0071秒）
为您推荐： title x'and extractvalue 1 x and extractvalue title x'and select 1 title x and dbms_pipe title x and select title x'and select from
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
离散和切换力系统 = DISCRETE AND SWITCHING DYNAMICAL SYSTEMS 【数理化】
罗朝俊著；王跃方，黄金，李欣业译2015 年出版277 页ISBN：9787040432312本书用一种清晰简明、独特的观点讨论非线性离散动力系统稳定性和分叉理论，并分析了离散动力系统中稳定性及其切换的复杂性。本书首先介绍了含多重特征根的线性离散系统的解析解和稳定性理论，给出了详细的离散...
-
深奥的简洁 从混沌、复杂到地球生命的起源 Chaos，complexity and the emergence of life 【数理化】
约翰·葛瑞本（GribbinGribbin）著2008 年出版239 页ISBN：9787535754448这个世界似乎相当复杂。我们的生活必须时常提防突如其来的意外事件：随机发生的地震、毫无预警的股市震荡，以及永远会出现失误的天气预报。然而，生命本身似乎才是宇宙中最复杂的现象。那么，我们该如何看待这个世...
-
可压缩流与欧拉方程 英文版 Compressible Flow and Euler's Equations 【数理化】
DemetriosChristodoulou，Shuan2014 年出版582 页ISBN：9787040400984本书主要考虑三维空间中，其初值在单位球面外为常值的任意状态方程的经典可压缩欧拉方程。当初值与常状态差别适当小时，我们建立的定理可以给出关于解的完整描述。特别地，解的定义域的边界包含一个奇异部分，在那...
学科分类