机译:函数式编程的计算语义学Jan van Eijck *和Christina Unger?
机译:函数式编程的计算语义学
机译:范·艾克(Van Eijck)和罗斯(Roth)的功利科学教育:为什么对科学和传统生态知识进行重新校准会调用多种观点来保护科学教育免于排他
机译:Nomadic Pict:编程语言,通信基础设施覆盖图和移动计算语义
机译:一种在MPI程序中检测功能无关的障碍的正式方法
机译:满足特定应用语义的精确计算控制程序模型
机译:时空互动与语言处理中的语义控制在功能上相关
机译:Jan van Eijck和Christina Unger撰写的《带功能编程的计算语义学》
机译:国家大坝检查计划。昂格尔大坝(NDI ID号pa-01090,宾夕法尼亚州ID号64-208),特拉华河流域,红色页岩溪,韦恩县,宾夕法尼亚州。第一阶段检查报告