老穆雷;亚当·皮戈特 重写系统、普通组和大地测量图。 (英语) Zbl 1533.68122号 西奥。计算。科学。 903, 134-144 (2022).MSC公司:2012年第68季度 05C12号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Elder}和\textit{A.Piggott},Theor。计算。科学。903134-144(2022年;Zbl 1533.68122) 全文: 内政部 arXiv公司
米罗斯拉夫斯坦科维奇;埃齐奥·巴托西;劳拉·科瓦奇 贝叶斯网络特性的基于矩的分析。 (英语) Zbl 07467471号 西奥。计算。科学。 903, 113-133 (2022).MSC公司:62H22个 PDF格式BibTeX公司 XML格式引用 \textit{M.Stankovič}等人,Theor。计算。科学。903113--133(2022年;Zbl 07467471) 全文: 内政部 OA许可证
法比奥·加杜奇;埃尔南·梅尔格拉蒂;克里斯蒂安·罗尔丹;马蒂奥·桑马蒂诺 复制数据类型的分类规范和实现。 (英语) Zbl 1533.68185号 西奥。计算。科学。 903,84-112(2022).MSC公司:68问题65 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人,Theor。计算。科学。903,84-112(2022;Zbl 1533.68185) 全文: 内政部
艾克·诺依曼 关于单位平方的自同构集的可计算性。 (英语) Zbl 1533.03028号 西奥。计算。科学。 903, 74-83 (2022).MSC公司:03D78号 68单位05 PDF格式BibTeX公司 XML格式引用 \文本{E.Neumann},Theor。计算。科学。903、74-83(2022年;Zbl 1533.03028) 全文: 内政部
金,赵;张博文;张磊;曹永志;王汉平 用于云存储系统本地推理的自适应完整证明系统。 (英语) Zbl 1517.68103号 西奥。计算。科学。 903, 39-73 (2022).MSC公司:68第20页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。903,39-73(2022年;兹bl 1517.68103) 全文: 内政部
彼得·扬查尔 基本并行过程的相似性。 (英语) Zbl 1533.68193号 西奥。计算。科学。 903,26-38(2022).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},Theor。计算。科学。903,26-38(2022;Zbl 1533.68193) 全文: 内政部
徐,熊;王淑玲;詹伯华;金、项羽;Jean-Pierre塔宾;詹乃军 通过结合AADL和Simulink/Stateflow,对网络物理系统进行统一的图形联合建模、分析和验证。 (英语) Zbl 1533.68181号 西奥。计算。科学。 903, 1-25 (2022).MSC公司:60年第68季度 68问题55 68问题85 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,Theor。计算。科学。903,1--25(2022;Zbl 1533.68181) 全文: 内政部