×

兹马思-数学第一资源

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

100
马查克斯
Beyer,Dirk(ed.)等人,验证,模型检查和抽象解释。第21届国际会议,VMCAI 2020,新奥尔良,洛杉矶,美国,2020年1月16日至21日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11990,90-111(2020年)。
理学硕士:68牛顿 68N15 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Tannen,Val(ed.)等人,在计算理论和实践中寻求优雅。献给彼得·布内曼的论文。柏林:斯普林格(ISBN 978-3-642-41659-0/pbk;978-3-642-41660-6/电子书)。计算机科学课堂讲稿8000,112-166(2013)。
理学硕士:68N15 68N18 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
超逻辑L2中的新常数。 (英语。俄文原件) Zbl 1331.03027
数学。笔记 94,第6号,938-950(2013年); 翻译自Mat。Zametki 94,第6号,918-932(2013年)。
理学硕士:03B55型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Scholl,Christopf(ed.)等人,《方法与方法》,模型与验证。奥斯格瓦赫特·贝特拉格11日。GI/ITG/GMM研讨会,布雷斯高弗莱堡,3-5。马尔茨2008。亚琛:Shaker Verlag(ISBN 978-3-8322-6962-3/pbk)。Berichte aus der Informatik,149-158(2008年)。
理学硕士:68N99型
PDF格式 BibTeX公司 XML 引用
第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约,纽约:计算机机械协会(ACM)(ISBN 1-58113-830-X)。38-49(2005年)。
理学硕士:68牛顿 68N15 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2000年9月18日至21日,加拿大蒙特勒亚尔,第五届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机械协会(ACM)(ISBN 1-58113-202-6)。ACM SIGPLAN通告35,第9号,82-93(2000年)。
理学硕士:68N19 68N15 68N18 68牛顿
PDF格式 BibTeX公司 XML 引用
全文: 内政部
戈登,安德鲁(编辑)等人,《99年的豪斯》。语义中的高阶运算技术。1999年9月30日和10月1日,法国巴黎。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。26、18页,仅电子版(1999年)。
理学硕士:68牛顿
PDF格式 BibTeX公司 XML 引用
全文: 链接
程序。计算机。软件 14,第2期,71-75页(1988年); 译自《米洛瓦尼1988》,第2期,26-31页(1988年)。
理学硕士:68N01号 68R99型 68N99型
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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