机译:无限的历史和哲学2013年9月20日至23日在英国剑桥的科珀斯克里斯蒂学院举行的“形式科学VIII基础”会议上的论文选集
机译:20年的计算科学:从2020年的国际计算科学会议中选出的文件
机译:相互关联的世界的计算科学:从2019年的选择科学会议上的选定论文
机译:EDISON平台:用于应用程序域中性计算科学仿真的软件基础架构
机译:几何结构的心理和生理基础:教育神经科学研究。
机译:生物医学科学选拔研究生的艺术和科学:基础科学博士研究的表现
机译:软件科学与计算结构基础会议论文集,FossaCs 2005.计算机科学讲义3441
机译:计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文