×

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

结合堆结构和数据的可决定逻辑。 (英语) Zbl 1284.68411号

2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。611-622 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

辅助存储器的树宽度。 (英语) Zbl 1284.68358号

2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。283-294 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

合成反应性程序。 (英语) Zbl 1247.68058号

Marc Bezem(编辑),《计算机科学逻辑》(CSL’11)。2011年9月12日至15日,第25届国际研讨会,EACSL第20届年会,挪威卑尔根。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-32-3)。LIPIcs–莱布尼茨国际信息学会议录12,428-442,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

局部和全局程序流的不动点演算。 (英语) Zbl 1370.68051号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-027-2)。153-165(2006年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

嵌套树的语言。 (英语) Zbl 1188.68167号

Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义4144329-342(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔程序的最小化、学习和一致性测试。 (英语) Zbl 1151.68484号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137203-217(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过学习假设进行符号成分验证。 (英语) Zbl 1081.68601号

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

直观的下推语言。 (英语) Zbl 1192.68396号

2004年6月13日至15日,美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会(STOC 2004)会议记录。纽约州纽约市:ACM出版社(ISBN 1-58113-852-0)。202-211,仅电子版(2004年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

明显的下推游戏。 (英语) Zbl 1117.68409号

Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,408-420(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

递归图上无限对策的模块化策略。 (英语) 兹比尔1278.03054

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 67-79 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外部规范的定时控制合成。 (英语) Zbl 1054.93502号

Alt,Helmut(编辑)等人,STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日,法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43283-3)。莱克特。注释计算。科学。2285, 571-582 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

动态消息序列图。 (英语) Zbl 1027.68082号

Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 253-264 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件