理论计算机科学 形式语义学引论

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

中国科学院计算技术研究所，周巢尘著1985 年出版160 页ISBN：15204·146

通信顺序进程

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

（英）C·A·R·Hoare著；周巢尘译1990 年出版285 页ISBN：7301008139

形式语义学引论 第2版

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

周巢尘，詹乃军著2017 年出版150 页ISBN：9787030533838

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

峨眉天罡指穴法 内功异按踊术

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

周潜川著周巢父，周怀姜整理1985 年出版165 页ISBN：14088·136

食罪者 5

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

宇尘著2020 年出版314 页ISBN：7569935509

子夜歌 第2版

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

胡寄尘著1933 年出版96 页ISBN：

至尊剑仙 中

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

翔尘著2009 年出版252 页ISBN：9787104028666

本书是一部长篇小说。描写了一个少年的命运。

至尊剑仙 上

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

翔尘著2009 年出版252 页ISBN：9787104028666

本书是一部长篇小说。描写了一个少年的命运。

至尊剑仙 下

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

翔尘著2009 年出版252 页ISBN：9787104028666

本书是一部长篇小说。描写了一个少年的命运。

两天

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

罗尘著2009 年出版264 页ISBN：9787020068876

本书为长篇小说。是一本关于时间感受的书。这个城市的孤独者在不断地絮语与追忆，它以惊人的诚恳与极致的偏见纠葛不清，缓缓道来。