退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:可重新配置的异步管道:从正式模型到硅
Danil Sokolov; Alessandro de Gennaro; Andrey Mokhov;
机译:使用形式化模型对存在过程变化的异步管道进行统计分析
机译:可重新配置异步管道的设计与实现
机译:分析异步管道对软错误的漏洞:利用形式验证
机译:可重新配置的异步管道:从形式模型到芯片
机译:准延迟不敏感异步电路的正式建模与验证方法
机译:经验丰富的集成传感管道:可重新配置的超表面收发器作为人工神经网络中可训练的物理层
机译:基于自适应延迟的可重新配置异步管道
机译:异步通信的正式模型及其在机械验证双相标记协议中的应用
机译:一种信息建模,表示和集成的信息进程与不同型号的知识表示的无需使用正式语言的方法,这是一种基于结构化数据的有限集合来呈现描述这些对象的半结构化数据的方法
机译:用于信息建模的方法,并且代表不同知识表示模型的信息过程的任意对象,而无需集成和正式语言,以及用于基于结构化数据的有限集合描述所述对象的半结构化数据的方法
机译:用于信息建模的方法,以及不同知识表示模型的信息过程的任意对象,而无需集成和正式语言,以及用于基于结构化数据的有限集合描述所述对象的半结构化数据的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。