Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of

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

2004 年出版389 页ISBN：354021366X

Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour

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

2007 年出版539 页ISBN：9783540752202

Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C

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

CiE 20072007 年出版826 页ISBN：9783540730002

Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In

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

RuleML 20042004 年出版215 页ISBN：3540238425

Lecture Notes in Computer Science 3251 Grid and Cooperative Computing-GCC 2004 Third International C

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

2004 年出版1025 页ISBN：3540235647

Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In

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

RuleML 20052005 年出版225 页ISBN：354029922X

Lecture Notes in Computer Science 4358 Dynamical Vision ICCV 2005 and ECCV 2006 Workshops WDV 2005 a

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

China2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004

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

2004 年出版233 页ISBN：354022839X

Lecture Notes in Computer Science 4765 Early Aspects:Current Challenges and Future Directions 10th I

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

Canada2007 年出版0 页ISBN：

Lecture Notes in Computer Science 4267 Autonomic Management of Mobile Multimedia Services 9th IFIP/I

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

MMNS 20062006 年出版257 页ISBN：3540476547