全文获取类型
收费全文 | 113073篇 |
免费 | 3149篇 |
国内免费 | 1516篇 |
专业分类
电工技术 | 2238篇 |
技术理论 | 2篇 |
综合类 | 3966篇 |
化学工业 | 16431篇 |
金属工艺 | 6615篇 |
机械仪表 | 4976篇 |
建筑科学 | 4506篇 |
矿业工程 | 1556篇 |
能源动力 | 1887篇 |
轻工业 | 5257篇 |
水利工程 | 1794篇 |
石油天然气 | 2407篇 |
武器工业 | 213篇 |
无线电 | 12391篇 |
一般工业技术 | 19789篇 |
冶金工业 | 4211篇 |
原子能技术 | 604篇 |
自动化技术 | 28895篇 |
出版年
2024年 | 120篇 |
2023年 | 549篇 |
2022年 | 891篇 |
2021年 | 1249篇 |
2020年 | 1034篇 |
2019年 | 785篇 |
2018年 | 15230篇 |
2017年 | 14211篇 |
2016年 | 10776篇 |
2015年 | 1736篇 |
2014年 | 1657篇 |
2013年 | 1961篇 |
2012年 | 4984篇 |
2011年 | 11234篇 |
2010年 | 9926篇 |
2009年 | 7168篇 |
2008年 | 8281篇 |
2007年 | 9267篇 |
2006年 | 1761篇 |
2005年 | 2574篇 |
2004年 | 2000篇 |
2003年 | 2005篇 |
2002年 | 1284篇 |
2001年 | 734篇 |
2000年 | 852篇 |
1999年 | 872篇 |
1998年 | 743篇 |
1997年 | 653篇 |
1996年 | 601篇 |
1995年 | 467篇 |
1994年 | 367篇 |
1993年 | 273篇 |
1992年 | 209篇 |
1991年 | 179篇 |
1990年 | 117篇 |
1989年 | 101篇 |
1988年 | 90篇 |
1987年 | 51篇 |
1986年 | 50篇 |
1968年 | 43篇 |
1967年 | 33篇 |
1966年 | 43篇 |
1965年 | 44篇 |
1960年 | 30篇 |
1959年 | 35篇 |
1958年 | 37篇 |
1957年 | 36篇 |
1956年 | 34篇 |
1955年 | 63篇 |
1954年 | 68篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
11.
论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。 相似文献
12.
13.
14.
本文提出了一种基于信息融合的物体三维特征的提取方法,该方法利用两幅互相配准的三维测距图像和灰度图像,来提取多面体的三维特征。首先,通过分析灰度图像中的灰度变化及测距图像中的测距值变化,分别求取各自图像中物体的特征点及特征边;然后,利用两配准图像之间的对应关系,求得所有特征点、面与多边形在三维测距图像中的三维表示;接着,通过分析三维测距图像中所测得的各候选平面上特定点与边处的曲率及法向,验证候选平面 相似文献
15.
16.
The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions. 相似文献
17.
Jan van Eijck 《Formal Aspects of Computing》1994,6(1):766-787
Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition. 相似文献
18.
19.
Various wireless systems and the research preceding their practical use in China are described. The topics discussed include research establishments, research and development projects underway, challenges inherent to digital radio, and expansion opportunities afforded by satellite communications 相似文献
20.
目前,世界上最大的计算机网络Internet网,已成为通达150多个国家的国际互联网络。作为引导中国计算机用户进入Internet的中国公用计算机互联网CHINANET也正迅速发展。本文就Internet网的服务方式和入网方式进行了综述。 相似文献