全文获取类型
| 收费全文 | 9527篇 |
| 免费 | 131篇 |
| 国内免费 | 477篇 |
专业分类
| 系统科学 | 426篇 |
| 丛书文集 | 356篇 |
| 教育与普及 | 194篇 |
| 理论与方法论 | 333篇 |
| 现状及发展 | 59篇 |
| 综合类 | 8767篇 |
出版年
| 2024年 | 25篇 |
| 2023年 | 105篇 |
| 2022年 | 133篇 |
| 2021年 | 134篇 |
| 2020年 | 120篇 |
| 2019年 | 113篇 |
| 2018年 | 56篇 |
| 2017年 | 85篇 |
| 2016年 | 135篇 |
| 2015年 | 198篇 |
| 2014年 | 484篇 |
| 2013年 | 435篇 |
| 2012年 | 510篇 |
| 2011年 | 623篇 |
| 2010年 | 576篇 |
| 2009年 | 593篇 |
| 2008年 | 739篇 |
| 2007年 | 744篇 |
| 2006年 | 573篇 |
| 2005年 | 488篇 |
| 2004年 | 437篇 |
| 2003年 | 397篇 |
| 2002年 | 336篇 |
| 2001年 | 342篇 |
| 2000年 | 298篇 |
| 1999年 | 206篇 |
| 1998年 | 210篇 |
| 1997年 | 208篇 |
| 1996年 | 184篇 |
| 1995年 | 124篇 |
| 1994年 | 106篇 |
| 1993年 | 80篇 |
| 1992年 | 69篇 |
| 1991年 | 86篇 |
| 1990年 | 53篇 |
| 1989年 | 58篇 |
| 1988年 | 42篇 |
| 1987年 | 16篇 |
| 1986年 | 7篇 |
| 1985年 | 2篇 |
| 1984年 | 1篇 |
| 1982年 | 1篇 |
| 1981年 | 1篇 |
| 1978年 | 1篇 |
| 1932年 | 1篇 |
排序方式： 共有10000条查询结果，搜索用时 312 毫秒
81.
82.
83.
84.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。 相似文献
85.
墨家辩学的研究对象与逻辑类型 总被引：1，自引：0，他引：1
《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
86.
刘建 《曲靖师范学院学报》1996,(1)
粗放型和集约型都是经济增长的方式。由粗放型为主向集约型为主转变,是今后我国经济发展的重要方针。实现这一转变,必须更新观念,深化改革,高度重视科技进步和劳动者素质的提高,同时采取切实有效的政策措施。 相似文献
87.
高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。 相似文献
89.
基于J2EE体系结构实现网上购物系统 总被引：5，自引：0，他引：5
J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 . 相似文献
90.
一、引言 根据赛迪顾问的市场调研结果，2002年中国管理软件市场销售总额比2001年同比增长52．6％。管理软件市场之所以能够保持高速增长，主要在于管理软件市场供需双方总量在2001年都保持迅猛增长：一方面，国家“以信息化带动工业化”战略的不断推进和中国加入WTO等利好因素，使得企业用户对全方位企业解决方案的需求快速增长，特别ERP、 相似文献