Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr

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

2004 年出版134 页ISBN：3540209719

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier

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

2007 年出版273 页ISBN：9783540731467

LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6

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

G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453

Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ

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

2006 年出版240 页ISBN：3540346635

Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia

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

2006 年出版1223 页ISBN：3540311424

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Progr

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

UK2002 年出版0 页ISBN：

Lecture Notes in Computer Science 3525 Communicating Sequential Processes The First 25 Years Symposi

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

UK2005 年出版0 页ISBN：

Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par

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

Wolfgang E.Nagel2006 年出版1221 页ISBN：

Lecture Notes in Computer Science 3844 Satellite Events at the MoDELS 2005 Conference MoDELS 2005 In

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

Educators Symposium2006 年出版360 页ISBN：3540317805

LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED

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

G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560