×

找到39个文档（结果1-39）

最新的 引文 关联
格雷戈·恩格斯;克劳斯·勒伦茨;威廉·施费尔;安迪·舒尔;伯恩哈德·韦斯特费赫特尔

图形转换和模型驱动工程：Manfred Nagl的优点。 （英文） Zbl 1310.01016号

Gregor（编辑）Engels等人，《图形转换和模型驱动工程》，在Manfred Nagl 65岁生日之际发表的论文。柏林：施普林格出版社（ISBN 978-3-642-17321-9/pbk）。计算机科学课堂讲稿5765，1-5（2010）。
MSC公司：01A70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Engels}等人，Lect。注释计算。科学。5765，1--5（2010；Zbl 1310.01016）
全文： 内政部
科拉迪尼，A。

并发图和术语图重写。 （英文） Zbl 1514.68160号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1119, 438-464 (1996).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}，莱克特。注释计算。科学。1119438-464（1996年；Zbl 1514.68160）
全文： 内政部
哈特穆特·埃里格;格雷戈·恩格斯

图形转换系统模块概念的语用和语义方面。 （英文） Zbl 1412.68105号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。勒克特。注释计算。科学。1073, 137-154 (1996).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ehrig｝和\textit｛G.Engels｝，Lect。注释计算。科学。1073137--154（1996年；Zbl 1412.68105）
全文： 内政部
汉斯·约尔格·克鲁斯基;萨宾·库斯克

关于转换单元的交错语义——进入GRACE的一步。 （英文） Zbl 1412.68109号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。勒克特。注释计算。科学。1073, 89-106 (1996).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.-J.Kreowski｝和\textit｛S.Kuske｝，Lect。注释计算。科学。1073、89-106（1996年；Zbl 1412.68109）
全文： 内政部
斯科迪斯，K。;E.万克。

汇流和边界eNCE图形语言的指数时间分析。 （英文） Zbl 1528.68201号

Mayr，Ernst W.（编辑）等人，《计算机科学中的图论概念》。第20届国际研讨会。1994年6月16日至18日，德国赫尔兴，1994年工作组。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。903, 180-192 (1995).
MSC公司：65年第68季度 2017年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Skodinis}和\textit{E.Wanke}，莱克特。注释计算。科学。903、180--192（1995年；Zbl 1528.68201）
全文： 内政部
安德烈亚·科拉迪尼

并行计算：从Petri网到图语法。 （英文） Zbl 0910.68109号

Corradini，Andrea（编辑）等人，COMPUGRAPH/SEMAGRAPH图形重写和计算联合研讨会（SEGRAGA’95）。研讨会论文选自1995年8月28日至9月1日，意大利沃尔泰拉。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第2、15页（1995年）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}，in：关于图形重写和计算的COMPUGRAPH/SEMAGRAPH联合研讨会（SEGRAGRA’95）。研讨会论文选自1995年8月28日至9月1日，意大利沃尔泰拉。阿姆斯特丹：爱思唯尔。第15页（1995年；兹bl 0910.68109）
全文： 链接
马丁·科尔夫

等式定义图结构的单推出变换及其在参与者系统中的应用。 （英文） Zbl 1494.68114号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。776, 234-247 (1994).
MSC公司：2012年第68季度 18A30型 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Korff}，莱克特。注释计算。科学。776234-247（1994年；Zbl 1494.68114）
全文： 内政部
川原康夫;吉弘美口

关系结构及其部分态射（基于单推出重写）。 （英文） Zbl 1494.68113号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。776, 218-233 (1994).
MSC公司：2012年第68季度 18A30型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kawahara}和\textit{Y.Mizoguchi}，Lect。注释计算。科学。776、218--233（1994年；Zbl 1494.68113）
全文： 内政部
安德烈亚·科拉迪尼;迪特马尔·沃尔兹

丛林重写：对懒惰的缩小机器的抽象描述。 （英文） Zbl 1494.68106号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。776, 119-137 (1994).
MSC公司：2012年第68季度 68N17号 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{D.Wolz}，莱克特。注释计算。科学。776119-137（1994年；Zbl 1494.68106）
全文： 内政部
Kunio Aizawa;中村，亚基拉

用于多分辨率图像处理和分析的路径控制图文法。 （英文） Zbl 1494.68102号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。776, 1-18 (1994).
MSC公司：2012年第68季度 68兰特 68单位10 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{K.Aizawa}和\textit{A.Nakamura}，莱克特。注释计算。科学。776，1-18（1994年；Zbl 1494.68102）
全文： 内政部
弗兰兹·勃兰登堡。

有界度图语言上边界图文法和合流图文法的等价性。 （英文） Zbl 1519.68108号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。488312-322（1991）中描述。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.J.Brandenburg}，莱克特。注释计算。科学。488312--322（1991年；Zbl 1519.68108）
全文： 内政部
阿内格丽特·哈贝尔

图论性质与图论推导相容。 （英文） Zbl 07810417号

Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。344, 11-29 (1989).
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Habel}，莱克特。注释计算。科学。344，11-29（1989年；兹bl 07810417）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件