|
|
|
|
全文数据库：IEEE | Elsevier | New Springer | ACM | 万方|
特别说明：New Springer 下载年限为1997-2008年，Elsevier 2000-2010年；IEEE、ACM由于
收录期刊的年代不同，没有统一的访问年限。如果读者遇到无法下载的文章，可申请原文传递。
|
|
|
| 中科院软件所电子资源一览表 |
|
一览表列举了在所IP范围内读者可访问的所有资源，并按资源类型分为：期刊会议全文、会议文摘、学位论文、电子图书、分析评价工具、其它文献。读者可根据需要选择不同类型的数据库。 | |
| |
|
|
|
| ACM |
| ACM Digital Library收录多种ACM电子出版物，包括15年的期刊杂志、9年的会议记录及25万多页的全文资料。可在The Guide to Computing Literature中查找计算机领域重要文献的书目信息。 | |
| |
|
|
|
| New Springer |
| 通过SpringerLink网络平台出版提供1600余种学术期刊的全文服务;涉及的学科范围包括：数学、计算机科学、工程科学、社会科学和法律、统计学;其中自然科学类学术期刊近1300余种。下载文章年限为1997-2008年。 | |
| |
|
|
|
| 万方 |
| 收录了自1980年以来我国理、工、农、医、人文社科等各个领域的硕博士研究生论文，其中文摘已达82余万篇，论文全文已达70余万篇，并年增全文15万篇。 | |
| |
|
|
|
| CNKI |
| 收录国内8200多种重要期刊，内容覆盖自然科学、工程技术、人文社科等各个领域；核心期刊收全率达到99%，内容收录完整率在99%，出版时间不迟于纸本出版后2个月。 | |
| |
|
|
|
| Elsevier SD |
| Elsevier Science是世界上公认的高品位学术期刊出版公司，SDOS是它的网络全文期刊数据库，中科院集团订购了该库98年来约1800种电子期刊。覆盖的学科包括工程技术及社会科学等。下载文章年限为：2000-2010年。 | |
| |
|
|
|
|
| 计算机科学与软件理论 |
| 探索适合网络软件的形式化方法和算法理论，建立实时、并发系统的语义模型以及分析和验证方法，为国产基础软件平台技术体系和互联网信息处理奠定坚实的理论基础。 | |
| |
|
|
|
| 基础软件技术与系统 |
| 初步形成低成本、高可信、网络化与自主开放的国产基础软件平台技术体系，为我国软件产业的发展和信息化建设提供关键的软件基础设施。 | |
| |
|
|
|
| 信息安全理论、关键技术及应用 |
| 提供系列创新密码算法、安全协议的形式化描述和证明技术，解决国家信息安全基础设施中的基本理论和技术问题，为国产基础软件平台技术体系提供安全保障。 | |
| |
|
|
|
| 综合信息系统技术 |
| 以我国未来发展和建设的需求为背景，以探索和解决大型复杂综合信息系统技术中的基础性、关键性技术难题。 | |
| |
|
|
|
|
