返回首页 联系帮助
通信顺序进程
下载此书RAR压缩包在线购买PDF电子书
(英)C·A·R·Hoare著;周巢尘译1990 年出版285 页ISBN:7301008139
理论计算机科学 形式语义学引论
中国科学院计算技术研究所,周巢尘著1985 年出版160 页ISBN:15204·146
形式语义学引论 第2版
周巢尘,詹乃军著2017 年出版150 页ISBN:9787030533838
本书包含三个内容:操作语义学、指称语义学和公理语义学,但不包括代数语义学。本书涉及非确定性和并发性,也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例,介绍操作语义学、指称语义学和公理语...
峨眉天罡指穴法 内功异按踊术
周潜川著周巢父,周怀姜整理1985 年出版165 页ISBN:14088·136
阿霞姑娘 英汉对照
(俄)屠格涅夫著;蒯斯昏,席涤尘译1933 年出版193 页ISBN:
太太杀手
(英)玛蒂纳·考尔著;杨照尘译1999 年出版531 页ISBN:7505930826
百喻经浅说
胡寄尘译述1932 年出版56 页ISBN:
俄语标准发音
(苏)阿瓦涅索夫(Р.И.Аванесов)著;王超尘译1956 年出版256 页ISBN:
欧·亨利中短小说选
(美)欧·亨利著;衣尘译2222 年出版331 页ISBN:
三等经理
(日)源氏鸡太著;王玉林,刘涤尘译1985 年出版459 页ISBN:10397·25