×

兹马思-数学第一资源

找到17份文件(结果1-17)

100
马查克斯
Yang,Hongseok(编辑),编程语言与系统。第26届欧洲编程研讨会,ESOP 2017,作为欧洲软件理论与实践联合会议的一部分举行,2017年ETAPS,瑞典乌普萨拉,2017年4月22-29日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。10201393-419(2017年)。
理学硕士:68牛顿
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Peyrin,Thomas(编辑),《快速软件加密》。第23届国际会议,FSE 2016,德国波鸿,2016年3月20-23日。修订精选论文。柏林:斯普林格(ISBN 978-3-662-52992-8/pbk;978-3-662-52993-5/电子书)。计算机科学课堂讲稿9783163-184(2016)。
理学硕士:94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
蔡,杨(编)等,《网络与互联网经济学》。第12届国际葡萄酒大会,2016年12月11日至14日,加拿大蒙特利尔。诉讼程序。柏林:斯普林格(ISBN 978-3-662-54109-8/pbk;978-3-662-54110-4/电子书)。计算机科学课堂讲稿10123279-293(2016)。
理学硕士:91A40型 91B68型 91-04年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
蒂曼,彼得(编辑),《编程语言与系统》。第25届欧洲编程研讨会,ESOP 2016,作为欧洲软件理论与实践联合会议的一部分,2016年4月2日至8日,荷兰埃因霍温,2016年ETAPS。诉讼程序。柏林:斯普林格(ISBN 978-3-662-49497-4/pbk;978-3-662-49498-1/电子书)。计算机科学课堂讲稿9632503-531(2016)。
理学硕士:68N18 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ghica,Dan(编辑),《第31届编程语义学数学基础会议论文集》(MFPS XXXI),荷兰奈梅根,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319351-367,电子版(2015)。
理学硕士:68N30型 03B70型 68N19 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
MartíOliet,Narciso(编辑)等,《逻辑、重写和并发》。在何塞·梅斯盖尔65岁生日之际献给他的散文。查姆:斯普林格(ISBN 978-3-319-23164-8/pbk;978-3-319-23165-5/电子书)。计算机科学课堂讲稿9200,475-492(2015)。
理学硕士:94A60型 68M12 68页25页
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aldini,Alessandro(编辑)等人,《安全分析与设计基础》第七章。FOSAD 2012/2013辅导讲座。柏林:斯普林格。选择。笔记计算。科学。8604146-166(2014年)。
理学硕士:68平方米25 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aldini,Alessandro(编辑)等人,《安全分析与设计基础》第七章。FOSAD 2012/2013辅导讲座。柏林:斯普林格。选择。笔记计算。科学。8604年,第54-87页(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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