Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con

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

TPHOLs 20052005 年出版409 页ISBN：3540283722

Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con

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

TPHOLs 20042004 年出版337 页ISBN：3540230173

Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy

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

IDA 20052005 年出版522 页ISBN：3540287957

Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International

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

WAIM 20042004 年出版753 页ISBN：3540224181

Lecture Notes in Computer Science 3691 Computer Analysis of Images and Patterns 11th International C

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

CAIP 20052005 年出版865 页ISBN：3540289690

PROCEEDINGS OF 34TH INTERNATIONAL CONFERENCE ON GROUND CONTROL IN MINING (CHINA 2015) THE THEORY AND

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

WENBING GUOYING 年出版0 页ISBN：

STATE ACCOUNTABILITY UNDER INTERNATIONAL LAW HOLDING STATES ACCOUNTABLE FOR A BREACH OF JUS COGENS N

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

LISA YARWOOD2011 年出版182 页ISBN：

Lecture Notes in Computer Science 3498 Advances in Neural Networks-ISNN 2005 Second International Sy

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

Jun Wang2005 年出版1077 页ISBN：

Cognitive Engineering in Complex Dynamic Worlds from a special issue of the international Journal o

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

Erik Hollnagel1988 年出版308 页ISBN：

战略环境评价 国实践与经验=strategic environmrntal assessment a sourcebook and reference guide to international e

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

（英）克莱顿2007 年出版0 页ISBN：