亚特兰蒂斯计算机研究
7 奥内拉·达达 :
键入分布式程序的系统:组件和会话。 亚特兰蒂斯计算机研究 7, 斯普林格/亚特兰蒂斯出版社 2016 ,国际标准图书编号 978-94-6239-203-8 5 雅各布·毛罗 :
约束满足并发性。 亚特兰蒂斯计算机研究 5, 亚特兰蒂斯出版社 2014 ,国际标准图书编号 978-94-6239-066-9 第i-xv页,1-148 4 罗萨诺·文丘里尼 :
字符串的压缩数据结构-关于从压缩文本数据中搜索和提取字符串。 亚特兰蒂斯计算机研究 4, 亚特兰蒂斯出版社 2014 ,国际标准图书编号 978-94-6239-032-4 第i-xiv页,1-118页 三 法比奥·莫加维罗 :
计算机科学中的逻辑学——时间逻辑和战略逻辑的扩展研究。 亚特兰蒂斯计算机研究 三, 亚特兰蒂斯出版社 2013 ,国际标准图书编号 978-94-91216-94-7 第I-XVII、1-149页 2 简·A·伯格斯特拉 , 科内利斯·A·米德尔堡 :
计算机科学教学序列。 亚特兰蒂斯计算机研究 2, 亚特兰蒂斯出版社 2012 ,国际标准图书编号 978-94-91216-64-0 第i至xvi页,第1-229页 1 杰罗恩·阿诺德斯 , Mark G.J.van den Brand公司 , 亚历山大·塞雷布雷尼克 , 雅各布·布鲁克利夫 :
使用模板生成代码。 亚特兰蒂斯计算机研究 1, 亚特兰蒂斯出版社 2012 ,国际标准图书编号 978-94-91216-55-8 第I-IX页,1-204年