全文获取类型
收费全文 | 5430篇 |
免费 | 181篇 |
国内免费 | 29篇 |
专业分类
电工技术 | 81篇 |
综合类 | 14篇 |
化学工业 | 1167篇 |
金属工艺 | 189篇 |
机械仪表 | 164篇 |
建筑科学 | 81篇 |
矿业工程 | 16篇 |
能源动力 | 298篇 |
轻工业 | 259篇 |
水利工程 | 40篇 |
石油天然气 | 13篇 |
无线电 | 840篇 |
一般工业技术 | 1320篇 |
冶金工业 | 492篇 |
原子能技术 | 43篇 |
自动化技术 | 623篇 |
出版年
2024年 | 14篇 |
2023年 | 75篇 |
2022年 | 151篇 |
2021年 | 232篇 |
2020年 | 141篇 |
2019年 | 147篇 |
2018年 | 188篇 |
2017年 | 158篇 |
2016年 | 180篇 |
2015年 | 120篇 |
2014年 | 184篇 |
2013年 | 363篇 |
2012年 | 228篇 |
2011年 | 294篇 |
2010年 | 233篇 |
2009年 | 240篇 |
2008年 | 221篇 |
2007年 | 182篇 |
2006年 | 180篇 |
2005年 | 125篇 |
2004年 | 109篇 |
2003年 | 102篇 |
2002年 | 93篇 |
2001年 | 98篇 |
2000年 | 86篇 |
1999年 | 79篇 |
1998年 | 145篇 |
1997年 | 100篇 |
1996年 | 82篇 |
1995年 | 74篇 |
1994年 | 94篇 |
1993年 | 88篇 |
1992年 | 68篇 |
1991年 | 77篇 |
1990年 | 54篇 |
1989年 | 36篇 |
1988年 | 38篇 |
1987年 | 43篇 |
1986年 | 49篇 |
1985年 | 41篇 |
1984年 | 57篇 |
1983年 | 35篇 |
1982年 | 43篇 |
1981年 | 36篇 |
1980年 | 43篇 |
1979年 | 40篇 |
1978年 | 27篇 |
1977年 | 34篇 |
1976年 | 37篇 |
1973年 | 13篇 |
排序方式: 共有5640条查询结果,搜索用时 46 毫秒
11.
12.
13.
14.
Morampudi Mahesh Kumar Prasad Munaga V. N. K. Raju U. S. N. 《Multimedia Tools and Applications》2020,79(27-28):19215-19237
Multimedia Tools and Applications - Rapid advancement in technology has led to the use of biometric authentication in every field. In particular, from the past few years, iris recognition systems... 相似文献
15.
Tek Bahadur Gurung Ram Prasad Dhakal Jay Dev Bista 《Lakes & Reservoirs: Research and Management》2006,11(3):141-148
The seasonal patterns of phytoplankton primary production, chlorophyll‐a concentration, cell number and several other limnological variables in Lake Phewa, located in the active monsoon zone in Central Himalaya, Nepal, were studied for a year beginning in April 2001. During the study period, the gross primary production and chlorophyll‐a concentrations were relatively low during the monsoon season. The phytoplankton cell number, represented by 24 genera, also fluctuated seasonally, but tended to increase in the pre‐ and post‐monsoon period. These results suggest that the monsoon plays a crucial role in the primary production and phytoplankton dynamics for Lake Phewa. Among the phytoplankton species, Microcystis aeruginosa, a representative species for eutrophic lakes, was the dominant phytoplankton. At the same time, however, it is clear that the lake is not yet heavily eutrophic. The present study suggests that the exchange of lake water during the monsoon season contributes to maintaining the health of the lake against further degradation. Nevertheless, the silt carried in the monsoon rain run‐off from the lake's catchment area suggests increasingly serious degradation problems for this small mountainous lake. 相似文献
16.
17.
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation
from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond
to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite
system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems
in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC
program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving
termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort,
merge-sort, merge, split, fair-split and append, etc., can be proved.
This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687
Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074.
M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in
the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs
from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer
science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für
Informatik, Saarbrücken until January 1997.
Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas
of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer
vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from
MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief
of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on
Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science.
R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in
the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and
verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a
faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological
University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of
Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International
Conferences and has been on the Editorial Committees. 相似文献
18.
GaAs MESFETs were fabricated using a spin-on platinum source as the gate material. They were subsequently aged at 200°C for up to 1000 h. DC electrical characterisation of the MESFETs was carried out during various stages of annealing. The aging behaviour of these MESFETs was compared with those fabricated using conventionally evaporated platinum sources. The results show that the performance of the MESFETs fabricated using a spin-on platinum source is comparable to those of MESFETs fabricated using a conventionally evaporated platinum source 相似文献
19.
The saturation capacity of n-alkanes in CHA, AFX and ERI zeolites, that consist of cages separated by windows, decreases with increasing carbon number. The major aim of the present communication is to demonstrate the possibility of separating n-alkane mixtures relying on differences in saturation capacities. To investigate this possibility, Configurational-Bias Monte Carlo simulations for adsorption of C3–nC6, nC4–nC6, and nC5–nC6 mixtures in CHA, AFX and ERI were carried out for equimolar bulk fluid phase. These mixture simulations show that for operation at fluid phase fugacities below about 1 MPa, the adsorbed phase in equilibrium with the bulk vapor phase is predominantly the alkane with the longer chain length, i.e. nC6. However, for operation at pressures in excess of 1 MPa, the adsorbed phase in equilibrium with the bulk liquid phase is richer in the component with the smaller chain length. In some cases, the nC6 is practically excluded from the zeolite. 相似文献
20.