退出
我的积分:
中文文献批量获取
外文文献批量获取
杨国伟; 杨秋松; 翟健; 袁峰;
中国科学院软件研究所;
互联网软件技术实验室;
北京;
100080;
中国科学院研究生院;
100039;
软件过程建模; 多元π演算; ASPMS系统; 形式化分析; 验证;
机译:基于微波电路建模的光前馈发射机的系统设计与实现
机译:基于B / S结构的可视化工作流建模系统的设计与实现
机译:基于随机过程代数的软件过程仿真建模
机译:基于图形计算器的大学代数课程:通过建模和可视化检查大学代数的效果,以提高学生的数学成绩和态度。
机译:基于IETF的基于语义传感器网络的电子卫生系统的设计与实现YANG
机译:基于知识的软件过程模型选择系统建模
机译:计算科学。走向基于云的软件过程建模与制定。
机译:基于HOOJI代数的多值非两级连接方式,基于HOOJI代数的多值非偶两级连接方式,基于HOOJI代数的多值偶两级连接方式以及基于多值的非两级连接
机译:基于移动终端及其记录介质的基于信息建模的通信系统,基于信息建模的通信服务器和基于信息建模的通信方法
机译:移动终端及其记录介质中基于建筑物信息建模的通信系统,基于建筑物信息建模的通信服务器和基于建筑物信息建模的通信方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。