常用资源 电子图书期刊论文学位会议外文资源特色专题内部出版物 
CNKI学位论文(404)知网期刊论文(116)
在“SpringerLink电子期刊”中，命中：75条，耗时：小于0.01 秒

在所有数据库中总计命中：520条

5. ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
刊名：Lecture Notes in Computer Science
出版年：2016
6. DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
刊名：Lecture Notes in Computer Science
出版年：2016
7. A Verified Compiler for Probability Density Functions
刊名：Lecture Notes in Computer Science
出版年：2015
8. A Linear First-Order Functional Intermediate Language for Verified Compilers
刊名：Lecture Notes in Computer Science
出版年：2015
9. Validating Dominator Trees for a Fast, Verified Dominance Test
刊名：Lecture Notes in Computer Science
出版年：2015
1
2
3
4
5
6
7
8
按检索点细分(75)
题名(6)
关键词(3)
文摘(73)
按出版年细分(75)
2016年(5)
2015年(8)
2014年(12)
2013年(10)
2012年(2)
2011年(3)
2010年(5)
2009年(5)
2008年(4)
2007年(10)
2006年(7)
2005年(3)
2001年(1)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700