Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop

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

TYPES 2006 Nottingham2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop

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

TYPES 2003 Torino2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern

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

COCOS 20032005 年出版192 页ISBN：354026003X

Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine

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

GTTSE 20052006 年出版471 页ISBN：354045778X

Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen

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

DIMVA 20062006 年出版195 页ISBN：354036014X

Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference

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

NPC 20052005 年出版513 页ISBN：354029810X

Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries

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

Serge Abiteboul1999 年出版499 页ISBN：3540665587

Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries

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

Rachel Heery2004 年出版528 页ISBN：3540230130

集团诉讼问题研究 about its problems of system and practice

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

范愉编著2005 年出版476 页ISBN：7301097972

本书是国内第一部系统研究集团诉讼问题的专著，由四个组成部分构成。在理论上分析了现代集团诉讼的功能和意义；通过比较法考察和分析，指出各种集团诉讼模式的利弊及其运行的社会条件及移植的可能；以实证方法揭示...

Benchhmark Papers in Electrical Engineering and Computer Science/27 DISTRIBUTED PARAMETER SYSTEMS TH

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

PART II:Estimation1983 年出版392 页ISBN：