全文获取类型
收费全文 | 1101篇 |
免费 | 68篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 11篇 |
综合类 | 3篇 |
化学工业 | 244篇 |
金属工艺 | 31篇 |
机械仪表 | 16篇 |
建筑科学 | 112篇 |
矿业工程 | 2篇 |
能源动力 | 40篇 |
轻工业 | 52篇 |
水利工程 | 5篇 |
武器工业 | 1篇 |
无线电 | 73篇 |
一般工业技术 | 195篇 |
冶金工业 | 97篇 |
原子能技术 | 9篇 |
自动化技术 | 279篇 |
出版年
2024年 | 2篇 |
2023年 | 20篇 |
2022年 | 6篇 |
2021年 | 56篇 |
2020年 | 30篇 |
2019年 | 29篇 |
2018年 | 44篇 |
2017年 | 32篇 |
2016年 | 51篇 |
2015年 | 43篇 |
2014年 | 66篇 |
2013年 | 63篇 |
2012年 | 68篇 |
2011年 | 89篇 |
2010年 | 63篇 |
2009年 | 65篇 |
2008年 | 52篇 |
2007年 | 55篇 |
2006年 | 31篇 |
2005年 | 47篇 |
2004年 | 29篇 |
2003年 | 13篇 |
2002年 | 16篇 |
2001年 | 23篇 |
2000年 | 4篇 |
1999年 | 15篇 |
1998年 | 24篇 |
1997年 | 23篇 |
1996年 | 15篇 |
1995年 | 15篇 |
1994年 | 4篇 |
1993年 | 12篇 |
1992年 | 7篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1989年 | 5篇 |
1986年 | 2篇 |
1985年 | 5篇 |
1984年 | 6篇 |
1983年 | 2篇 |
1981年 | 4篇 |
1979年 | 3篇 |
1976年 | 2篇 |
1974年 | 4篇 |
1971年 | 3篇 |
1969年 | 1篇 |
1968年 | 2篇 |
1963年 | 1篇 |
1959年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1170条查询结果,搜索用时 62 毫秒
81.
Lars Pleth Nielsen Morten Schønning Steffen V. Christensen Søren V. Hoffmann Zheshen Li Philip Hofmann Flemming Besenbacher Bjerne S. Clausen 《Catalysis Letters》2001,73(2-4):85-90
The sulfiding of Mo/Al2O3 in H2S/Ar versus in H2S/H2 has been studied by temperature-programmed sulfiding (TPS), X-ray photon electron spectroscopy (XPS), extended X-ray absorption fine structure (EXAFS), and temperature-programmed desorption of NO (NO-TPD). All the applied techniques agree on the sulfur content in the sulfided catalysts and the findings are in accord with a model for the H2S production reaction. The nucleation and growth of well-ordered MoS2 clusters are probed by XPS during sulfiding with and without the presence of hydrogen. The resulting dispersion of the MoS2 phase is evaluated on the basis of XPS, EXAFS, and NO-TPD, and is found to be highest when the sulfiding occurs in the presence of hydrogen. 相似文献
82.
83.
Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang Paul Maria Spichkova 《Formal Aspects of Computing》2008,20(6):637-662
Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München. 相似文献
84.
Ulrich Furbach Steffen Hölldobler Joachim Schreiber 《Journal of Automated Reasoning》1989,5(3):309-337
A language of equational programs together with an inference system, based on paramodulation is defined. The semantics of the language is given with respect to least models, least fixpoints and success sets and its soundness and completeness is proven using fixpoint theory. The necessity of the functional reflexive axioms is investigated in detail. Finally, the application of these ideas to term rewriting systems is outlined by discussing directed paramodulation and narrowing. 相似文献
85.
The extent to which technical barriers to international trade caused by non-acceptance of chemical measurement results can
be removed, largely depends on the success in building up national and international traceability structures also in metrology
in chemistry. Achieving metrological comparability of measurement results requires the definition of metrological calibration
hierarchies providing metrological traceability chains which enable the establishment of metrological traceability of measured
quantity values to a common metrological reference [1]. For pH, over the last decade, work has been carried out in a number
of countries to build up meteorological calibration hierarchies within a national framework. An overview on the metrological
traceability chain for pH is given with focus on the primary measurement procedure of pH. 相似文献
86.
87.
88.
89.
Cover Picture: Discovery of MK‐8970: An Acetal Carbonate Prodrug of Raltegravir with Enhanced Colonic Absorption (ChemMedChem 2/2015) 下载免费PDF全文
Dr. Abbas M. Walji Dr. Rosa I. Sanchez Dr. Sophie‐Dorothee Clas Dr. Rebecca Nofsinger Dr. Manuel de Lera Ruiz Dr. Jing Li Dr. Amrithraj Bennet Christopher John Dr. David Jonathan Bennett Dr. John M. Sanders Christina N. Di Marco Somang Hope Kim Dr. Jaume Balsells Scott S. Ceglia Dr. Qun Dang Kimberly Manser Becky Nissley Dr. John S. Wai Dr. Michael Hafey Junying Wang Gene Chessen Dr. Allen Templeton Dr. John Higgins Dr. Ronald Smith Dr. Yunhui Wu Dr. Jay Grobler Dr. Paul J. Coleman 《ChemMedChem》2015,10(2):213-213
90.
Patrick Hergan Julia Beter Steffen Stelzer Ewald Fauster Ralf Schledjewski 《Production Engineering》2018,12(2):185-194
This paper is dealing with the influence of processing parameters for manufacturing of steel–carbon-fiber-reinforced-plastic (CFRP) hybrid plates by using the one-shot-hybrid resin-transfer-moulding (OSH-RTM) process. A design of experiments study was carried out. The quality of the manufactured parts was quantified by the bending modulus, the apparent interlaminar shear strength (ILSS), the maximum deflection and the density of the CFRP. The following changeable processing parameters were chosen: mould temperature, resin temperature, change in mass flow and maximum injection pressure. It is shown that the mould temperature and the change in mass flow show significant impact on the flexural modulus, density and maximum deflection of the plate while there is no significant impact on the apparent ILSS. Furthermore, the interaction between the mould temperature and resin temperature is having an influence on the flexural modulus and density. 相似文献