退出
我的积分:
中文文献批量获取
外文文献批量获取
胡元义;
中国电子学会;
函数;
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:维格函数形式化过程中弹性过程的空间特征描述
机译:一种形式化领域专用建模语言的描述方法
机译:软件体系结构的形式化描述方法
机译:形式化与创新:对过程形式化的人种学研究。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:基于数学逻辑的权限管理系统形式化描述方法
机译:多波形函数的非线性地震速度估计与约束的形式化评估。
机译:通过微处理器执行包括调用函数和调用函数的二进制代码的过程
机译:最终的文本消息半自动生成过程,涉及通过基于函数执行产生的与服务上下文相关的所选属性值,通过将评估函数调用替换为结果来生成消息
机译:使用形式化整体因果导体模型确定通信网络用户线传递函数的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。