玛丽亚·加西亚;纳塔利亚·洛佩斯;伊斯梅尔·罗德里格斯 蚁群优化的全过程代数表示。 (英语) Zbl 07804494号 信息科学。 658,文章ID 120025,第23页(2024).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{M.García}等人,《信息科学》。658,文章ID 120025,23 p.(2024;Zbl 07804494) 全文: 内政部
左正康;曾志成;苏伟;黄,清;柯玉涵;刘增新;王长静;梁伟 基于分区递归求精规则的函数程序生成规范转换方法。 (英语) Zbl 07831789号 信息科学。 633, 613-632 (2023).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等人,《信息科学》。633、613--632(2023;Zbl 07831789) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) 兹比尔1428.68188 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
阿诺希拉万·萨布里;Hadjicostis,Christopros N。 离散事件系统安全应用中初始状态不透明度的验证。 (英语) Zbl 1320.68119号 信息科学。 246, 115-132 (2013).MSC公司:60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Saboori}和\textit{C.N.Hadjicostis},信息科学。246115--132(2013;Zbl 1320.68119) 全文: 内政部
爪哇州阿克巴里·托克斯塔尼;穆罕默德·雷扎·梅博迪 基于学习自动机的随机图最小权连通支配集的求解。 (英语) Zbl 1248.05131号 信息科学。 200, 57-77 (2012).MSC公司:05C69号 05C80号 05C85号 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.Akbari Torkestani}和\textit{M.R.Meybodi},《信息科学》。200、57——77(2012;Zbl 1248.05131) 全文: 内政部
曾宪益;刘泽毅 一种基于学习自动机的连续复杂函数优化算法。 (英语) Zbl 1088.68159号 信息科学。 174,第3-4号,165-175(2005).MSC公司:68T05型 68T20型 90 C59 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zeng}和\textit{Z.Liu},信息科学。174,编号3-4165-175(2005年;兹bl 1088.68159) 全文: 内政部
内德·纳达;郑,M。;贝津斯,V。;卢奇 自动原型工具包(APT)。 (英语) Zbl 1021.68746号 信息科学。 140,第3-4、241-253号(2002年).MSC公司:68单位99 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Nada}等人,《信息科学》。140,编号:3-4241-253(2002年;Zbl 1021.68746) 全文: 内政部
Fehrer、Detlef;赫尔穆特·霍拉切克 在数学证明中提出不等式。 (英语) Zbl 0933.68124号 信息科学。 116,第1期,3-23页(1999年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fehrer}和\textit{H.Horacek},信息科学。116,第1号,第3--23号(1999;Zbl 0933.68124) 全文: 内政部