×

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

对称变换:其方程理论的数据类型和算法程度。 (英语) Zbl 1524.68199号

Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 63-80 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为抽象数据类型的有理数轮子。 (英语) Zbl 07415131号

Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 13-30 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

符号对合草地背景下的概率函数(扩展摘要)。 (英语) Zbl 1453.68105号

James,Phillip(编辑)等人,代数开发技术的最新趋势。2016年9月21日至24日,第23届IFIP工作组1.3国际研讨会,WADT 2016,英国格雷戈诺格。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10644, 73-87 (2017).
PDF格式BibTeX公司 XML格式引用

在普通草地上被零除。 (英语) Zbl 1453.68104号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950,46-61(2015年)。
PDF格式BibTeX公司 XML格式引用

计算机科学的指令序列。 (英语) Zbl 1305.68008号

亚特兰蒂斯计算机研究2.巴黎:亚特兰蒂斯出版社(ISBN 978-94-91216-64-0/hbk;978-94.91216-65-7/电子书)。十六、229页。(2012).
PDF格式BibTeX公司 XML格式引用

命题代数和短路逻辑。 (英语) Zbl 1354.03035号

Arbab,Farhad(编辑)等人,《软件工程基础》,第四届IPM国际会议,FSEN 2011,伊朗德黑兰,2011年4月20日至22日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29319-1/pbk)。计算机科学讲义714115-31(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指令流的传输协议。 (英语) Zbl 1250.68183号

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

具有隐式计算资本的并行过程。 (英语) Zbl 1279.68248号

Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,55-81(2008)。
MSC公司:68问题85 91B64型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线程代数和风险评估服务。 (英语) Zbl 1149.68022号

Dimitracopoulos,Costas(编辑)等人,2005年逻辑学术讨论会。符号逻辑协会(ASL)欧洲夏季年会会议记录,希腊雅典,2005年7月28日至8月3日。剑桥:剑桥大学出版社;伊利诺伊州乌尔班纳:符号逻辑协会(ASL)(ISBN 978-0-521-88425-9/hbk)。逻辑课堂讲稿28,1-17(2008)。
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用

字段、草地和抽象数据类型。 (英语) Zbl 1134.68034号

Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学讲座笔记4800166-178(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络和系统管理手册。 (英语) Zbl 1147.68300号

阿姆斯特丹:爱思唯尔出版社(ISBN 978-0-444-52198-9)。x、 第1016页。(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

有理复数的基本代数规范。 (英语) Zbl 1132.68485号

Futatsugi,Kokichi(编辑)等人,《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-35462-X/pbk)。计算机科学课堂讲稿4060459-475(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有理函数域的基本代数规范。 (英语) Zbl 1145.68465号

Beckmann,Arnold(编辑)等人,《计算障碍的逻辑方法》。2006年6月30日至7月5日,在英国斯旺西举行的2006年欧洲可计算性第二次会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35466-2/pbk)。计算机科学课堂讲稿3988,40-54(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

进程代数的模型理论。 (英语) Zbl 1171.68561号

Middeldorp,Aart(编辑)等人,《过程、术语和循环:通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-30911-X/pbk)。计算机科学课堂讲稿3838445-495(2005)。
MSC公司:68问题85 03C98号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

强分裂互模拟等价。 (英语) 兹比尔1151.68504

JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿362983-97(2005)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有多级策略交错的线程代数。 (英语) Zbl 1113.68426号

Cooper,S.Barry(编辑)等人,《新计算范式》。欧洲可计算性第一次会议,2005年6月8日至12日,荷兰阿姆斯特丹,CiE 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26179-6/pbk)。计算机科学课堂讲稿3526,35-48(2005)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于机器功能的控制代码代数。 (英语) Zbl 1104.68407号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿318817-41(2004)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

极化进程代数和程序等价。 (英语) Zbl 1039.68040号

Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 1-21 (2003).
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

传记参考