退出
我的积分:
中文文献批量获取
外文文献批量获取
陈火旺;
计算机系统;
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:使用Auto2在无类型集理论中对基本组进行形式化
机译:在类型理论中形式化概率概念
机译:在日本软件行业推广形式化方法和FeliCa案例的最佳实践(扩展摘要)
机译:形式化和改进正式的折衷软件开发方法
机译:如果有问题我会通知你:魁北克加拿大癌症学会如何运用行为改变理论数据挖掘和敏捷软件开发来帮助年轻人戒烟
机译:ARO / AFOSR / ONR研讨会,增加形式化方法对计算机辅助软件开发的实际影响:软件切片,合并和集成
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:拉伸和接收织构过程中形成聚酯单胞,织构聚酯单键的方法所采用的形成和缠绕聚酯单胞的方法农业开发音频系统软件开发人员软件开发软件开发软件系统软件开发软件软件开发软件软件开发软件软件开发软件软件开发软件
机译:基于游戏理论的软件开发环境协商需求的系统和方法
机译:利用个人计算机,扫描器和图形理论开发用于多个目的地和路线的检索软件的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。