×

兹马思-数学第一资源

找到109份文件(结果1-100)

100
马查克斯
Nakano,Keisuke(编辑)等,《功能与逻辑程序设计》。第15届国际研讨会,2020年9月14日至16日,日本秋田。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12073124-138(2020年)。
理学硕士:68N17 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN国际功能编程会议论文集》,ICFP'16,日本奈良,2016年9月18日至22日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4219-3)。158-167(2016年)。
理学硕士:68N18 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2015年1月12日至18日,印度孟买,POPL'15。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-3300-9)。689-700(2015年)。
理学硕士:68T15型 68N18 68Q60型 68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Falaschi,Moreno(编辑),《基于逻辑的程序综合与转换》。第25届国际研讨会,2015年7月13日至15日,意大利锡耶纳。修订精选论文。查姆:斯普林格(ISBN 978-3-319-27435-5/pbk;978-3-319-27436-2/电子书)。计算机科学课堂讲稿9527,244-258(2015)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gupta,Gopal(ed.)等人,基于逻辑的程序综合与转换。第23届国际研讨会,LOPSTR 2013,西班牙马德里,2013年9月18日至19日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。8901220-236(2014年)。
理学硕士:68牛顿 68N17 68问55 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2011年9月19-21日,日本东京,第16届ACM-SIGPLAN函数编程国际会议论文集。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN公告46,第9号,385-391(2011年)。
理学硕士:68N30型 68N18 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bolduc,Claude(ed.)等人,《程序构造数学》。2010年6月21日至23日,加拿大魁北克市,MPC 2010年第10届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-13320-6/pbk)。《计算机科学》讲义61156-140。
理学硕士:11Y16年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2009年8月31日至9月2日,英国爱丁堡,第14届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-60558-332-7)。ACM SIGPLAN公告44,第9号,191-202(2009年)。
理学硕士:65度25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dang Van Hung(ed.)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722562-578(2005)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bruynooghe,Maurice(编辑),《基于逻辑的程序综合与转换》。2003年8月25日至27日在瑞典乌普萨拉举行的第13届国际研讨会。修订精选论文。柏林:斯普林格出版社(ISBN 3-540-22174-3/pbk)。计算机科学课堂讲稿3018128-142(2004)。
理学硕士:68N30型 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dovier,Agostino(编辑)等人,声明性编程。2000年12月4日至6日,古巴拉哈瓦那,AGP 2000论文选集。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记48147-166(2001)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2000年9月18日至21日,加拿大蒙特勒亚尔,第五届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机械协会(ACM)(ISBN 1-58113-202-6)。ACM SIGPLAN公告35,第9号,186-197(2000年)。
理学硕士:68N30型 68N17 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jeuring,Johan(编辑),《程序构建数学》。第四届国际会议,1998年6月15日至17日,瑞典马尔斯特朗,MPC'98。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1422年,44-51年(1998年)。
PDF格式 BibTeX公司 XML 引用
Schtenwiched和Schtenberg计算。1993年7月20日至8月1日,在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:斯普林格·维拉格。北约ASI Ser.,Ser。F、 计算机。系统。科学。139,1-45(1995年)。
审核人:李翔(贵阳)
理学硕士:03B35型 68T15型 03B60型 68N17
PDF格式 BibTeX公司 XML 引用
Bird,Richard S.(ed.)等人,《程序构造的数学》。第二届国际会议,1992年6月29日至7月3日,英国牛津。诉讼程序。柏林:斯普林格·维拉格。选择。笔记计算。科学。669163-190(1993年)。
理学硕士:68N01号 68分05秒
PDF格式 BibTeX公司 XML 引用
阿姆斯特丹等:北荷兰。十、 515页。(1991年)。
PDF格式 BibTeX公司 XML 引用
数组,函数语言和并行系统,Proc。第一次国际研讨会,魁北克/加拿大蒙特雷尔,1990年,185-200年(1991年)。
理学硕士:68Q60型 68N01号 68N15
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
出版年份
全部的 前3名
分类
全部的 前3名
软件