×

找到63个文档(结果1-63)

平面动力系统分岔的计算机证明。 (英语) Zbl 0876.65053号

Berz,Martin(编辑)等人,《计算微分:技术、应用和工具》。第二届计算微分国际研讨会论文集,1996年2月12日至14日。宾夕法尼亚州费城:SIAM。229-237 (1996).
MSC公司:65升05 37倍X 34C23型
PDF格式BibTeX公司 XML格式引用

软件工程指南。 (英语) Zbl 0874.68027号

伦敦:普伦蒂斯·霍尔。x、 544页(1996年)。
PDF格式BibTeX公司 XML格式引用

结合切片和约束求解对测量软件进行验证。 (英语) Zbl 1482.68094号

Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 332-348 (1996).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交叉验证函数的渐近展开。 (英语。乌克兰原文) Zbl 0937.62066号

理论问题。数学。斯达。 54, 1-9 (1997); 来自Teor的翻译。乔莫维恩。《材料统计》54,1-9(1996)。
PDF格式BibTeX公司 XML格式引用

移动检验和交叉验证方法:它们在结构识别中的有效性。 (英语。俄文原件) Zbl 0923.62075号

自动化。远程控制 57,第9号,第1部分,1254-1261(1996); Avtom翻译。Telemekh公司。1996年,第9期,43-51(1996)。
MSC公司:62J05型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者