退出
我的积分:
中文文献批量获取
外文文献批量获取
林惠民;
无;
进程代数; 数据传送进程; 符号互模拟; 程序;
机译:通过演化符号执行促进程序性能分析
机译:基于学习的符号假设 - 通过使用间隔马尔可夫进程来保证Markov决策过程的推理
机译:以土地和符号交易难民:奥斯陆进程中的巴勒斯坦谈判战略
机译:使用重写Modulo SMT符号规范和验证数据感知BPMN进程
机译:民族冲突中的符号与安全:巴以和平进程中的建立信任,1993--1995年。
机译:用户体验传感器用于人机交互模拟与河内塔的类比
机译:数据传送:关于BGs数据传送机制的介绍
机译:捕获DsN软件错误消息以改进软件,操作和数据传送
机译:数据传送控制装置,其集成电路,其数据传送控制方法,数据传送完成通知装置,其集成电路,其数据传送完成通知方法以及数据传送控制系统
机译:声音数据传送系统,声音数据传送方法,在声音数据传送系统中使用的传送服务器,在声音数据传送系统中使用的客户端终端,以及包含程序的计算机可读记录介质,该程序包含应用程序在计算机中使用的数据传送系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。