×

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

面向方面的多态类型函数语言的编译模型。 (英语) Zbl 1211.68062号

Nielson、Hanne Riis(编辑)等,《静态分析》。2007年8月22日至24日,第14届国际研讨会,SAS,丹麦,Kongens Lyngby。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74060-5/pbk)。计算机科学课堂讲稿4634,34-51(2007)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 (英语) Zbl 1081.68604号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576158-163(2005)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

专家系统和模式分析。IEEE研讨会论文集,法国巴黎,1986年10月31日。转载自《国际模式识别与人工智能杂志》,1987年,第1(2)卷,第177-302页。 (英语) Zbl 0752.68003号

新加坡等:世界科学出版有限公司第五版,125页(1988年)。
MSC公司:68-06 68吨10 68层35
PDF格式BibTeX公司 XML格式引用

材料无损评价中的信号处理和模式识别。1987年8月19日至22日,在魁北克(加拿大)博波特湖Manoir St-Cast举行的北约高级研究研讨会会议记录。 (英语) Zbl 0723.73005号

北约ASI系列,F,44。柏林等:Springer-Verlag。八、 第344页,124.00德国马克(1988年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份