搜索、查询及下载LNCS论文的快捷方法

写这篇日志纯粹是为了自己方便。

我们知道Springer的LNCS也是计算机、网络方面的重要会议论文集，之前还被SCI收录，是大陆学生以前博士毕业的法宝。当然06年已经被SCI排除了。但是其中的有些会议还是很值得一读。例如CAV（Computer aided verification），TACAS（Tools and Algorithms for the Construction and Analysis of Systems
）等。但是Springer网站在论文搜索及下载方面很麻烦。今天想总结一种较为简便的方法。

首先，LNCS的全集链接是：http://www.springerlink.com/content/0302-9743/

如果我想查CAV 2011年的论文集，可以先到这个页面：http://www.worldcat.org 中搜索CAV 2011，在结果页面中，就会给出CAV 2011的LNCS编号。得到编号之后，再到上面全集链接的页面右侧，有一个"Jump To Volume Number"，输入CAV 2011的编号，即可直接到达其Proceedings页面。

今天就总结这么多，希望能给自己和其他面临同样问题的同仁提供点帮助。