×

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

最新的 引文 关联
杰西卡·埃特尔；罗兰·格里克；伯恩哈德·莫勒

直到规则的代数推导及其在计时器验证中的应用。 （英语） Zbl 1518.68205号

Desharnais，Jules（编辑）等人，《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11194, 244-262 (2018).
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.Ertel}等人，Lect。票据计算。科学。11194，244--262（2018；Zbl 1518.68205）
全文： 内政部 链接
伯恩哈德·莫勒；你好，托尼；马丁·米勒。；乔治·斯特鲁斯

并发程序执行的离散几何模型。 （英语） Zbl 1483.68086号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10134, 1-25 (2017).
MSC公司：68号30 第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}等人，Lect。票据计算。科学。10134，1-25（2017；Zbl 1483.68086）
全文： 内政部 链接
唐·巴托里；彼得·霍夫纳；多米尼克·科普；伯恩哈德·莫勒；安德烈亚斯·泽伦德

结构化文档代数正在运行。 （英语） Zbl 1454.68023号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 291-311 (2015).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Batory}等人，Lect。票据计算。科学。8950，291--311（2015；Zbl 1454.68023）
全文： 内政部 链接
你好，托尼；范·斯塔登（Stephan van Staden）；伯恩哈德·莫勒；乔治·斯特鲁斯；朱尔斯·维拉德；朱慧彪；彼得·奥赫恩

并发Kleene代数的发展。 （英语） Zbl 1344.68148号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，1-18（2014）。
MSC公司：70年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。票据计算。科学。8428，1-18（2014；Zbl 1344.68148）
全文： 内政部 链接
彼得·霍夫纳；伯恩哈德·莫勒；安德烈亚斯·泽伦德

面向特征编程的着色代数基础。 （英语） Zbl 1364.68137号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，33-49（2012）。
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}等人，Lect。票据计算。科学。7560，33-49（2012；Zbl 1364.68137）
全文： 内政部 链接
罗兰·格里克；伯恩哈德·莫勒；米歇尔·辛佐夫

使用互模拟商进行模型细化。 （英语） Zbl 1308.68040号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486，76-91（2011）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}等人，Lect。票据计算。科学。6486、76-91（2011年；Zbl 1308.68040）
全文： 内政部 链接
罗兰·格里克；伯恩哈德·莫勒；米歇尔·辛佐夫

等价、互模拟和控制的半环方法。 （英语） Zbl 1267.68142号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和Kleene代数》。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议（RelMiCS 2009）和第6届Kleene代数应用国际会议（AKA 2009）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04638-4/pbk）。计算机科学课堂讲稿5827134-149（2009）。
MSC公司：第68季度第60季度 2016年60月 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}等人，Lect。票据计算。科学。5827、134--149（2009年；Zbl 1267.68142）
全文： 内政部 链接
Dang，Han-Hing（韩红）；彼得·霍夫纳；伯恩哈德·莫勒

朝向代数分离逻辑。 （英语） Zbl 1267.68140号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和Kleene代数》。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议（RelMiCS 2009）和第6届Kleene代数应用国际会议（AKA 2009）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04638-4/pbk）。计算机科学课堂讲稿582759-72（2009）。
MSC公司：第68季度第60季度 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{H.-H.Dang}等人，Lect。票据计算。科学。5827、59--72（2009年；Zbl 1267.68140）
全文： 内政部 链接
C.A.R.Tony Hoare；伯恩哈德·莫勒；乔治·斯特鲁斯；伊恩·卫尔曼

并发Kleene代数。 （英语） 兹比尔1254.68172

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。2009年9月1日至4日，意大利博洛尼亚，第20届国际会议，CONCUR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，399-414（2009）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.T.Hoare}等人，Lect。票据计算。科学。5710、399至414（2009年；兹比尔1254.68172）
全文： 内政部 链接
斯文·阿佩尔；Lengauer，基督徒；伯恩哈德·莫勒；Kästner，基督徒

特征和特征组合的代数。 （英语） Zbl 1170.68424号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。《计算机科学讲义》5140，36-50（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛S.Apel｝等人，Lect。票据计算。科学。5140、36-50（2008年；Zbl 1170.68424）
全文： 内政部 链接
伯恩哈德·莫勒

UTP的线性代数。 （英语） Zbl 1235.68057号

Uustalu，Tarmo（编辑），《程序构建的数学》。2006年7月3日至5日，爱沙尼亚库雷萨雷，第八届国际会议，MPC 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35631-8/pbk）。计算机科学课堂讲稿4014338-358（2006）。
MSC公司：68号30 15A30型
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}，莱克特。票据计算。科学。4014338-358（2006年；Zbl 1235.68057）
全文： 内政部 链接
彼得·霍夫纳；伯恩哈德·莫勒；金·索林

欧米茄代数、恶魔精化代数和命令。 （英语） Zbl 1134.68409号

