×

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

Reactamole:功能性反应分子编程。 (英语) Zbl 07741401号

Lakin,Matthew R.(编辑)等人,第27届DNA计算和分子编程国际会议。DNA 27,英国牛津(虚拟会议),2021年9月13日至16日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。205,第10条,第20页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

适用于程序解释的跟踪。 (英语) 兹比尔1520.68018

哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13008, 202-221 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Scala代数系统的进度报告。 (英语) Zbl 07635836号

Boulier,François(编辑)等人,《科学计算中的计算机代数》。第22届国际研讨会,CASC 2020,奥地利林茨,2020年9月14日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12291, 307-315 (2020).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统描述:lang-n-change–转换语言的工具。 (英语) 兹伯利07368092

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第十五届国际研讨会,FLOPS 2020,日本秋田,2020年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12073, 198-214 (2020).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

初学者的运气:基于属性的生成器语言。 (英语) Zbl 1380.68096号

Castagna,Giuseppe(ed.)等人,第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。114-129 (2017).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用

DynSem:用于动态语义规范的DSL。 (英语) 兹伯利1366.68015

Fernández,Maribel(编辑),第26届重写技术和应用国际会议,RTA’13,波兰华沙,2015年6月29日至7月1日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-85-9)。LIPIcs–莱布尼茨国际信息学论文集36,365-378(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

金融多方合同的认证符号管理。 (英语) Zbl 1360.68356号

2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。315-327 (2015).
MSC公司:68号30 68甲18 68问题55 91B40型 91G99型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CUDA和OpenCL上时域可伸缩实现的有限差异。 (英语) Zbl 1322.78016号

Kindratenko,Volodymyr(编辑),GPU的数值计算。查姆:施普林格(ISBN 978-3-319-06547-2/hbk;978-3-3169-06548-9/电子书)。223-242 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模块化(逻辑)语言的模块化扩展。 (英语) Zbl 1377.68058号

维达尔·格曼(编辑),基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞,2011年7月18日至20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-32210-5/pbk)。计算机科学课堂讲稿7225139-154(2012)。
MSC公司:68甲15 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

一般网格上扩散问题的最低阶方法:定义和实现的统一方法。 (英语) Zbl 1246.65261号

Fořt,Jaroslav(ed.)等人,《复杂应用的有限体积VI:问题与展望》。FVCA 6,国际研讨会,捷克共和国布拉格,2011年6月6日至10日。第1卷和第2卷。柏林:施普林格出版社(ISBN 978-3-642-20670-2/hbk;978-3-442-20671-9/电子书)。《施普林格数学学报》4,803-819(2011)。
MSC公司:65岁99岁 65号08
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

语法推理在软件工程中的应用:特定领域的语言开发。 (英语) Zbl 1226.68030号

Martín-Vide,Carlos(编辑),语言方法的科学应用。伦敦:帝国理工学院出版社(ISBN 978-1-84816-544-1/hbk;978-1-848 16-545-8/电子书)。数学、计算、语言和生活:数学语言学和语言理论的前沿2,421-457(2011)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用

安培数。在实践中应用关系代数。 (英语) Zbl 1329.68066号

哈里·德·斯瓦特(编辑),《计算机科学中的关系和代数方法》。2011年5月30日至6月3日,荷兰鹿特丹,RAMICS 2011第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21069-3/pbk)。计算机科学讲座笔记6663280-293(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据UML模型匹配软件模式的基于规则的方法。 (英语) Zbl 1286.68305号

Visser,Joost(编辑)等人,第八届基于规则的编程国际研讨会论文集(rule 2007),法国巴黎,2007年6月29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记219,51-66(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

接下来的700种数据描述语言。 (英语) Zbl 1369.68073号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-027-2)。2-15 (2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语法对象的静态分析。 (英语) Zbl 1321.68124号

2006年9月18日至20日,美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-309-3)。ACM SIGPLAN Notices 41,No.9,111-121(2006)。
MSC公司:68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于概念的领域特定语言定义。 (英语) Zbl 1015.68743号

George,Chris(ed.)等人,《形式方法与软件工程》,第四届形式工程方法国际会议,2002年ICFEM,中国上海,2002年10月21日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2495, 237-248 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份