全文获取类型
收费全文 | 9104篇 |
免费 | 216篇 |
国内免费 | 625篇 |
专业分类
系统科学 | 263篇 |
丛书文集 | 467篇 |
教育与普及 | 255篇 |
理论与方法论 | 128篇 |
现状及发展 | 59篇 |
综合类 | 8773篇 |
出版年
2024年 | 42篇 |
2023年 | 190篇 |
2022年 | 208篇 |
2021年 | 273篇 |
2020年 | 250篇 |
2019年 | 216篇 |
2018年 | 145篇 |
2017年 | 142篇 |
2016年 | 250篇 |
2015年 | 374篇 |
2014年 | 841篇 |
2013年 | 433篇 |
2012年 | 465篇 |
2011年 | 548篇 |
2010年 | 493篇 |
2009年 | 533篇 |
2008年 | 569篇 |
2007年 | 505篇 |
2006年 | 352篇 |
2005年 | 371篇 |
2004年 | 350篇 |
2003年 | 340篇 |
2002年 | 301篇 |
2001年 | 264篇 |
2000年 | 198篇 |
1999年 | 151篇 |
1998年 | 128篇 |
1997年 | 158篇 |
1996年 | 116篇 |
1995年 | 124篇 |
1994年 | 123篇 |
1993年 | 100篇 |
1992年 | 76篇 |
1991年 | 73篇 |
1990年 | 77篇 |
1989年 | 59篇 |
1988年 | 47篇 |
1987年 | 35篇 |
1986年 | 19篇 |
1985年 | 2篇 |
1984年 | 2篇 |
1982年 | 2篇 |
排序方式: 共有9945条查询结果,搜索用时 218 毫秒
131.
张余辉 《北京师范大学学报(自然科学版)》2003,39(4):430-434
给出了单生过程首中时多项式阶矩和指数阶矩的显式表达,讨论了4个判别准则的概率意义,并得到了单生过程指数遍历的一个显式判别准则. 相似文献
132.
对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO2)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO2)的模型检测的可判定性结果. 相似文献
133.
李万军 《西北民族学院学报》2003,24(4):1-6
通过研究四阶Lidstone边值问题多个正解的存在性,利用Krasnose'skii不动点理论及相应线性问题Green函数性质的研究,可得到多个正解存在性的结果 相似文献
134.
135.
136.
讨论了信念集是有限子句集时的信念修正方法,首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性,讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统,最后和相关工作进行了比较。 相似文献
137.
五阶带形状参数的B样条曲线 总被引:1,自引:0,他引:1
施晓燕 《浙江师范大学学报(自然科学版)》2003,26(2):123-126
给出了五阶带形状参数的均匀B样条基函数,使五阶均匀B样条基函数成为它的一个特例.由带形状参数的五阶均匀B样条基构成的样条曲线,可通过改变形状参数的取值而调整曲线的形状,并且可以调整曲线接近其控制多边形的程度。 相似文献
138.
Weierstrass不等式的加强与推广 总被引:1,自引:0,他引:1
吴善和 《广西师范学院学报(自然科学版)》2003,20(1):17-19,22
给出Weierstrass不等式的加强与推广形式,并利用该结果建立两个条件不等式。 相似文献
139.
侴万禧 《安徽理工大学学报(自然科学版)》2003,23(4):59-64
提出了t2阶Kirkman三连系的构造方法,阐明了t2阶Kirkman三连系构造的基本理论,介绍了9×9阶Kirkman三连系构造的过程. 相似文献
140.
给出了一阶电路暂态过程三要素法的另一种形式,避开了作t=0+时的等效电路,使求解过程更加简单。 相似文献