全文获取类型
收费全文 | 5878篇 |
免费 | 201篇 |
国内免费 | 278篇 |
专业分类
系统科学 | 270篇 |
丛书文集 | 193篇 |
教育与普及 | 40篇 |
理论与方法论 | 59篇 |
现状及发展 | 21篇 |
综合类 | 5773篇 |
自然研究 | 1篇 |
出版年
2024年 | 12篇 |
2023年 | 27篇 |
2022年 | 29篇 |
2021年 | 54篇 |
2020年 | 43篇 |
2019年 | 31篇 |
2018年 | 50篇 |
2017年 | 60篇 |
2016年 | 71篇 |
2015年 | 130篇 |
2014年 | 201篇 |
2013年 | 177篇 |
2012年 | 301篇 |
2011年 | 292篇 |
2010年 | 255篇 |
2009年 | 259篇 |
2008年 | 278篇 |
2007年 | 433篇 |
2006年 | 379篇 |
2005年 | 373篇 |
2004年 | 310篇 |
2003年 | 333篇 |
2002年 | 301篇 |
2001年 | 270篇 |
2000年 | 233篇 |
1999年 | 204篇 |
1998年 | 152篇 |
1997年 | 158篇 |
1996年 | 160篇 |
1995年 | 165篇 |
1994年 | 99篇 |
1993年 | 86篇 |
1992年 | 99篇 |
1991年 | 93篇 |
1990年 | 68篇 |
1989年 | 62篇 |
1988年 | 50篇 |
1987年 | 41篇 |
1986年 | 17篇 |
1985年 | 1篇 |
排序方式: 共有6357条查询结果,搜索用时 500 毫秒
51.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
52.
从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致. 相似文献
53.
54.
55.
差分放大器的理论与实验教学研究 总被引:2,自引:0,他引:2
讨论了差分式放大器教学中的几个典型问题,包括电路图的规范问题、小信号等效电路以及实验教学中的几个难点. 相似文献
56.
研究了由恰有一个公共顶点的有向回路→/Cm和→/Cn(m,n≥3)组成的有向图→/Wm,n的优美性,给出了→/Wm,n是优美有向图的充要条件。 相似文献
57.
基于J2EE体系结构实现网上购物系统 总被引:5,自引:0,他引:5
J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 . 相似文献
58.
作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义. 相似文献
59.
在对YT0—101通信接口电路及其通信协议研究的基础上,探讨了PC机与8051单片机之间进行etech—bus串口通信软件和硬件设计的原理及方法,给出了单片机与YTO—101总线的部分接口程序。 相似文献
60.