×

找到16个文档（结果1-16）

最新的 引文 相关性
杰里米·康迪特;布莱恩·哈克特;Lahiri，Shuvendu K。;沙兹·卡迪尔

统一低级代码的类型检查和属性检查。 （英语） Zbl 1315.68086号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。302-314 (2009).
MSC公司：68纳米30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Condit}等人，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。302-314（2009；Zbl 1315.68086）
全文： 内政部
de Oliveira，Diego Caminha B。;大卫·Déharbe;帕斯卡·方丹

通过（模型-）等式传播组合决策过程。 （英语） Zbl 1347.68309号

Machado，Patricia D.L.（编辑），第11届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，113-128（2009）。
MSC公司：68吨15 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.C.B.de Oliveira}等人，《电子》。注释Theor。计算。科学。240、113--128（2009年；Zbl 1347.68309）
全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇

基于轻量级SMT的模型检查。 （英语） 兹比尔1335.68138

Miller，Alice（ed.）等人，《第八届关键系统自动化验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，85-102（2009）。
MSC公司：60年第68季度 68问题85 68吨15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，《电子》。注释Theor。计算。科学。250，第2号，85-102（2009年；兹bl 1335.68138）
全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯

模型检验模理论的目标定向不变综合。 （英语） Zbl 1260.68230号

Giese，Martin（ed.）等人，使用分析表和相关方法进行自动推理。2009年7月6日至10日，挪威奥斯陆，第18届国际会议，TABLEAUX 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02715-4/pbk）。计算机科学课程讲稿5607。人工智能课堂讲稿，173-188（2009）。
MSC公司：60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}和\textit{S.Ranise}，莱克特。注释计算。科学。5607173--188（2009年；Zbl 1260.68230）
全文： 内政部
康斯坦丁·科洛文;内斯坦Tsiskaridze;安德烈·沃伦科夫

冲突解决。 （英语） Zbl 1336.68236号

Gent，Ian P.（编辑），约束编程的原理和实践–CP 2009。2009年9月20日至24日在葡萄牙里斯本举行的CP 2009第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04243-0/pbk）。计算机科学讲义5732，509-523（2009）。
MSC公司：68T20型 15A39型
PDF格式BibTeX公司 XML格式引用
\textit{K.Korovin}等人，Lect。注释计算。科学。5732509-523（2009年；兹比尔1336.68236）
全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;斯特凡·库普弗施米德;蒂诺·特伊格

混合系统基于约束分析的挑战。 （英语） Zbl 1248.68328号

Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328）
全文： 内政部
Lahiri，Shuvendu K。;沙兹·卡迪尔

单项式和子句谓词抽象的复杂性和算法。 （英语） Zbl 1250.68194号

Schmidt，Renate A.（编辑），《自动扣除——CADE-22》。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能课堂讲稿》，214-229（2009）。
MSC公司：60年第68季度 03B35型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.K.Lahiri｝和\textit｛S.Qadeer｝，Lect。注释计算。科学。5663、214--229（2009年；Zbl 1250.68194）
全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;Krstić，萨瓦;塞萨尔·蒂内利

平等理论的地面插值。 （英语） Zbl 1234.68257号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505413-427（2009）。
MSC公司：60年第68季度 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Fuchs}等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257）
全文： 内政部 arXiv公司
克里斯托夫·斯科尔;斯特凡·迪什;弗洛里安·皮戈什;斯特凡·库普弗施米德

通过检测和删除冗余线性约束计算非凸多面体的优化表示。 （英语） Zbl 1234.68266号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学课堂讲稿5505383-397（2009）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Scholl}等人，Lect。注释计算。科学。5505383-397（2009年；Zbl 1234.68266）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件