×

找到442个文档(结果1-100)

密集量子编码和单向量子自动机的下限。 (英语) Zbl 1345.68195号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。376-383 (1999).
PDF格式BibTeX公司 XML格式引用

量子有限自动机的不可解释性。 (英语) Zbl 1346.68090号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。美国乔治亚州亚特兰大,1999年5月1日至4日。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。368-375 (1999).
MSC公司:2005年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

具有完全同步签名的透明模块。 (英语) Zbl 1345.68075号

1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录,ICFP'99。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-111-9)。ACM SIGPLAN通知34,第9号,220-232(1999)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

生成系统表征的概率论方法。 (英语) Zbl 1084.68546号

Lupša,Liana(编辑)等人,《分析、函数方程、近似和凸性》。1999年10月15日至16日,罗马尼亚克鲁伊·纳波卡,为纪念Elena Popoviciu教授75岁生日而举行的会议记录。Cluj-Napoca:Editura Carpatica(ISBN 973-97664-9-8)。214-220 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

收藏作品。第六卷:符号逻辑的元素。(Gesammelte Werke.Hrsg.von Andreas Kamlah und Maria Reichenbach.乐队6:Grundzüge der symbarichen Logik.Hrsg.unter Mitarbeit von Stephan H.A.Bayerl und Matthias Varga v.Kibéd.Aus dem Englischenübersetzt von Stefan H.A.Bayerl,Claudia Thoméund Mathias Varga-von Kibé.Mit eitmartwort zur deutschen Ausgabe von David Kaplan) (德语) Zbl 0940.03002号

威斯巴登:Vieweg。xxviii,436 S.(1999)。
PDF格式BibTeX公司 XML格式引用

用有限自动机描述的图像子段的压缩。 (英语) Zbl 1063.68687号

Crochemore,Maxime(编辑)等,组合模式匹配。第十届年度研讨会,CPM 99,英国华威大学,1999年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66278-2/pbk)。计算机科学课堂讲稿1645186-195(1999)。
PDF格式BibTeX公司 XML格式引用

关于不丢失信息的线性自动机网络的一个问题。 (英语。俄文原件) Zbl 1091.68546号

自动。远程控制 60,第1号,第2部分,112-117(1999); Avtom翻译。Telemekh公司。1999年,第140-147号(1999年)。
PDF格式BibTeX公司 XML格式引用

自动验证抽象状态机(扩展抽象)。 (英语) Zbl 1046.68610号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 431-442 (1999).
PDF格式BibTeX公司 XML格式引用

基于顺序ATPG的模型检查。 (英语) Zbl 1046.68580号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 418-430 (1999).
PDF格式BibTeX公司 XML格式引用

循环定义的有效分析。 (英语) 兹比尔1046.68604

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 394-405 (1999).
MSC公司:60年第68季度 65年第68季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用

关于结构化域上概率的表示。 (英语) Zbl 1046.68581号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 261-273 (1999).
PDF格式BibTeX公司 XML格式引用

改进了线性时序逻辑的自动机生成。 (英语) Zbl 1046.68588号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 249-260 (1999).
PDF格式BibTeX公司 XML格式引用

口吃变异语言、自动机和时态逻辑。 (英语) Zbl 1046.68591号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 236-248 (1999).
PDF格式BibTeX公司 XML格式引用

安全特性的模型检查。 (英语) Zbl 1046.68597号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 172-183 (1999).
PDF格式BibTeX公司 XML格式引用

定时自动机。 (英语) Zbl 1046.68574号

Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 8-22 (1999).
PDF格式BibTeX公司 XML格式引用

线性索引语言的新泵引理。 (英语) Zbl 1047.68077号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。533-537 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

抽取和斯图尔语单词。 (英语) Zbl 1047.68079号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。494-501 (1999).
PDF格式BibTeX公司 XML格式引用

洗牌产品和有关语言的操作。 (英语) Zbl 1047.68078号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。形式语言和计算机系统国际研讨会论文集,日本京都,1997年3月18-21日,以及1997年3月24-28日在日本会津举行的第一次半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。484-493 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

