关键词: 子空间  不变式  数学理论  计算方法  

2008年第03期 《数学学报》

关键词: 不变式  曲线  平面图形  分析方法  

2008年第04期 《数学学报》

关键词: 系统设计原则  程序设计风格  bjarne  类  不变式  多重继承  

2004年第06期 《程序员》

关键词: b方法  形式化方法  弹道计算机  抽象机  不变式  

2005年第12期 《计算机工程与设计》

关键词: 点群  不可约表示  基函数  不变式  自由能展开式  landau理论  

2005年第04期 《数学物理学报》

关键词: 形式规格说明  验证  z  证明责任  前置条件  不变式  

2005年第05期 《上海大学学报·自然科学版》

关键词: 对偶联络  相互联络  射影半对称联络  不变式  

2013年第05期 《南开大学学报·自然科学版》

关键词: 变系数  常微分方程  不变式  求法  

2006年第04期 《延安职业技术学院学报》

关键词: abel型微分方程  等价类  不变式  可积类  符号微分方程式的解算  坐标转换  

2006年第01期 《湖北工业大学学报》

关键词: 半环  坡  可逆矩阵  不变式  

2006年第03期 《数学进展》

关键词: 半环  坡  可逆矩阵  不变式  

2006年第06期 《天津商业大学学报》

关键词: 形式化方法  契约  不变式  物流信息系统  

2006年第22期 《计算机工程与设计》

关键词: 抽象解释  抽象域  不变式  析取语义  循环分解  

2016年第07期 《软件学报》

关键词: petri网  不变式  量词消去  半代数变迁系统  

2011年第01期 《上海电力学院学报》

关键词: petri网  不变式  半代数系统  半代数变迁系统  

2009年第04期 《计算机应用研究》

关键词: 程序验证  安全性  不变式  断言  

2011年第07期 《计算机与现代化》

关键词: 不变式  有限域  矩阵群  

2011年第03期 《数学物理学报》

关键词: z规格说明  受限状态空间  初始状态  不变式  

2009年第09期 《计算机工程》

关键词: 言语感知  范畴听辨  不变式  肌动理论  模块理论  轨迹模型  

2009年第23期

关键词: 不变式  停机性验证  最优化问题  复杂度上界  

2012年第04期 《计算机工程与科学》