Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte

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

DISCO93 Gmunden2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I

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

2005 年出版493 页ISBN：3540255591

Lecture Notes in Artificial Intrlligence 4342 Theory and Applications of Relational Structures as Kn

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

TARSKI2006 年出版373 页ISBN：

Lecture Notes in Computer Science 4347 Critical Information Infrastructures Security First Internati

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

CRITIS 20062006 年出版285 页ISBN：9783540690832

Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004

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

2004 年出版822 页ISBN：3540232419

Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007

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

2007 年出版890 页ISBN：9783540749691

Lecture Notes in Computer Science 4449 Implementation and Application of Functional Languages 18th I

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

IFL 20062007 年出版271 页ISBN：9783540741299

Lecture Notes in Computer Science 3754 Management of Multimedia Networks and Services 8th Internatio

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

MMNS 20052005 年出版384 页ISBN：3540296417

Lecture Notes in Computer Science 3474 Implementation and Application of Functional Languages 16th I

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

IFL 20042005 年出版227 页ISBN：3540260943

Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy

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

FMCO 2005 Amsterdam2222 年出版0 页ISBN：