全文获取类型
收费全文 | 11147篇 |
免费 | 191篇 |
国内免费 | 590篇 |
专业分类
系统科学 | 291篇 |
丛书文集 | 648篇 |
教育与普及 | 190篇 |
理论与方法论 | 151篇 |
现状及发展 | 26篇 |
研究方法 | 1篇 |
综合类 | 10621篇 |
出版年
2024年 | 23篇 |
2023年 | 125篇 |
2022年 | 117篇 |
2021年 | 129篇 |
2020年 | 130篇 |
2019年 | 111篇 |
2018年 | 79篇 |
2017年 | 112篇 |
2016年 | 149篇 |
2015年 | 264篇 |
2014年 | 477篇 |
2013年 | 445篇 |
2012年 | 533篇 |
2011年 | 627篇 |
2010年 | 606篇 |
2009年 | 722篇 |
2008年 | 1167篇 |
2007年 | 850篇 |
2006年 | 621篇 |
2005年 | 635篇 |
2004年 | 534篇 |
2003年 | 503篇 |
2002年 | 482篇 |
2001年 | 442篇 |
2000年 | 318篇 |
1999年 | 228篇 |
1998年 | 220篇 |
1997年 | 182篇 |
1996年 | 156篇 |
1995年 | 182篇 |
1994年 | 134篇 |
1993年 | 97篇 |
1992年 | 126篇 |
1991年 | 90篇 |
1990年 | 82篇 |
1989年 | 72篇 |
1988年 | 62篇 |
1987年 | 40篇 |
1986年 | 27篇 |
1985年 | 7篇 |
1984年 | 2篇 |
1983年 | 4篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1978年 | 2篇 |
1965年 | 2篇 |
1963年 | 1篇 |
1962年 | 1篇 |
1957年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
在不使用系统£*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统£*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统£*的满足性定理和紧致性定理,其结果完善了系统£*的理论体系. 相似文献
992.
993.
994.
DuFort-Frankel差分格式是对Richardson格式进行修正得到的差分格式。本文将它从一维推广到二维,给出了二维DuFort-Frankel差分格式相容性所满足的条件,并严格论证了它的绝对稳定性 相似文献
995.
吴堡县位于陕西省榆林市东南部,黄河中游西岸,境内气候、地形地貌及生物资源条件有利于蚕桑业。是陕北蚕业较为稳定的两个县之一,在西北地区有较为广泛的影响。2006年,全县保存桑园面积1333hm^2,其中退耕还林幼龄桑园667hm^2,养蚕1100张,蚕桑综合收入130余万元,部分重点村户的蚕业收入占总收入的25%以上,毗邻县已将蚕桑生产立为新农村建设的支柱产业。因此, 相似文献
996.
给出一种预条件Gauss-Seidel迭代法,证明了当系数矩阵A为不可约的Z-矩阵、H-矩阵、正定矩阵时该方法收敛,从而扩展了该方法的适用范围,最后通过数值例子验证所得的主要结论. 相似文献
997.
998.
XPath是有关如何在XML文档中进行定位,即如何很快找出XML文档中具有某种特征标记的一种语言.XQuery、XML Schema等语言都需要通过XPath表达式来对XML文档进行定位、绑定变量、引用外部文档元素等等.所有这些应用都需要解决XPath表达式的包含问题以提高匹配效率.引入了条件同态的概念,提出了一种基于条件同态的包含关系的判定算法,该算法能够正确判定现有的实用算法不能正确处理的一类模式树的包含关系. 相似文献
999.
科学思想是科学产生、发展的思想依据和思想方法,也包括科学成果所蕴含的思想精粹。唐代科技思想,既有对科技知识本身内在的理性探索,也受社会、经济、文化等因素的外在影响,这些又构成了我国古代科技鼎盛时期的前朝积淀,是一个国家、一个民族攀登科学技术高峰的必要基础和条件,这前车之鉴,为兴国、强国留下了宝贵的经验。 相似文献
1000.