Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I

下载此书RAR压缩包在线购买PDF电子书

ISSS 20032004 年出版345 页ISBN：354023635X

Tensor analysis with applications in mechanics = 张量分析及其在力学中的应用

下载此书RAR压缩包在线购买PDF电子书

Leonid P. Lebedev ; Michael J. Cloud ; Victor A. Eremeyev2015 年出版364 页ISBN：7510084539

这是一部简明清晰，并且自称体系的有关张量、张量域及其应用的教材。书中囊括了学习有关张量应用的必需的所有内容，以及阐明了这些材料如何应用在力学中，也包括弹性线性理论基础和弹性壳体。前四章表述了所有的...

任继周文集 草业系统耦合与生态生产力 System coupling and ecological productivity of grassland farming systems第3卷

下载此书RAR压缩包在线购买PDF电子书

任继周著2007 年出版502 页ISBN：9787109124554

本书共收集了任继周院士1986～2000年间有关草业农业的实践与理论两个方面论文50篇。

theory on networked control for discrete-time systems date-rate theorem = 离散系统网络化控制理论传输速率定理

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physical

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T17907-1999 机械式停车设备 通用安全要求=Mechanical parking systems-General safety requirement

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

the seiberg-witten equations and applications the topology of smooth four-manifolds = 赛伯格-威顿方程及其在光滑四

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

THE STATE OF THE WORLD'S LAND AND WATER RESOURCES FOR FOOD AND AGRICULTURE MANAGING SYSTEMS AT RISK

下载此书RAR压缩包在线购买PDF电子书

2011 年出版285 页ISBN：9251066140

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

下载此书RAR压缩包在线购买PDF电子书

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

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

modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi

下载此书RAR压缩包在线购买PDF电子书

bran selic2014 年出版287 页ISBN：0124166199