×

找到332个文档(结果1–100)

语法上限制可判定子类型的有界多态性。 (英语) Zbl 1476.68041号

Oliveira,Bruno C.d.S.(编辑),《编程语言与系统》。2020年11月30日至12月2日,日本福冈,APLAS 2020第18届亚洲研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12470, 125-144 (2020).
MSC公司:68甲15 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

并行软件设计自动化的形式化方法。 (英语) Zbl 1463.68016号

PDF格式BibTeX公司 XML格式引用
全文: DOI程序

海量几何代数:几何代数在C++实现中扩展到大数据时代的愿景。 (英语) Zbl 1425.68424号

MSC公司:68单位05 68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

用于析取信息流的霍尔逻辑。 (英语) Zbl 1434.68095号

Bodei,Chiara(编辑)等人,《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9465, 47-65 (2015).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

抽象、可重用和可扩展的编程语言设计体系结构。 (英语) Zbl 1397.68023号

Tannen,Val(编辑)等人,《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-41659-0/pbk;978-3-442-41660-6/电子书)。《计算机科学讲义》8000112-166(2013)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

rCOS:定义基于组件的软件架构的含义。 (英语) 兹比尔1444.68047

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 1-66 (2013).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

放松行为程序中的同步约束。 (英语) Zbl 1406.68016号

McMillan,Ken(编辑)等人,《编程逻辑、人工智能和推理》。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-45220-8/pbk)。计算机科学课堂讲稿8312,355-372(2013)。
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

分析一致性属性以获得乐趣和利润。 (英语) Zbl 1321.68081号

第30届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集,PODC'11,美国加利福尼亚州圣何塞,2011年6月6日至8日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0719-2)。197-206 (2011).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

代码图表。面向对象程序的路线图和蓝图。由乔纳森·尼克尔森(Jonathan Nicholson)出资。 (英语) Zbl 1222.68002号

新泽西州霍博肯:John Wiley&Sons(ISBN 978-0-470-62694-8/hbk;978-0-4.70-89103-2/电子书)。xxv,第243页。(2011).
MSC公司:68-02 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

对象数据库基础。面向对象和对象关系设计。 (英语) Zbl 1219.68094号

数据管理综合讲座12.加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 978-1-60845-476-1/pbk;978-1-60845-477-8/电子书)。二十一、151页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

面向对象软件设计阶段的漏洞度量。 (英语) Zbl 1211.68106号

Ranka,Sanjay(编辑)等人,《当代计算》。2010年8月9日至11日,第三届国际会议,IC3 2010,印度诺伊达。柏林:施普林格出版社(ISBN 978-3-642-14833-0/pbk;978-3-662-14834-7/电子书)。《计算机与信息科学通信》94,328-339(2010)。
MSC公司:68N99型 68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

介绍编程语言中的并发性。 (英语) Zbl 1214.68124号

Chapman&Hall/CRC计算科学系列佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4200-7213-6/hbk)。xii,330页。(2010).
PDF格式BibTeX公司 XML格式引用

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

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

关于增量在测试设计中的作用。 (英语) Zbl 1183.68170号

Kovács,Emőd(ed.)等人,《第七届应用信息学国际会议论文集》(ICAI 2007),2007年1月28日至31日,匈牙利埃格尔。第二卷。埃格尔:埃斯兹特哈兹·卡罗利学院。309-316 (2009).
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用

线性代数问题的大规模分布式并行计算:实践与经验。 (英语) Zbl 1200.68067号

Xhafa,Fatos(编辑),并行编程,网格和P2P系统中的模型和应用。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-004-9/hbk;978-3-540-68844-0/电子书)。并行计算进展17,261-291(2009)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

网格和P2P系统中的并行编程、模型和应用。 (英语) Zbl 1175.68024号

并行计算的进展17.阿姆斯特丹:IOS出版社(ISBN 978-1-60750-004-9/hbk;978-3-540-68844-0/电子书)。xi,第349页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

一种基于领域知识和用户偏好的语义web查询近似方法。 (英语) 兹比尔1183.68044

