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

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

3. An Overview of P \(\rho \) Log
刊名：Lecture Notes in Computer Science
出版年：2017
4. The Complexity of (List) Edge-Coloring Reconfiguration Problem
刊名：Lecture Notes in Computer Science
出版年：2017
6. Hardness of Deriving Invertible Sequences from Finite State Machines
刊名：Lecture Notes in Computer Science
出版年：2017
7. Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
刊名：Lecture Notes in Computer Science
出版年：2017
8. Quantum alternation
刊名：Lobachevskii Journal of Mathematics
出版年：2016
9. Online Chromatic Number is PSPACE-Complete
刊名：Lecture Notes in Computer Science
出版年：2016
10. The Complexity of Induced Tree Reconfiguration Problems
刊名：Lecture Notes in Computer Science
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(844)
题名(186)
作者(2)
关键词(36)
文摘(693)
按出版年细分(844)
2017年(7)
2016年(33)
2015年(47)
2014年(87)
2013年(56)
2012年(59)
2011年(17)
2010年(57)
2009年(68)
2008年(89)
2007年(107)
2006年(82)
2005年(65)
2004年(12)
2003年(8)
2002年(30)
2001年(3)
2000年(2)
2000年及以前(15)

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

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

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