×

找到602份文件(结果1-100)

你可以信赖的逻辑。 (英语) Zbl 1325.03032号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。135-146 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Burrows-Wheeler变换在最佳线性时间内进行压缩增强。 (英语) Zbl 1318.68209号

第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。655-663 (2004).
PDF格式BibTeX公司 XML格式引用

带有固定标准右因子的林登单词。 (英语) Zbl 1318.68130号

第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。653-654(2004年)。
PDF格式BibTeX公司 XML格式引用

关于图上可由随机游动计算的分布。 (英语) Zbl 1317.68053号

第十五届ACM-SIAM离散算法年度研讨会论文集,SODA 2004,新奥尔良,洛杉矶,美国,2004年1月11-13日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-558-X)。131-138 (2004).
PDF格式BibTeX公司 XML格式引用

正则表达式模式。 (英语) Zbl 1323.68098号

2004年9月19日至21日,美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-905-5)。ACM SIGPLAN Notices 39,No.9,67-78(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算效果和操作:概述。 (英语) Zbl 1273.68213号

Escardo,M.(ed.)等人,领域VI研讨会论文集,英国伯明翰,2002年9月16日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记73,149-163(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用图转换将Simulink/Stateflow模型语义转换为混合自动机。 (英语) Zbl 1271.68115号

Heckel,Reiko(编辑),《图形转换和视觉建模技术研讨会论文集》(GT-VMT 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记109,43-56(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

余代数的自动机和不动点逻辑。 (英语) Zbl 1271.68155号

Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,355-375(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于一类定时正则表达式的等价性。 (英语) 兹比尔1271.68128

Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,315-333(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

联合逻辑的代数语义。 (英语) Zbl 1271.03031号

Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,219-241(2004)。
MSC公司:03B45号 03G30型 18 C50
PDF格式BibTeX公司 XML格式引用
全文: 链接

数学操作语义的行为模块化。 (英语) Zbl 1271.68130号

Adámek,J.(ed.)等人,第七届计算机科学联合算法研讨会论文集,西班牙巴塞罗那,2004年3月27日至29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记106,185-200(2004)。
MSC公司:68问题55 18 C50
PDF格式BibTeX公司 XML格式引用
全文: 链接

Span(Graph)中的组合最小化:一些示例。 (英语) 兹比尔1271.68186

Honsell,F.(ed.)等人,《COMETA计算元模型项目研讨会论文集》,意大利乌迪内,2003年12月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记104,181-197(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

二元自动机的仿射外壳可以在多项式时间内计算。 (英语) Zbl 1271.68126号

Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,89-104(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

不可判定的双相似性问题的完备性结果。 (英语) Zbl 1271.68195号

Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,5-19(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

树邻接文法的模型理论描述。 (英语) Zbl 1263.68090号

Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》53,210-232(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类比和形式语言。 (英语) 兹比尔1263.68100

Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,180-191(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Chomsky-Schützenberger型多分词和Parikh细长无上下文语言的特征。 (英语) Zbl 1263.68099号

Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,137-145(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(k)值范畴文法语言(经典和Lambek)的交空问题是不可判定的。 (英语) Zbl 1263.68074号

Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,81-93(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2001年8月10日至12日在芬兰赫尔辛基举行的第六届正式语法会议和第七届语言数学会议联席会议记录。诉讼程序。 (英语) Zbl 1262.68016号

理论计算机科学电子笔记53.阿姆斯特丹:爱思唯尔。第333页。,仅电子版(2004)。
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 1189.20060号

Araüjo,Isabel M.(编辑)等人,《半群和语言》。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:世界科学(ISBN 981-238-917-2/hbk)。23-42 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限(mathcal R)-平凡半群的(ω)-项的等式理论。 (英语) 邮编:1189.20050

Araüjo,Isabel M.(编辑)等人,《半群和语言》。研讨会记录,葡萄牙里斯本,2002年11月27日至29日。新泽西州River Edge:世界科学(ISBN 981-238-917-2/hbk)。1-22 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证概率程序的定性属性。 (英语) Zbl 1203.68094号

Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925124-146(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率自动机:系统类型、并行组合和比较。 (英语) 兹比尔1203.68089

Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925,1-43(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用遗传算法计算独特的输入/输出序列。 (英语) 兹比尔1185.68247

Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 164-177 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向属性的测试用例生成。 (英语) Zbl 1185.68243号

Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 147-163 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非确定性实时系统的测试用例生成。 (英语) Zbl 1185.68415号

Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 131-146 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Uppaal生成时间最优的实时测试用例。 (英语) Zbl 1185.68248号

Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 114-130 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\具有通信规则的(\omega\)-P自动机。 (英语) 兹比尔1202.68192

Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 203-217 (2004).
MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生成六边形图像语言的P系统。 (英语) Zbl 1202.68189号

Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 168-180 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用P系统平铺矩形图片。 (英语) Zbl 1202.68186号

Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 88-103 (2004).
MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用主动P自动机进行解析。 (英语) Zbl 1202.68181号

Martín-Vide,Carlos(编辑)等人,《膜计算》。2003年7月17日至22日在西班牙塔拉戈纳举行的WMC 2003国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-20895-X/pbk)。莱克特。注释计算。科学。2933, 31-42 (2004).
MSC公司:2005年第68季度 2010年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过使用膜进行细胞计算的P与NP问题。 (英语) Zbl 1200.68117号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950338-352(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分子遗传学中模式的二重性。 (英语) Zbl 1200.92014年

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950318-321(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

源于基因重复复制的形式语言。 (英语) Zbl 1200.68146号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950297-308(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于循环词的语言。 (英语) Zbl 1200.68145号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。《计算机科学讲义》29507278-288(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构建编码DNA语言的方法。 (英语) Zbl 1200.68144号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950241-253(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(n\)-插入语言。 (英语) Zbl 1200.68143号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950,213-218(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拼接到极限。 (英语) Zbl 1200.68141号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950189-201(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于相对论和DNA编码的评论。 (英语) 兹比尔1200.68139

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950132-138(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言交换的不动点方法。 (英语) Zbl 1200.68136号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950119-131(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于一些拼接语言类。 (英语) Zbl 1200.68134号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿295084-105(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将信息写入DNA。 (英语) Zbl 1200.68106号

Jonoska,Nataša(编辑)等人,《分子计算方面》。纪念汤姆·黑德70岁生日的文章。柏林:施普林格出版社(ISBN 3-540-20781-3/pbk)。计算机科学课堂讲稿2950,23-35(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限秩分散线性序上有理集的补。 (英语) 兹比尔1196.68119

Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976,292-301(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高效计算正则语言的密度。 (英语) Zbl 1196.68118号

Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976262-270(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算术Meyer集的自动机。 (英语) Zbl 1196.68116号

Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。《计算机科学讲义》297652-261(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

表达式如何为自动机编码。 (英语) Zbl 1196.68120号

Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976242-251(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步模型的硬件/软件分区的最佳方法。 (英语) Zbl 1196.68136号

Boiten,Eerke A.(编辑)等人,《综合形式方法》。第四届国际会议,IFM 2004,英国坎特伯雷,2004年4月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999363-381(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机在进程代数中的嵌入。 (英语) Zbl 1196.68122号

Boiten,Eerke A.(编辑)等人,《综合形式方法》。第四届国际会议,IFM 2004,英国坎特伯雷,2004年4月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999343-362(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用逐步树自动机查询未排序的树。 (英语) Zbl 1187.68188号

van Oostrom,Vincent(编辑),重写技术和应用。第15届国际会议,RTA 2004,德国亚琛,2004年6月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22153-0/pbk)。计算机科学课堂讲稿3091105-118(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限变量序列的正则语言成员约束。 (英语) Zbl 1152.68573号

Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议,CP 2004。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258482-495(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从约束检查器派生过滤算法。 (英语) Zbl 1152.68539号

Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日,加拿大多伦多,第十届国际会议,2004年CP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258107-122(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正则语言匹配和正则开放项之间约束的可满足性问题的其他可判定情况。 (英语) Zbl 1122.68462号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996596-607(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号