×

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

协议调度。 (英语) Zbl 1496.68097号

Hojjat,Hossein(编辑)等人,《软件工程基础》,第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12818, 3-17 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

设计连接器。 (英语) Zbl 1364.68140号

Salaün,Gwen(编辑)等人,第八届协调语言和软件架构基础国际研讨会会议记录(FOCLASA 2009),希腊罗德斯,2009年7月11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记255,119-135(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于组件的并行约束求解器。 (英语) Zbl 1081.68562号

De Nicola,Rocco(编辑)等人,《协调模型和语言》。2004年2月24日至27日在意大利比萨举行的2004年第六届国际协调会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21044-X/pbk)。计算机科学课堂讲稿2949307-322(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象行为类型:组件及其组合的基础模型。 (英语) Zbl 1254.68071号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林:施普林格出版社(ISBN 3-540-20303-6/pbk)。莱克特。注释计算。科学。2852, 33-70 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段