退出
我的积分:
中文文献批量获取
外文文献批量获取
王金双; 张兴元; 杨华兵; 张毓森;
解放军理工大学指挥自动化学院;
江苏;
南京;
210007;
概率空间; Isabelie/HOL/Isar; 定理证明;
机译:无粘接语言:形式化,最大化和构造方法
机译:基于双向有向无环图的并发系统形式化模型
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:用于建模和形式化自适应系统的正确的构造方法
机译:基于特征的设计形式化,用于并发设计装配
机译:几何非线性多体系统的一种模态导数增强鲁宾子构造方法
机译:无债券语言:形式化,最大化和构造方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:概率空间控制系统的设计方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。