Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa

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

2005 年出版223 页ISBN：3540255761

Lecture Notes in Computer Science 4277 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work

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

2006 年出版1009 页ISBN：3540482695

Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu

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

2004 年出版278 页ISBN：3540211829

Lecture Notes in Computer Science 4278 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work

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

2006 年出版2013 页ISBN：3540482733

Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

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

2002 年出版218 页ISBN：3540433767

Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss

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

2005 年出版289 页ISBN：3540248439

Lecture Notes in Computer Science 3149 Euro-Par 2004 Parallel Processing 10thInternational Euro-Par

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

Italy2004 年出版0 页ISBN：

Lecture Notes in Computer Science 2996 STACS 2004 21st Annual Symposium on Theoretical Aspects of Co

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

France2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3404 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Co

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

Germany2005 年出版0 页ISBN：

Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S

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

2004 年出版240 页ISBN：354020766X