全文获取类型
收费全文 | 50400篇 |
免费 | 3754篇 |
国内免费 | 5413篇 |
专业分类
电工技术 | 2139篇 |
技术理论 | 66篇 |
综合类 | 5955篇 |
化学工业 | 6370篇 |
金属工艺 | 1004篇 |
机械仪表 | 2571篇 |
建筑科学 | 19099篇 |
矿业工程 | 3743篇 |
能源动力 | 1392篇 |
轻工业 | 894篇 |
水利工程 | 2026篇 |
石油天然气 | 1153篇 |
武器工业 | 742篇 |
无线电 | 1983篇 |
一般工业技术 | 4397篇 |
冶金工业 | 1202篇 |
原子能技术 | 139篇 |
自动化技术 | 4692篇 |
出版年
2024年 | 204篇 |
2023年 | 737篇 |
2022年 | 1043篇 |
2021年 | 1477篇 |
2020年 | 1538篇 |
2019年 | 1082篇 |
2018年 | 1037篇 |
2017年 | 1273篇 |
2016年 | 1555篇 |
2015年 | 1692篇 |
2014年 | 4381篇 |
2013年 | 2979篇 |
2012年 | 3790篇 |
2011年 | 3984篇 |
2010年 | 3281篇 |
2009年 | 3356篇 |
2008年 | 3295篇 |
2007年 | 3912篇 |
2006年 | 3517篇 |
2005年 | 3167篇 |
2004年 | 2703篇 |
2003年 | 2123篇 |
2002年 | 1539篇 |
2001年 | 1186篇 |
2000年 | 1014篇 |
1999年 | 783篇 |
1998年 | 546篇 |
1997年 | 478篇 |
1996年 | 404篇 |
1995年 | 334篇 |
1994年 | 260篇 |
1993年 | 201篇 |
1992年 | 182篇 |
1991年 | 96篇 |
1990年 | 67篇 |
1989年 | 60篇 |
1988年 | 53篇 |
1987年 | 37篇 |
1986年 | 22篇 |
1985年 | 24篇 |
1984年 | 33篇 |
1983年 | 19篇 |
1982年 | 15篇 |
1981年 | 11篇 |
1980年 | 15篇 |
1979年 | 11篇 |
1961年 | 4篇 |
1958年 | 4篇 |
1957年 | 6篇 |
1951年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
31.
A very simple algorithm for computing all k nearest neighbors in 2-D is presented. The method does not rely on complicated forms of tessellation, it only requires simple data binning for fast range searching. Its applications range from scattered data interpolation to reverse engineering. 相似文献
32.
33.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献
34.
多判据模糊决策在工程爆破中的应用 总被引:3,自引:0,他引:3
本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。 相似文献
35.
本文简要地介绍了我国几个地下矿在锚喷网联合支护的硐室工程中堵漏防渗处理所取得的良好效果,可供类似矿山参考。 相似文献
36.
本文介绍的接杆锚杆护顶技术和上向眼大孔距多排微差爆破落矿技术,解决了逐昌金矿全面留矿法采矿工艺中存在的采场顶盘围在面积冒落和采场落矿爆破效果差、效率低这两个问题。 相似文献
37.
CASE与MIS的开发 总被引:1,自引:0,他引:1
本文介绍CASE技术的基本思想与构成,CASE工具在MIS开发中的作用,概要介绍国内流行的CASE产品并对其作出评述。 相似文献
38.
39.
40.
Norbert Delatte 《Canadian Metallurgical Quarterly》2004,130(1):37-43
For the last seven years, a summer Research Experiences for Undergraduates site in structural engineering, funded by the National Science Foundation, has operated at the University of Alabama at Birmingham. During this time, 33 students from 22 colleges and universities have participated in the site. Participants are recruited nationally and have come from as far away as California and Puerto Rico. The program is intended to provide students interested in graduate studies with an introduction to research methods, and to provide students who will not continue their studies past a bachelor of science in civil engineering with a better understanding of how research provides the theoretical foundation of engineering practice. Students work individually with faculty on literature reviews, computer modeling, laboratory testing, and field research. Three students have researched structural failure case studies and the technical and ethical lessons to be learned from them. Participants also have the opportunity to tour construction sites and construction material manufacturers’ and fabricators’ facilities. During the past three years, an ethics seminar series has been added. At the end of the program, students prepare research papers and Web pages documenting their work and present their results to faculty, students, and other participants. 相似文献