×

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

混合系统基于约束分析的挑战。 (英语) 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格式引用
全文: 内政部

随机可满足性模理论:概率混合系统分析的新技术。 (英语) Zbl 1143.68452号

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981172-186(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段