全文获取类型
收费全文 | 5701篇 |
免费 | 111篇 |
国内免费 | 259篇 |
专业分类
系统科学 | 258篇 |
丛书文集 | 206篇 |
教育与普及 | 123篇 |
理论与方法论 | 260篇 |
现状及发展 | 49篇 |
综合类 | 5175篇 |
出版年
2024年 | 23篇 |
2023年 | 74篇 |
2022年 | 92篇 |
2021年 | 91篇 |
2020年 | 70篇 |
2019年 | 70篇 |
2018年 | 32篇 |
2017年 | 51篇 |
2016年 | 71篇 |
2015年 | 107篇 |
2014年 | 289篇 |
2013年 | 240篇 |
2012年 | 290篇 |
2011年 | 341篇 |
2010年 | 301篇 |
2009年 | 325篇 |
2008年 | 422篇 |
2007年 | 407篇 |
2006年 | 302篇 |
2005年 | 286篇 |
2004年 | 265篇 |
2003年 | 258篇 |
2002年 | 233篇 |
2001年 | 225篇 |
2000年 | 169篇 |
1999年 | 128篇 |
1998年 | 116篇 |
1997年 | 129篇 |
1996年 | 124篇 |
1995年 | 112篇 |
1994年 | 81篇 |
1993年 | 64篇 |
1992年 | 54篇 |
1991年 | 66篇 |
1990年 | 49篇 |
1989年 | 54篇 |
1988年 | 30篇 |
1987年 | 13篇 |
1986年 | 9篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1978年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有6071条查询结果,搜索用时 328 毫秒
51.
52.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
53.
墨家辩学的研究对象与逻辑类型 总被引:1,自引:0,他引:1
《墨辩》六篇中的“辩”指的是论辩,墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想,这种形式逻辑思想届于非形式化的,它通过辩学对自然语言中广义逻辑问题的研究得以表现,因此说,墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
54.
高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。 相似文献
56.
基于J2EE体系结构实现网上购物系统 总被引:5,自引:0,他引:5
J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 . 相似文献
57.
江西历史名人曾经在中国古代和近代历史上占有辉煌的一页,本文式以一些具体翔实的史实概括出江西历史名人在时间和空间分布上的规律及特点,从而体现江西人更加珍惜这份宝贵的精神遗产。重振江西经济和人文形象。 相似文献
58.
59.
万月玲 《长春师范学院学报》2005,24(1):51-52
王小波的小说从问世起就有争议,是久置编辑案头的热山芋。《黄金时代》是王小波的代表作之一。这部小说以敏锐的触觉发现并解剖着革时期社会生活当中的荒谬。以男女主人公的性爱纠葛和遭际,批判了生活中的荒诞不经,揭示了一批人的灵魂丑态,引发读对人生的深层思索。 相似文献
60.
以山西省祁县-临汾高速公路煤矿采空区处治工程Ⅱ标段为例,对煤矿采空区处治工程中的注浆施工顺序、单孔注浆量预测、注浆质量监控等施工环节进行了分析总结,并提出建议. 相似文献