全文获取类型
| 收费全文 | 6336篇 |
| 免费 | 132篇 |
| 国内免费 | 316篇 |
专业分类
| 系统科学 | 249篇 |
| 丛书文集 | 276篇 |
| 教育与普及 | 107篇 |
| 理论与方法论 | 258篇 |
| 现状及发展 | 51篇 |
| 综合类 | 5843篇 |
出版年
| 2024年 | 20篇 |
| 2023年 | 71篇 |
| 2022年 | 89篇 |
| 2021年 | 82篇 |
| 2020年 | 63篇 |
| 2019年 | 67篇 |
| 2018年 | 37篇 |
| 2017年 | 51篇 |
| 2016年 | 73篇 |
| 2015年 | 107篇 |
| 2014年 | 238篇 |
| 2013年 | 254篇 |
| 2012年 | 308篇 |
| 2011年 | 367篇 |
| 2010年 | 360篇 |
| 2009年 | 358篇 |
| 2008年 | 466篇 |
| 2007年 | 436篇 |
| 2006年 | 341篇 |
| 2005年 | 329篇 |
| 2004年 | 309篇 |
| 2003年 | 310篇 |
| 2002年 | 282篇 |
| 2001年 | 271篇 |
| 2000年 | 206篇 |
| 1999年 | 155篇 |
| 1998年 | 159篇 |
| 1997年 | 149篇 |
| 1996年 | 161篇 |
| 1995年 | 128篇 |
| 1994年 | 104篇 |
| 1993年 | 83篇 |
| 1992年 | 71篇 |
| 1991年 | 82篇 |
| 1990年 | 60篇 |
| 1989年 | 68篇 |
| 1988年 | 32篇 |
| 1987年 | 17篇 |
| 1986年 | 11篇 |
| 1985年 | 4篇 |
| 1982年 | 1篇 |
| 1981年 | 2篇 |
| 1978年 | 1篇 |
| 1932年 | 1篇 |
排序方式： 共有6784条查询结果，搜索用时 843 毫秒
51.
采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类. 相似文献
52.
53.
汇编语言是高等院校计算机专业课程中公认的一门难教难学的课程,本文首先明确了汇编语言学习的重要性、必要性,然后对教学过程中的难点进行了主客观两个方面的解析,最后给出了有关汇编语言教学的几点建议和意见. 相似文献
54.
55.
56.
57.
张秉儒 《内蒙古大学学报(自然科学版)》2002,(4)
通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质 相似文献
58.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。 相似文献
59.
墨家辩学的研究对象与逻辑类型 总被引：1，自引：0，他引：1
《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
60.
完整刻画了 I_m∪C_p(p≥6为偶数或素数且 p≠m-3)及其补图的匹配等价图． 相似文献