一些恒等式与自动机、行列式和Möbius函数有关。 (英语) Zbl 1047.68076号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。330-349 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

群上的扩展有限自动机。 (英语) Zbl 1047.68081号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。317-329 (1999).
PDF格式BibTeX公司 XML格式引用

概率处理器网络是一种强大的计算和建模手段。 (英语) Zbl 1047.68075号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。277-289 (1999).
PDF格式BibTeX公司 XML格式引用

双代码简介。 (英语) Zbl 1029.94012号

Nehaniv,Chrystopher L.(ed.)等人,代数工程。形式语言和计算机系统国际研讨会论文集,日本京都,1997年3月18日至21日,以及在日本爱津举行的第一届半群和代数工程国际会议论文集,1997年2月24日至28日。新加坡:世界科学。219-229 (1999).
PDF格式BibTeX公司 XML格式引用

第40届计算机科学基础年会。研讨会论文集(FOCS'99),美国纽约州纽约市,1999年10月17日至19日。 (英语) Zbl 1058.68002号

加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 0-7695-0409-4)。xiv,第668页。(1999).
PDF格式BibTeX公司 XML格式引用

平面投影代数。 (英语) Zbl 0986.18009号

Banaschewski,B.(ed.)等人,范畴拓扑学研讨会论文集,SoCaT 94,南非开普敦大学,Rondebosch,1994年11月。庆祝纪尧姆·布吕默60岁生日。Rondebosch:开普敦大学数学与应用数学系。113-120 (1999).
PDF格式BibTeX公司 XML格式引用

关于混合代数的注记。 (英语) Zbl 0985.08004号

Smeuranu,Ion(编辑)等人,《信息技术》。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec。1045-1053 (1999).
MSC公司:08A70号 18 C50 18A30型
PDF格式BibTeX公司 XML格式引用

持续时间演算的可判定子集的自动机。 (英语) Zbl 1052.68083号

Smeureanu,Ion(编辑)等人,《信息技术》。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec(ISBN 973-98508-5-5)。930-937 (1999).
PDF格式BibTeX公司 XML格式引用

关于“无算术并行混合半径转换算法”的评论。 (英语) Zbl 0976.68007号

PDF格式BibTeX公司 XML格式引用
全文: DOI程序

导数算子——一些离散系统和应用的特征。 (英语) Zbl 0971.68095号

加布里埃尔·V·奥尔曼(编辑),《第13届数学及其应用科学会议论文集》,布拉索夫,罗马尼亚,1999年4月2日。布拉什科夫:特拉维尼亚大学布拉什夫分校,科学院,数学分析和概率系,1-11(1999)。
PDF格式BibTeX公司 XML格式引用

基因重排的计算能力。 (英语) Zbl 0971.68054号

Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,马萨诸塞州剑桥,美国,1999年6月14-15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 207-216 (1999).
PDF格式BibTeX公司 XML格式引用

禁止和执行。 (英语) Zbl 0969.68074号

Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,美国马萨诸塞州剑桥市,1999年6月14日至15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 195-206 (1999).
MSC公司:2005年第68季度 65年第68季度 第68季度10
PDF格式BibTeX公司 XML格式引用

YAC:还有另一种自组装计算模型。 (英语) Zbl 0969.68073号

Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,马萨诸塞州剑桥,美国,1999年6月14-15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 155-169 (1999).
MSC公司:2005年第68季度 第68季度10 65年第68季度 68问题85 92C40型
PDF格式BibTeX公司 XML格式引用

类别和回指。(卡特戈里和回指) (法语) Zbl 0970.03513号

Denis(编辑)Miéville,Róle et enjeux de la concept de catégorie en logique。Neuchátel:Universityéde Neuch¨tel,Centre de Recherches Sémiologiques,Trav。日志。,美分。里奇。塞米奥。13, 109-124 (1999).
MSC公司:03B65号 03A05号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号