全文获取类型
收费全文 | 13705篇 |
免费 | 310篇 |
国内免费 | 815篇 |
专业分类
系统科学 | 452篇 |
丛书文集 | 625篇 |
教育与普及 | 347篇 |
理论与方法论 | 378篇 |
现状及发展 | 100篇 |
综合类 | 12928篇 |
出版年
2024年 | 58篇 |
2023年 | 253篇 |
2022年 | 236篇 |
2021年 | 296篇 |
2020年 | 299篇 |
2019年 | 268篇 |
2018年 | 168篇 |
2017年 | 183篇 |
2016年 | 311篇 |
2015年 | 450篇 |
2014年 | 1045篇 |
2013年 | 623篇 |
2012年 | 698篇 |
2011年 | 835篇 |
2010年 | 748篇 |
2009年 | 797篇 |
2008年 | 921篇 |
2007年 | 847篇 |
2006年 | 608篇 |
2005年 | 611篇 |
2004年 | 570篇 |
2003年 | 573篇 |
2002年 | 496篇 |
2001年 | 456篇 |
2000年 | 345篇 |
1999年 | 260篇 |
1998年 | 235篇 |
1997年 | 259篇 |
1996年 | 221篇 |
1995年 | 210篇 |
1994年 | 187篇 |
1993年 | 151篇 |
1992年 | 116篇 |
1991年 | 130篇 |
1990年 | 117篇 |
1989年 | 98篇 |
1988年 | 70篇 |
1987年 | 43篇 |
1986年 | 26篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 218 毫秒
121.
122.
123.
124.
125.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
126.
墨家辩学的研究对象与逻辑类型 总被引:1,自引:0,他引:1
《墨辩》六篇中的“辩”指的是论辩,墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想,这种形式逻辑思想届于非形式化的,它通过辩学对自然语言中广义逻辑问题的研究得以表现,因此说,墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
127.
128.
本文计算了α~5的五个正交归一本征态的相位起伏和粒子数—相位不确定关系,并讨论了它们的特性和产生粒子数-相位不确定关系的条件,还研究了这五个本征态的N阶压缩。 相似文献
129.
高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。 相似文献
130.
马志强 《甘肃联合大学学报(自然科学版)》2006,20(4):87-88
在中学有机物化学教学中,经常遇到分子式的确定问题.按传统的方法进行确定往往需要花费较长时间.根据现行教材特点,要求学生掌握和了解的有机物分子均为分子量较小的简单有机物分子,通常分子相对质量在100以下,而类别又仅限于烃、一元醇、一元醛、一元羧酸、一元酚、简单的酯、氨基酸等.根据自身多年的教学积累,吸取他人先进做法,将我在教学中的做法作一介绍. 相似文献