当前位置：首页 > Lecture Notes in Computer Science 2118 Advances in Web-Age Information Management Second Internation相关PDF电子书下载
-
Lecture Notes in Computer Science 3706 Principles and Practice of Constraint Programming-CP 2005 11t
CP 20052005 年出版887 页ISBN：3540292381 -
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059 -
Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442 -
Lecture Notes in Computer Science 4204 Principles and Practice of Constraint Programming-CP 2006 12t
CP 20062006 年出版774 页ISBN：3540462678 -
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173 -
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095 -
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680 -
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039 -
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X -
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X