Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur

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

ESAS 20052005 年出版219 页ISBN：3540309128

Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I

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

ICATPN 20072007 年出版515 页ISBN：9783540730934

分子及凝聚态系统物性的计算模拟：从电子机构到分子动力学=Computer sim-ulations of molecules and condensed matters:from electronic

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

饶静著2014 年出版0 页ISBN：

Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I

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

ISSS 20032004 年出版345 页ISBN：354023635X

Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe

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

ESAS 20072007 年出版247 页ISBN：9783540732747

Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re

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

1993 年出版372 页ISBN：3540574999

计算机系统要素 从零开始构建现代计算机 building a modern computer from first principles

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

（美）Noam Nisan，（美）Shimon Schocken著；周维，宋磊，陈曦译2007 年出版325 页ISBN：7121033364

本书通过展现简单但功能强大的计算机系统之构建过程，为读者呈现了一幅完整、严格的计算机应用科学大图景。本书作者认为，理解计算机工作原理的最好方法就是亲自动手，从零开始构建计算机系统。通过12个章节和项...

temporal logic and temporal logic progamming

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

duan zhenhua2222 年出版196 页ISBN：7030166515

本书主要介绍有关计算机科学与技术方面的基本知识和应用等。

COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG

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

DAVID MAIER1987 年出版535 页ISBN：0805366814

EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE

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

NICHOLAS RESCHER2222 年出版140 页ISBN：