退出
我的积分:
中文文献批量获取
外文文献批量获取
董笑菊; 傅育熙; 钟发荣;
上海交通大学计算机科学与工程系,上海,200030;
上海交通大学DNA计算机交叉团队,上海,200030;
进程代数; 非对称χ-进程; 互模拟格;
机译:高阶π-演算的互模拟理论研究
机译:格分数演算
机译:走向格分数矢量演算
机译:格多项式和单调布尔函数的基于中值的演算
机译:顶点代数的形式演算,本影演算和基本公理。
机译:用户体验传感器用于人机交互模拟与河内塔的类比
机译:π演算的互模拟和模态逻辑的证明搜索规范
机译:非对称B工厂格的一般性质。
机译:Gartar演算演算演算演算演算
机译:对高度发达的陆地哺乳动物(包括人类)进行算法演算性诊断,人格识别,行为和/或活动预告的方法
机译:新的道路演算辅助装置,新的道路演算辅助方法,计算机程序以及记录介质的记录计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。