退出
我的积分:
中文文献批量获取
外文文献批量获取
李侃; 王兵山; 李舟军;
无;
机译:实时并发约束演算:完整的操作语义
机译:面向对象语言中量子计算的单子语义
机译:命令式面向对象语言的语义子类型化
机译:并发面向对象语言中的并发控制级别的另一个建议
机译:并发面向对象语言的可扩展性和重用语言功能
机译:演算法一线治疗转移性透明细胞肾细胞癌的研究—使用诊断节点进行分析
机译:π演算的并发语义1这项工作得到了Esprit基础研究项目CONFER和工作组COMPUGRAPH II以及CNR特别项目“数字系统的高级规范和形式验证”的部分支持。
机译:对象作为闭包:面向对象语言的抽象语义
机译:Gartar演算演算演算演算演算
机译:从命令式面向对象语言中提取功能语义和隔离的数据流
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。