×

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

发夹形成自组装的进一步性质。 (英语) Zbl 1525.68048号

McQuillan,Ian(编辑)等人,《非传统计算和自然计算》。2019年6月3日至7日,第18届国际会议,UCNC 2019,日本东京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11493, 37-51 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

有界前缀后缀重复。 (英语) Zbl 1302.68159号

Holzer,Markus(编辑)等人,《自动机的实现和应用》。2014年7月30日至8月2日,第19届国际会议,CIAA 2014,德国吉森。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08845-7/pbk)。计算机科学课堂讲稿8587,176-187(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

均匀分布下推自动机系统。 (英语) 兹比尔1304.68091

Kutrib,Martin(编辑)等人,《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31622-7/pbk)。计算机科学课堂讲稿7386,64-75(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

常规语言的发夹加长和缩短。 (英语) Zbl 1367.68174号

Bordihn,Henning(编辑)等人,《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-31643-2/pbk)。计算机科学讲义7300,145-159(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拼接系统:接受与生成。 (英语) Zbl 1345.68127号

Löwe,Benedikt(编辑)等人,《上下文中的计算模型》。2011年6月27日至7月2日在保加利亚索非亚举行的第七届欧洲可计算性会议,CiE 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21874-3/pbk)。计算机科学讲义6735,41-50(2011)。
MSC公司:2005年第68季度 第68季度第45季度 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

上下文插入。 (英语) Zbl 1330.68145号

Kelemen,Jozef(编辑)等人,《计算、合作与生活》。在盖奥盖·普恩60岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-1999-8/pbk)。计算机科学讲义6610,24-34(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

发夹加长。 (英语) Zbl 1286.68139号

Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158296-306(2010)。
MSC公司:2005年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

接受非插入进化处理器网络。 (英语) Zbl 1230.68127号

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》,187-199(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于正规语言的发夹式补全。 (英语) 兹比尔1250.68153

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会,马来西亚吉隆坡,2009年8月16日至20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03465-7/pbk)。计算机科学讲座笔记5684170-184(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于基于Watson Crick-like互补的叠加的一些评论。 (英语) Zbl 1247.68149号

Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日-7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,372-383(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于接受最多具有两种类型节点的进化处理器网络。 (英语) Zbl 1234.68229号

Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457588-600(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

绑定发夹完成。 (英语) Zbl 1234.68331号

Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457,434-445(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

所有NP问题都可以通过接受恒定大小的拼接处理器网络在多项式时间内求解。 (英语) Zbl 1132.68404号

毛承德(主编)等,DNA计算。第十二届DNA计算国际会议,DNA12,韩国首尔,2006年6月5-9日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-49024-1/pbk)。计算机科学讲义4287,47-57(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

发夹完成与发夹减少。 (英语) Zbl 1151.68420号

Cooper,S.Barry(编辑)等人,《现实世界中的计算和逻辑》。第三届欧洲可计算性会议,2007年6月18日至23日,意大利锡耶纳,CiE 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73000-2/pbk)。计算机科学课堂讲稿4497532-541(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DNA生物化学建议对单词进行的一种新操作:发夹补全。 (英语) Zbl 1191.92013年

Dumas,Jean-Guillaume(编辑),《超越计算》,2006年。2006年4月24日至26日,在西班牙格拉纳达举行的Jean Della Dora纪念大会。诉讼程序。格拉纳达:格拉纳达大学(ISBN 84-689-8381-0/pbk)。105-114 (2006).
PDF格式BibTeX公司 XML格式引用

关于发夹完成的一些算法问题。 (英语) Zbl 1291.68181号

Grüttmüller,M.(编辑)等人,ODSA 2006。最佳离散结构和算法会议,德国罗斯托克,2006年9月4-6日。阿姆斯特丹:爱思唯尔。离散数学电子笔记27,71-72(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式语言和应用的最新进展。 (英语) Zbl 1116.68044号

计算智能研究25.柏林:施普林格出版社(ISBN 3-540-33460-2/hbk)。viii,第373页。(2006年)。
PDF格式BibTeX公司 XML格式引用

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

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

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

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

由细长规则语言和无上下文语言的原始单词组成的子语言注释。 (英语) 兹比尔1055.68065

Karhumäki,Juhani(编辑)等人,《理论是永恒的》。在阿尔托·萨洛马70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-22393-2/pbk)。计算机科学讲义3113,60-67(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正式语言和应用程序。 (英语) Zbl 1051.68020号

模糊与软计算研究148.柏林:施普林格出版社(ISBN 3-540-20907-7/hbk)。viii,第620页。(2004).
PDF格式BibTeX公司 XML格式引用

下推自动机团队。 (英语) Zbl 1254.68139号

Broy,Manfred(编辑)等人,《系统信息学的观点》。2003年7月9日至12日,俄罗斯新西伯利亚,阿卡德姆戈罗多克,第五届安德烈·埃尔肖夫国际纪念大会,PSI 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20813-5/pbk)。计算机科学课堂讲稿2890329-337(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言的交叉:染色体重组的形式表示。 (英语) Zbl 1103.68581号

Martín-Vide,Carlos(编辑)等人,Grammars和用于字符串处理的自动机。从数学和计算机科学到生物,再到生物。为纪念盖奥盖·普昂而写的论文。伦敦:Taylor和Francis(ISBN 0-415-29885-7/hbk)。顶部。计算。数学。9, 391-401 (2003).
PDF格式BibTeX公司 XML格式引用

分布式下推自动机系统:计算能力。 (英语) Zbl 1037.68079号

埃西克·佐尔坦(编辑)等人,《语言理论的发展》。第七届国际会议,DLT 2003,塞格德,匈牙利,2003年7月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40434-1/pbk)。莱克特。注释计算。科学。2710, 218-229 (2003).
MSC公司:第68季度第45季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

进化处理器的混合网络。 (英语) Zbl 1028.68838号

Cantú-Paz,Erick(编辑)等人,《遗传和进化计算-GECCO 2003》。遗传和进化计算会议,芝加哥,伊利诺伊州,美国,2003年7月12-16日。会议记录,第一部分,柏林:施普林格。莱克特。注释计算。科学。2723, 401-412 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于发夹和循环语言的一些注释。 (英语) Zbl 1499.68168号

Masami,Ito(编辑)等人,《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡:世界科学出版社。47-58 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

文法的正规形式、有限自动机、抽象族和多集语言的闭包属性。 (英语) Zbl 1052.68065号

Calude,Cristian S.(编辑)等人,《多集处理》。数学、计算机科学和分子计算的观点。柏林:施普林格出版社(ISBN 3-540-43063-6)。莱克特。注释计算。科学。2235, 135-146 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

多集自动机。 (英语) Zbl 1052.68071号

Calude,Cristian S.(编辑)等人,《多集处理》。数学、计算机科学和分子计算的观点。柏林:施普林格出版社(ISBN 3-540-43063-6)。莱克特。注释计算。科学。2235, 69-83 (2001).
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 1096.68693号

Dassow,Jürgen(编辑)等人,《语言理论的发展》。二、。处于数学、计算机科学和生物学的十字路口。1995年7月17日至21日在德国马格德堡举行的会议的论文。新加坡:世界科学(ISBN 981-02-2682-9)。64-70 (1996).
PDF格式BibTeX公司 XML格式引用

单词和语言的平行替换。 (英语) Zbl 0842.68046号

Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。Iaši:“A.i.Cuza”Iañi大学计算机科学系,24-30(1993)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份