斯文·阿佩尔;克里斯蒂安·伦戈尔;伯恩哈德·莫勒;克里斯蒂安·卡斯特纳 基于特征的程序自动综合的代数基础。 (英语) Zbl 1209.68129号 科学。计算。程序。 75,第11期,1022-1047(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Apel}等人,科学。计算。程序。75,第11号,1022--1047(2010;Zbl 1209.68129) 全文: 内政部
伯恩哈德·莫勒 克莱恩变得懒惰了。 (英语) Zbl 1109.68060号 科学。计算。程序。 65,第2期,195-214(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.Möller},科学。计算。程序。65,第2号,195--214(2007;Zbl 1109.68060) 全文: 内政部 链接
埃尔克·博伊滕(编辑);伯恩哈德·莫勒(编辑) 专题:软件设计方法:技术和应用。根据第六届程序构建数学国际会议(MPC2002)上的陈述,选择、修订和扩展版本,Schloß德国达格斯图尔,2002年7月。 (英语) Zbl 1075.68507号 科学。计算。程序。 51,第1-2期,196页。(2004).MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}(编辑)和\textit{B.Möller}(主编),科学。计算。程序。51,第1-2196页(2004年;兹bl 1075.68507) 全文: 内政部
莫勒,B。(编辑) 程序构造的数学。1995年7月17日至21日,第三届程序构建数学国际会议论文选集,德国克洛斯特·伊尔西。 (英语) Zbl 0851.00085号 科学。计算。程序。26,第1-3期,274页(1996年)。 MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式
伯恩哈德·莫勒;马丁·拉斯林 图形算法的更短路径。 (英语) 兹伯利0813.68144 科学。计算。程序。 22,编号1-2,157-180(1994).MSC公司:68兰特 第68季度第45季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}和\textit{M.Russling},科学。计算。程序。22,编号1--2,157-180(1994;Zbl 0813.68144) 全文: 内政部 链接
伯恩哈德·莫勒 指向指针代数。 (英语) Zbl 0780.68090号 科学。计算。程序。 21,第1号,57-90(1993). 审核人:伯恩哈德·莫勒 MSC公司:60年第68季度 68号01 08A02号 68年 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller},科学。计算。程序。21,第1号,57--90(1993;Zbl 0780.68090) 全文: 内政部
曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威尔辛 代数实现保持程序正确性。 (英语) Zbl 0597.68021号 科学。计算。程序。 7, 35-53 (1986).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,科学。计算。程序。7、35-53(1986年;Zbl 0597.68021) 全文: 内政部
F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 用一种广泛的语言编程:一组例子。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部