Sarbazi-Azad,Hamid(编辑)等人,《计算机科学与工程进展》,第13届国际CSI计算机会议,CSICC 2008,伊朗基什岛,2008年3月9日至11日。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-89984-6/pbk;978-3-440-89985-3/电子书)。计算机和信息科学中的通信6,443-452(2008)。
MSC公司:68米10 68T05型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

对象、组件、模型和图案。2008年6月30日至7月4日在瑞士苏黎世举行的2008年欧洲工具第46届国际会议。诉讼程序。 (英语) Zbl 1153.68353号

商业信息处理课程讲稿11.柏林:施普林格出版社(ISBN 978-3-540-69823-4/pbk)。x、 413中。(2008).
PDF格式BibTeX公司 XML格式引用

正式方法在汽车行业中的作用。 (英语) Zbl 1189.93101号

Ramesh,S.(编辑)等人,分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录,印度班加罗尔,2007年1月。多德雷赫特:施普林格(ISBN 978-1-4020-6253-7/hbk)。175 (2007).
MSC公司:93C85号 93A30型 68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

用于学习自动化的编程模型的体系结构。 (乌克兰语。英文摘要) Zbl 1164.68323号

PDF格式BibTeX公司 XML格式引用

网格计算的综合研究。 (英语) Zbl 1116.68012号

纽约州纽约市:施普林格出版社(ISBN 0-387-47656-3/hbk)。十八、285页。(2007).
MSC公司:68米10 68甲19 68-06
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

使用设计结构矩阵和净期权价值评估方面模块化。 (英语) Zbl 1165.68365号

Rashid,Awais(ed.)等人,《面向方面软件开发学报》I.柏林:施普林格出版社(ISBN 978-3-540-32972-5/pbk)。计算机科学课堂讲稿3880。《期刊副刊》,1-35(2006)。
MSC公司:68N99型 68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

沟通流程架构。2006年9月17日至20日,在苏格兰爱丁堡举行的第29届WoTUG技术会议记录(WoTUG 29)。 (英语) Zbl 1127.68014号

并发系统工程系列64.阿姆斯特丹:IOS出版社(ISBN 1-58603-671-8)。viii,第391页。(2006).
PDF格式BibTeX公司 XML格式引用

网格上的分布式面向对象计算电磁学。 (英语) Zbl 1108.68302号

Tarricone,Luciano(编辑)等人,《电磁学信息技术进展》。多德雷赫特:施普林格(ISBN 1-4020-4748-7/hbk)。327-343 (2006).
PDF格式BibTeX公司 XML格式引用

POST:rCOS增量开发的案例研究。 (英语) Zbl 1169.68360号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722485-500(2005)。
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

对象模型是设计复杂社会经济系统的信息技术的基础。 (英语。俄文原件) Zbl 1099.91510号

赛博。系统。分析。 41,第5期,751-758(2005); 翻译自Kibern。修女。分析。2005年,第5期,136-146(2005)。
MSC公司:91B06型 93甲13
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

二维几何算法及其在CAGD中的应用。(Algoritmi geometrici 2Dši aplicaţii෤n C.A.G.D.) (罗马尼亚语) Zbl 1086.65007号

伊阿什:伊迪图拉大学ii“亚历山德鲁·伊万·库扎”(ISBN 973-703-805-0/pbk)。195页。(2005).
PDF格式BibTeX公司 XML格式引用

灵活的软件设计。针对不断变化的需求进行系统开发。 (英语) Zbl 1092.68558号

佛罗里达州博卡拉顿:奥尔巴赫出版物(ISBN 0-8493-2650-8/hbk)。第二十二章,第440页。(2005).
MSC公司:68甲19 68-01
PDF格式BibTeX公司 XML格式引用

web服务建模、开发和管理中的开放问题和机遇。 (英语) Zbl 1081.68533号

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

Java中的数据结构和算法。第3版。 (英语) Zbl 1059.68022号

新泽西州霍博肯:John Wiley&Sons(ISBN 0-471-64452-8/hbk)。十七、681页。(2004).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件