Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
MILLER & FREUND'S PROBABILITY AND STATISTICS FOR ENGINEERS SEVENTH EDITION
[英]RICHARD A.JOHNSON著 章栋恩改编2005 年出版0 页ISBN：
OBJECT-ORIENTED PROGRAMMING：USING C++ FOR ENGINERING AND TECHNOLOGY
[加]斯万克著2003 年出版372 页ISBN：7302072167
本书通过大量的工程技术方面的应用案例，深入浅出地介绍了纯粹的面向对象的C++程序设计方法。
Physical Chemistry Research for Engineering and Applied Sciences Volume 2: Polymeric Materials and P
Eli M. Pearce ; Bob A. Howell ; Richard A. Pethrick ;.Gennady E. Zaikov2015 年出版252 页ISBN：1771880572
公共财政管理 分析与应用 analysis and applications for the public sector
（美）约翰·L. 米克塞尔（John L. Mikesell）著；白彦锋，马蔡琛译2005 年出版759 页ISBN：7300069614
本书从公共行政理论与实践角度，将公共财政与与预算的理论分析与管理实务有机结合，让人们从公共财务行政角度来审视政府的职能与行政效率。...
ENVIRONMENTAL ENGINEERING，SIXTH EDITION ENVIRONMENTAL HEALTH AND SAFETY FOR MUNICIPAL INFRASTRUCTUR
NELSON L.NEMEROW，FRANKLIN J.AGARDY AND PATRICK SULLIVAN2009 年出版556 页ISBN：0470083050
