全文获取类型
| 收费全文 | 14379篇 |
| 免费 | 430篇 |
| 国内免费 | 845篇 |
专业分类
| 系统科学 | 523篇 |
| 丛书文集 | 720篇 |
| 教育与普及 | 349篇 |
| 理论与方法论 | 71篇 |
| 现状及发展 | 90篇 |
| 综合类 | 13901篇 |
出版年
| 2024年 | 79篇 |
| 2023年 | 295篇 |
| 2022年 | 304篇 |
| 2021年 | 317篇 |
| 2020年 | 222篇 |
| 2019年 | 200篇 |
| 2018年 | 139篇 |
| 2017年 | 184篇 |
| 2016年 | 226篇 |
| 2015年 | 362篇 |
| 2014年 | 676篇 |
| 2013年 | 594篇 |
| 2012年 | 682篇 |
| 2011年 | 762篇 |
| 2010年 | 731篇 |
| 2009年 | 798篇 |
| 2008年 | 894篇 |
| 2007年 | 869篇 |
| 2006年 | 714篇 |
| 2005年 | 595篇 |
| 2004年 | 520篇 |
| 2003年 | 541篇 |
| 2002年 | 538篇 |
| 2001年 | 484篇 |
| 2000年 | 456篇 |
| 1999年 | 413篇 |
| 1998年 | 379篇 |
| 1997年 | 383篇 |
| 1996年 | 403篇 |
| 1995年 | 307篇 |
| 1994年 | 311篇 |
| 1993年 | 234篇 |
| 1992年 | 213篇 |
| 1991年 | 244篇 |
| 1990年 | 190篇 |
| 1989年 | 169篇 |
| 1988年 | 98篇 |
| 1987年 | 74篇 |
| 1986年 | 30篇 |
| 1985年 | 10篇 |
| 1984年 | 3篇 |
| 1983年 | 1篇 |
| 1982年 | 4篇 |
| 1981年 | 3篇 |
| 1980年 | 1篇 |
| 1978年 | 1篇 |
| 1958年 | 1篇 |
排序方式： 共有10000条查询结果，搜索用时 703 毫秒
101.
102.
张秉儒 《内蒙古大学学报(自然科学版)》2002,(4)
通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质 相似文献
103.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。 相似文献
104.
105.
关于工程项目风险分析的模糊影响图方法 总被引：8，自引：1，他引：7
本文综合应用模糊集与影响图理论建立了模糊影响图方法，并以工程项目风险分析系统为背景进行了初步应用研究，取得一定成效。 相似文献
106.
107.
采用Ｃ语言实现内装型ＰＭＣ梯形绘制和编辑功能，使软件整体结构紧凑，可靠性高。使用双向链表数据结构描述和记录梯形图的各种信息，以实现汉字菜单方式的全屏幕编辑功能，操作灵活，处理方法简捷，具有良好的人机界面。 相似文献
108.
孙孝瑞 《青岛大学学报(自然科学版)》1994,7(1):60-65
本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案． 相似文献
109.
110.
王新民 《石油大学学报(自然科学版)》1995,19(3):120-122
介绍了一种树型ＭＩＭＤ机的模拟系统Ｐ－Ｓｉｍｕｌａｔｏｒ。该系统采用模块式结构设计，用户可根据需要任意选择所需要的结点个数，具有很强的灵活性和通用性。Ｐ－Ｓｉｍｕｌａｔｏｒ是在ＶＡＸ１１／７８０机上用Ｃ语言实现的，它通过进程及进程间通讯来模拟并行机系统中的处理机结点及结点之间的通讯，达到了很好的模拟效果。将Ｐ－Ｓｉｍｕｌａｔｏｒ用于并行归并、并行排序等算法。研究表明，Ｐ－Ｓｉｍｕｌａｔｏｒ具有良好 相似文献