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 3640 Peer-to-Peer Systems III 4th International Workshop

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

IPTPS 20052005 年出版288 页ISBN：3540290680

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

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

Jun Wang2005 年出版1077 页ISBN：

Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

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

TPHOLs 20012001 年出版394 页ISBN：354042525X

Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat

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

BNCOD 182001 年出版218 页ISBN：354042265X

Certification and security in health-related web applications : concepts and solutions

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

Anargyros Chryssanthou2011 年出版326 页ISBN：

ENVIRONMENT AND OBJECT RECENT AFRICAN ART

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

LISA ARONSON AND JOHN S.WEBER2012 年出版152 页ISBN：3791352091

Irregular migration and human security in East Asia

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

edited by Jiyoung Song and Alistair D.B. Cook2015 年出版195 页ISBN：9780415732994