用户名： 密码： 验证码：
常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
Wiley电子期刊(10)SpringerLink电子期刊(1585)NATURE电子期刊(75)Elsevier电子期刊(1067)
Springer电子图书(14)ProQuest学位论文(96)GSW全文库(9)ACS电子期刊(17)
在“SpringerLink电子期刊”中，命中：1,585条，耗时：小于0.01 秒

在所有数据库中总计命中：2,873条

2. Reduction of Workflow Nets for Generalised Soundness Verification
刊名：Lecture Notes in Computer Science
出版年：2017
3. On Zero Knowledge Argument with PQT Soundness
刊名：Lecture Notes in Computer Science
出版年：2016
7. A Substructural Epistemic Resource Logic
刊名：Lecture Notes in Computer Science
出版年：2017
8. A New Roadmap for Linking Theories of Programming
刊名：Lecture Notes in Computer Science
出版年：2017
9. An Axiomatic Value Model for Isabelle/UTP
刊名：Lecture Notes in Computer Science
出版年：2017
10. Soundness of data-aware, case-centric processes
刊名：International Journal on Software Tools for Technology Transfer (STTT)
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(1585)
题名(114)
关键词(79)
文摘(1532)
按出版年细分(1585)
2017年(6)
2016年(111)
2015年(136)
2014年(126)
2013年(129)
2012年(129)
2011年(39)
2010年(80)
2009年(112)
2008年(101)
2007年(137)
2006年(133)
2005年(145)
2004年(48)
2003年(38)
2002年(36)
2001年(28)
2000年(13)
2000年及以前(38)

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

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

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