Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S

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

Communication and Software Systems2007 年出版470 页ISBN：

地铁车站空间环境设计 程序·方法·实例 method procedures example

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

郭晓阳，王占生编著2014 年出版366 页ISBN：9787517020707

随着我国城市建设的快速发展，轨道交通工程日益增多，轨道交通空间设计急需总结实践和规范流程，本书以实例为基础，详细介绍了轨道交通空间设计的程序和方法。全书共分12章，分别是：轨道交通发展概述、轨道交通空间.....

Large scale inverse problems computational methods and applications in the earth sciences volume 13

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

Mike Cullen ; Melina A. Freitag ; Stefan Kindermann ; Robert Scheichl2013 年出版206 页ISBN：3110282221

high efficient and accuracy numerical methods for optimal control problems = 最优控制问题高效高精度算法

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

2222 年出版0 页ISBN：

国际汉语教学 词汇教学方法与技巧=international chinese teaching methods and techniques for teaching chinese vocabu

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

2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica

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

2005 年出版413 页ISBN：3540249362

Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv

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

1985 年出版573 页ISBN：3540152164

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal

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

2006 年出版620 页ISBN：3540372156

Lecture Notes in Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus

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

1991 年出版331 页ISBN：3540538356

Spectroscopic methods in ligand protein interactions new insight into drug-protein binding mechanism

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

Rohan P.Perera ; Vijayantha Liyanage2010 年出版125 页ISBN：3838390468