全文获取类型
收费全文 | 11392篇 |
免费 | 665篇 |
国内免费 | 943篇 |
专业分类
电工技术 | 283篇 |
综合类 | 599篇 |
化学工业 | 202篇 |
金属工艺 | 290篇 |
机械仪表 | 652篇 |
建筑科学 | 405篇 |
矿业工程 | 145篇 |
能源动力 | 95篇 |
轻工业 | 54篇 |
水利工程 | 50篇 |
石油天然气 | 111篇 |
武器工业 | 61篇 |
无线电 | 1465篇 |
一般工业技术 | 353篇 |
冶金工业 | 147篇 |
原子能技术 | 63篇 |
自动化技术 | 8025篇 |
出版年
2024年 | 6篇 |
2023年 | 41篇 |
2022年 | 87篇 |
2021年 | 127篇 |
2020年 | 134篇 |
2019年 | 105篇 |
2018年 | 140篇 |
2017年 | 204篇 |
2016年 | 224篇 |
2015年 | 317篇 |
2014年 | 584篇 |
2013年 | 487篇 |
2012年 | 698篇 |
2011年 | 906篇 |
2010年 | 713篇 |
2009年 | 688篇 |
2008年 | 819篇 |
2007年 | 919篇 |
2006年 | 893篇 |
2005年 | 873篇 |
2004年 | 662篇 |
2003年 | 704篇 |
2002年 | 500篇 |
2001年 | 367篇 |
2000年 | 368篇 |
1999年 | 293篇 |
1998年 | 208篇 |
1997年 | 157篇 |
1996年 | 154篇 |
1995年 | 113篇 |
1994年 | 84篇 |
1993年 | 73篇 |
1992年 | 61篇 |
1991年 | 42篇 |
1990年 | 23篇 |
1989年 | 25篇 |
1988年 | 26篇 |
1987年 | 22篇 |
1986年 | 15篇 |
1985年 | 23篇 |
1984年 | 20篇 |
1983年 | 22篇 |
1982年 | 16篇 |
1981年 | 15篇 |
1980年 | 4篇 |
1979年 | 9篇 |
1978年 | 9篇 |
1977年 | 4篇 |
1976年 | 5篇 |
1974年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
21.
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. 相似文献
22.
Mixture-proportioning of high-performance concrete 总被引:6,自引:0,他引:6
The paper presents a new approach to design concrete mixtures. It is based upon a set of models relating composition and engineering properties of concrete, to be implemented into software, linked with a material database. The principles underlying the various models are summarized, most of which focus on the granular structure of fresh/hardened concrete. A global approach to concrete is promoted, where performance specifications can be formulated in terms of fresh concrete (yield stress, plastic viscosity, slump and air content), hardening concrete (adiabatic temperature rise and autogenous shrinkage) and hardened concrete (compressive strength at any age, tensile strength, elastic modulus, creep and shrinkage). This approach is illustrated through the design of a special high-shrinkage high-performance concrete (HPC) for road application. To date, durability is lacking in the model and requires further research. 相似文献
23.
讨论了多重帐户问题在计算机网络管理中诸多弊端。提出以目录服务(Novell NDS)为基础,实现跨平台(NetWare、WindowsNT和Solaris)的帐刻统一管理的方案及详细实施实例。 相似文献
24.
中国宽带业务的发展面临诸多问题:内容建设严重滞后于网络建设、缺少盈利的“杀手”业务、服务水平尚未达到宽带需求、恶性竞争产生网络泡沫以及产业环境尚不完善等。要想改善现状,宽带接入建设应采取下列措施:借助政府力量、联合社会力量、准确定位市场、丰富接入手段以及加强技术培训等。 相似文献
25.
CASE与MIS的开发 总被引:1,自引:0,他引:1
本文介绍CASE技术的基本思想与构成,CASE工具在MIS开发中的作用,概要介绍国内流行的CASE产品并对其作出评述。 相似文献
26.
短信市场巨额收入的刺激,再加上市场监管力度不够,使得一些服务提供商(SP)片在追求收益而忽视消费者需求,导致短信服务走入了一些误区,这已经引起一系列负面效应,要解决此问题,SP应树立服务理念,根据客户的需求来提供服务内容和服务方式;运营商需改进商业模式,应考虑对SP提供的业务内容和配套服务进行规范,用户要维护自身权益,政府则应加强监管能力。 相似文献
27.
No authorship indicated 《Canadian Metallurgical Quarterly》1988,43(4):241b
Presents the citation, biography, and selected bibliography for Edwin Shneidman, one of the 1987 recipients of the American Psychological Association's Award for Distinguished Professional Contributions to Public Service. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
28.
介绍了一种甚低频低码率数字通信系统的实现方案,该方案中的软件采用混合编程的方法,硬件则用DSP实现,文章给出了整个系统的DSP软硬件调试方法,并通过调试结果表明该方案具有很好的可行性和实时性。 相似文献
29.
30.
Service Load Effective Compression Flange Width in Fiber Reinforced Polymer Deck Systems Acting Compositely with Steel Stringers 总被引:1,自引:0,他引:1
This paper reports on the field study of a steel stringer-fiber reinforced polymer (FRP) deck composite bridge in Pennsylvania. The objective of the study is to assess the effective compression flange width in the FRP deck and floor systems when they act compositely with underlying steel girders at service conditions. The research results reported herein support the notion of employing a design approach, for both interior and exterior girders of a composite floor system, that is philosophically consistent with current practice related to steel girders acting compositely with concrete decking. It appears from the results presented herein that FRP decks and floors acting compositely with underlying steel girders exhibit an effective width that is close to the actual girder spacing for interior beams, and approximately one-half this value for exterior beams. 相似文献