Schmidt，Renate A.（编辑），计算机科学中的关系和Kleene代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会，RelMiCS/AKA 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37873-0/pbk）。计算机科学课堂讲稿4136222-234（2006）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}等人，Lect。票据计算。科学。4136222-234（2006年；兹bl 1134.68409）
全文： 内政部 链接
彼得·霍夫纳；伯恩哈德·莫勒

懒惰半环邻域和一些应用。 （英语） Zbl 1134.68408号

Schmidt，Renate A.（编辑），计算机科学中的关系和Kleene代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会，RelMiCS/AKA 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37873-0/pbk）。计算机科学讲义4136207-221（2006）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}和\textit{B.Möller}，莱克特。票据计算。科学。4136、207--221（2006；Zbl 1134.68408）
全文： 内政部 链接
沃尔特·古特曼；伯恩哈德·莫勒

模态设计代数。 （英语） Zbl 1186.68112号

Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲稿4010，236-256（2006）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛W.Guttmann｝和\textit｛B.Möller｝，Lect。票据计算。科学。4010，236--256（2006年；Zbl 1186.68112）
全文： 内政部 链接
伯恩哈德·莫勒；乔治·斯特鲁斯

水处理是无线局域网. （英语） Zbl 1185.68227号

MacCaull，Wendy（编辑）等人，《计算机科学中的关系方法》。2005年2月22日至26日，加拿大安大略省圣凯瑟琳市，第八届计算机科学关系方法国际研讨会，第三届克莱恩代数应用国际研讨会，以及成本行动274:TARSKI研讨会。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-33339-8/pbk）。计算机科学课堂讲稿3929200-211（2006）。
MSC公司：68号30 03G25号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}和\textit{G.Struth}，莱克特。票据计算。科学。3929，200--211（2006；Zbl 1185.68227）
全文： 内政部
伯恩哈德·莫勒

懒惰的克莱恩代数。 （英语） Zbl 1106.68065号

德克斯特（编辑），《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22380-0/pbk）。计算机科学课堂讲稿3125252-273（2004）。
MSC公司：68问题55 68号30 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}，莱克特。票据计算。科学。3125、252--273（2004；Zbl 1106.68065）
全文： 内政部
伯恩哈德·莫勒；乔治·斯特鲁斯

模态Kleene代数和部分正确性。 （英语） Zbl 1108.68403号

Rattray，Charles（编辑）等人，代数方法论和软件技术。第十届国际会议，AMAST 2004，英国苏格兰斯特灵，2004年7月12-16日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学课堂讲稿3116379-393（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}和\textit{G.Struth}，莱克特。票据计算。科学。3116379-393（2004年；兹bl 1108.68403）
全文： 内政部
Boiten，Eerke A。（编辑）；伯恩哈德·莫勒（编辑）

程序构造的数学。2002年7月8日至10日，第六届国际会议，MPC 2002，德国达格斯图尔城堡。诉讼程序。 （英语） Zbl 0993.00042号

计算机科学课堂讲稿. 2386. 柏林：斯普林格。x、 263页（2002年）。
MSC公司：00B25型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Boiten}（编辑）和\textit{B.Möller}（编），程序构造的数学。2002年7月8日至10日，第六届国际会议，MPC 2002，德国达格斯图尔城堡。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00042）
朱尔斯·德沙奈斯；伯恩哈德·莫勒；费卢兹·切尔

克莱恩在一个恶魔般的星球下。 （英语） Zbl 0983.68039号

Rus，Teodor（编辑），代数方法论和软件技术。2000年5月20日至27日，第八届国际会议，AMAST 2000，美国爱荷华州爱荷华城。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1816, 355-370 (2000).
MSC公司：68号30 68问题55 06时30分
PDF格式BibTeX公司 XML格式引用
\textit{J.Desharnais}等人，Lect。票据计算。科学。1816355-370（2000年；Zbl 0983.68039）
伯恩哈德·莫勒

程序计算的代数结构。 （英语） Zbl 0945.68022号

Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。25-97（1999年）。
MSC公司：68号01 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Möller｝，北约ASI系列。，序列号。F、 计算。系统。科学。25-97、25-97（1999；Zbl 0945.68022）
莫勒，B。（编辑）

根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。 （英语） Zbl 0744.68025号

阿姆斯特丹等地：荷兰北部。十、 第515页（1991年）。
审核人：S.Miura（冈崎/爱知）
MSC公司：68-06 第68季度第60季度 68号01 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}（编辑），根据规范构建程序。1991年5月13日至16日，美国加利福尼亚州太平洋格罗夫，IFIP TC2/WG 2.1工作会议记录。阿姆斯特丹等：北荷兰（1991；Zbl 0744.68025）
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 第68季度第60季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛F.L.Bauer｝等人，《科学》。计算。程序。1、73--114（1981年；Zbl 0469.68003）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件