×

找到68个文档(结果1-68)

何继峰(Jifeng He)在牛津大学及以后:一种欣赏。 (英语) Zbl 07810649号

Bowen,Jonathan P.(编辑)等人,《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆:施普林格。莱克特。注释计算。科学。14080, 3-18 (2023).
MSC公司:68-03 01A70号 68号01
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于UTP的MCA ARMv8体系结构的跟踪语义和代数法则。 (英语) Zbl 1498.68018号

秦胜超(主编)等,可靠软件工程。理论、工具和应用。第七届国际研讨会,SETTA 2021,中国北京,2021年11月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13071, 81-101 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用透镜对集合和局部变量进行自动代数推理。 (英语) Zbl 07578337号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12062, 100-116 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

带观察的克莱恩代数。 (英语) 兹比尔07649949

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第41条,第16页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

rTiMo的UTP语义。 (英语) Zbl 1483.68238号

Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10134, 176-196 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

链接编程理论的新路线图。 (英语) Zbl 1483.68081号

Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10134, 26-43 (2017).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用透镜统一异构状态空间。 (英语) Zbl 1482.68089号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 295-314 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

命题代数的评估树。 (英语) Zbl 1444.03110号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 44-61 (2015).
MSC公司:03B70号 03G25号
PDF格式BibTeX公司 XML格式引用

代数统一了运算计算。 (英语) 兹比尔1452.68056

Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 88-104 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程法则供参考。 (英语) 兹比尔1426.68057

Shan,Chung-chieh(编辑),《编程语言和系统》。第十一届亚洲研讨会,2013年APLAS,澳大利亚维多利亚州墨尔本,2013年12月9-11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8301, 124-139 (2013).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向网络物理系统的建模语言。 (英语) Zbl 1390.68167号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。《计算机科学讲义》8051、394-411(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一并发编程的语义。 (英语) Zbl 1264.68042号

Coecke,Bob(编辑)等人,《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-38163-8/pbk)。计算机科学课堂讲稿7860139-149(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程法则统一了过程计算。 (英语) 兹比尔1358.68064

Jeremy Gibbons等人,《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31112-3/pbk)。计算机科学课堂讲稿7342,7-22(2012)。
MSC公司:68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

考虑到概率的数据优化。 (英语) Zbl 1342.68096号

Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259165-176(2009)。
MSC公司:68号30 第68季度87
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据流计算的形式化和验证流软件合成的协同方法。 (英语) Zbl 1138.68337号

Gavrilova,Marina L.(编辑)等人,《计算科学汇刊》,柏林:施普林格出版社(ISBN 978-3-540-79298-7/pbk)。计算机科学课堂讲稿4750。《期刊副刊》,1-36(2008)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于带域的恶魔代数的最新消息。 (英语) Zbl 1140.68036号

Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届Kleene代数应用国际会议,RelMiCS/AKA 2008,德国Frauenwörth,2008年4月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。计算机科学课堂讲稿4988,54-68(2008)。
MSC公司:第68季度55 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在基于对象的设计方法中约束干涉。 (英语) Zbl 1497.68100号

Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 136-150 (1993).
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通信系统语言之间的接口。 (英语) 兹比尔1425.68300

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。第623641-655页(1992年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多级结构化程序设计和正确性证明。 (英语。俄文原件) Zbl 0841.68075号

赛博。系统。分析。 27,第5期,719-726(1991)翻译自Kibern。修女。分析。1991年,第5号,98-107(1991)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考