全文获取类型
| 收费全文 | 12926篇 |
| 免费 | 337篇 |
| 国内免费 | 900篇 |
专业分类
| 系统科学 | 517篇 |
| 丛书文集 | 670篇 |
| 教育与普及 | 198篇 |
| 理论与方法论 | 278篇 |
| 现状及发展 | 93篇 |
| 研究方法 | 2篇 |
| 综合类 | 12405篇 |
出版年
| 2024年 | 63篇 |
| 2023年 | 245篇 |
| 2022年 | 277篇 |
| 2021年 | 302篇 |
| 2020年 | 283篇 |
| 2019年 | 247篇 |
| 2018年 | 172篇 |
| 2017年 | 187篇 |
| 2016年 | 255篇 |
| 2015年 | 322篇 |
| 2014年 | 641篇 |
| 2013年 | 572篇 |
| 2012年 | 630篇 |
| 2011年 | 771篇 |
| 2010年 | 665篇 |
| 2009年 | 728篇 |
| 2008年 | 815篇 |
| 2007年 | 810篇 |
| 2006年 | 594篇 |
| 2005年 | 573篇 |
| 2004年 | 570篇 |
| 2003年 | 582篇 |
| 2002年 | 514篇 |
| 2001年 | 466篇 |
| 2000年 | 372篇 |
| 1999年 | 267篇 |
| 1998年 | 270篇 |
| 1997年 | 280篇 |
| 1996年 | 288篇 |
| 1995年 | 246篇 |
| 1994年 | 211篇 |
| 1993年 | 184篇 |
| 1992年 | 148篇 |
| 1991年 | 162篇 |
| 1990年 | 139篇 |
| 1989年 | 135篇 |
| 1988年 | 86篇 |
| 1987年 | 46篇 |
| 1986年 | 28篇 |
| 1985年 | 5篇 |
| 1983年 | 1篇 |
| 1982年 | 2篇 |
| 1981年 | 3篇 |
| 1978年 | 3篇 |
| 1963年 | 2篇 |
| 1932年 | 1篇 |
排序方式： 共有10000条查询结果，搜索用时 46 毫秒
101.
102.
103.
104.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。 相似文献
105.
墨家辩学的研究对象与逻辑类型 总被引：1，自引：0，他引：1
《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
106.
盖功琪 《哈尔滨师范大学自然科学学报》1995,11(4):28-31
本文对Ｓｚａｓｚ，Ｆ．Ａ提出了的“找出超幂零根环类的一个模刻划”问题给出了一个不同于文献「２，３」的解法。 相似文献
107.
108.
丛树凡 《曲阜师范大学学报》1994,20(4):27-30
给出非线性自治系统不稳定性的一个简便的判据：从对应的特征方程的系数符号不尽相同，即可系统的零解是不稳定的。 相似文献
109.
本文计算了α~5的五个正交归一本征态的相位起伏和粒子数—相位不确定关系,并讨论了它们的特性和产生粒子数-相位不确定关系的条件,还研究了这五个本征态的N阶压缩。 相似文献
110.
高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。 相似文献