×

兹马思-数学第一资源

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

100
马查克斯
彼得连科,亚历山大K(等,系统信息学的观点。第11届国际米兰。Ershov信息学会议,PSI 2017,莫斯科,俄罗斯,2017年6月27日至29日。修订精选论文。查姆:斯普林格(ISBN 978-3-319-74312-7/pbk;978-3-319-74313-4/电子书)。计算机科学课堂讲稿10742211-226(2018年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Havelund,Klaus(编辑)等人,《形式方法》。第22届国际研讨会,FM 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月15-17日。会议记录。查姆:斯普林格。选择。笔记计算。科学。1095139-54(2018年)。
理学硕士: 68N30型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
程序。计算机。软。 第44期,第1期,第1-14期(2018年); 翻译自Programmirovanie 44,No.1,3-20(2018年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN函数式编程国际会议论文集》,ICFP'16,日本奈良,2016年9月18-22日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4219-3)。243-255(2016年)。
理学硕士: 68Q60型 68N18 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
D'Souza,Deepak(编辑)等人,验证,模型检查和抽象解释。第16届国际会议,2015年VMCAI,印度孟买,2015年1月12日至14日。会议记录。柏林:斯普林格。选择。笔记计算。科学。8931227-244(2015年)。
理学硕士: 6885年 03B70型 68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Neykova,Rumyana(编辑)等人,2014帝国理工学院计算机学生研讨会,ICCSW'14,伦敦,英国,2014年9月25-26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für信息。OASIcs–OpenAccess服务器。通知。第43、27-35页(2014年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年1月26-28日,美国德克萨斯州奥斯汀,POPL'11。纽约:计算机械协会(ACM)(ISBN 978-1-4503-0490-0)。331-344(2011年)。
理学硕士: 6885年 68平方米 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-60558-479-9)。249-260(2010年)。
理学硕士: 68N30型 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aldini,Alessandro(ed.)等人,《编程语言定量方面第六次研讨会论文集》(QAPL 2008),匈牙利布达佩斯,2008年3月29-30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记220,第3期,5-21期(2008年)。
理学硕士: 68Q60型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
多环芳烃(软件工程。IASTED国际会议记录(SE 2008),作为第26届IASTED应用信息学国际多会议的一部分,2008年2月12日至14日,奥地利因斯布鲁克,卡尔加里:国际科学和技术促进发展协会(IASTED);加利福尼亚州阿纳海姆:Acta出版社(ISBN 978-0-88986-716-1/CD-ROM)。310-317(2008年)。
理学硕士: 68Q60型 68T27型
PDF格式 BibTeX公司 XML 引用
Lazic,Ranko(ed.)等人,《第五届关键系统自动验证国际研讨会论文集》(AVoCS 2005),英国沃里克沃里克大学,2005年9月12日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记145151-165(2006)。
理学硕士: 68Q60型 68Q45号 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 链接
第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,加利福尼亚州长滩,美国,2005年1月12日至14日,纽约:计算机械协会(ACM)(ISBN 1-58113-830-X)。132-144(2005年)。
理学硕士: 68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2004年1月14-16日,意大利威尼斯,POPL'04。纽约,纽约:计算机械协会(ACM)(ISBN 1-58113-729-X)。232-244(2004年)。
理学硕士: 68Q60型 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
扎克,莱昂诺尔D(等,验证、模型检查和抽象解释。第四届国际会议,VMCAI 2003,纽约,纽约,美国,2003年1月9日至11日。柏林:斯普林格。选择。笔记计算。科学。2575146-160(2003年)。
理学硕士: 68Q60型 68问55
PDF格式 BibTeX公司 XML 引用
全文: 链接

筛选结果依据…

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