Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

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

2002 年出版218 页ISBN：3540433767

Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C

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

2005 年出版1221 页ISBN：3540288694

Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss

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

2005 年出版289 页ISBN：3540248439

Lecture Notes in Computer Science 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese

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

2004 年出版457 页ISBN：3540229876

STUDIES IN SURFACE SCIENCE AND CATALYSIS VOL.51 NEW SOLID ACIDS AND BASES THEIR CATALYTIC PROPERTIES

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

1989 年出版370 页ISBN：0444988009

国防科研试验项目管理=the science research test project management of national defence

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

刘汉荣2009 年出版0 页ISBN：

新筠集 广东省社会科学院青年学者选集=Anthology for the Young Scholars of Guangdong Academy of Social Sciences

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

陈贤波主编2012 年出版0 页ISBN：

Combinatorial Programming Methods and Applications Proceedings of the NATO Advanced Study Instiute H

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

Versailles2222 年出版0 页ISBN：

Handbook of carbon nano materials Volume 6 Graphene-Energy and Sensor Applications

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

Francis DSouza ; Karl M. Kadish2014 年出版245 页ISBN：981456673X

Lecture Notes in Computer Science 3399 Web Technologies Research and Development-APWeb 2005 7th Asia

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

2005 年出版1082 页ISBN：354025207X