×

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

从同步框图生成模块化代码:模块化与代码大小。 (英语) Zbl 1315.68041号

2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。78-89 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶有限元方法。带CD-ROM。 (英语) Zbl 1032.65132号

高等数学研究。佛罗里达州博卡拉顿:CRC出版社。xxi,382页89.95美元;£59.99 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 链接

AToM({}^3):一种用于多形式主义和元建模的工具。 (英语) Zbl 1059.68561号

Kutsche,Ralf-Detlef(ed.)等人,《软件工程的基本方法》,第五届国际会议,FASE 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43353-8)。莱克特。注释计算。科学。2306, 174-188 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份