全文获取类型
收费全文 | 15062篇 |
免费 | 1092篇 |
国内免费 | 572篇 |
专业分类
电工技术 | 1444篇 |
技术理论 | 3篇 |
综合类 | 1231篇 |
化学工业 | 1637篇 |
金属工艺 | 432篇 |
机械仪表 | 912篇 |
建筑科学 | 1880篇 |
矿业工程 | 350篇 |
能源动力 | 316篇 |
轻工业 | 1565篇 |
水利工程 | 586篇 |
石油天然气 | 794篇 |
武器工业 | 93篇 |
无线电 | 1248篇 |
一般工业技术 | 1730篇 |
冶金工业 | 919篇 |
原子能技术 | 158篇 |
自动化技术 | 1428篇 |
出版年
2024年 | 45篇 |
2023年 | 87篇 |
2022年 | 284篇 |
2021年 | 378篇 |
2020年 | 416篇 |
2019年 | 265篇 |
2018年 | 257篇 |
2017年 | 376篇 |
2016年 | 429篇 |
2015年 | 471篇 |
2014年 | 1033篇 |
2013年 | 760篇 |
2012年 | 1227篇 |
2011年 | 1254篇 |
2010年 | 937篇 |
2009年 | 896篇 |
2008年 | 802篇 |
2007年 | 1004篇 |
2006年 | 957篇 |
2005年 | 837篇 |
2004年 | 695篇 |
2003年 | 693篇 |
2002年 | 554篇 |
2001年 | 448篇 |
2000年 | 375篇 |
1999年 | 271篇 |
1998年 | 184篇 |
1997年 | 160篇 |
1996年 | 142篇 |
1995年 | 109篇 |
1994年 | 111篇 |
1993年 | 62篇 |
1992年 | 42篇 |
1991年 | 25篇 |
1990年 | 27篇 |
1989年 | 21篇 |
1988年 | 15篇 |
1987年 | 17篇 |
1986年 | 7篇 |
1985年 | 5篇 |
1984年 | 7篇 |
1983年 | 4篇 |
1982年 | 5篇 |
1981年 | 7篇 |
1980年 | 4篇 |
1979年 | 3篇 |
1974年 | 2篇 |
1959年 | 3篇 |
1957年 | 2篇 |
1955年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
91.
Shao Zhiqing 《计算机科学技术学报》1993,8(2):59-65
In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic. 相似文献
92.
93.
Common Assembly Language for Microprocessors (CALM) is a set of notations, independent of any manufacturer but strongly inspired by the best existing assemblers.
The paper contains a discussion of assembler addressing modes and their expressions in CALM. A program example of the Bubble Sort subroutine written for 4 processors (hypothetical, 8085, 8086, 68000) gives an idea of CALM programs. 相似文献
94.
针对近几年安阳市城区规模的不断扩大和安东新区的开发启动以及房地产市场的迅速发展,根据相关标准,结合安阳市城市发展的实际需要,提出了安阳市民用建筑有线电视管道工程设计及施工规范。 相似文献
95.
研制了稀土六硼化物单晶LaB_6、CeB_6、PrB_6和NdB_6电子探针分析标样。根据X-射线峰位表和实测的特征X-射线谱,考察分析了La、Ce、Pr和Nd元素谱线之间的干扰情况,发现分析谱线PrLα_1受到L_αLβ_1线严重的干扰。以混合稀土金属为试样,采用扣除谱线重叠强度的背底非对称测量等方法对L_n、Ce、Pr和Nd进行了电子探针定量分析,其结果与荧光X-射线光谱分析结果符合较好。 相似文献
96.
97.
根据企业特点 ,在贯彻ISO90 0 2标准中 ,建立健全设备管理机构及制度体系 ,提高企业设备管理水平 ,建立设备台帐等提出了几点看法 相似文献
98.
毛丰付 《湖南纺织高等专科学校学报》2007,17(2):8-10
通过对资本一般概念的分析,结合资本一般的运动功能论述,认为在经济全球化和网络条件下,资本增值属性必然导致对规则和标准的争夺与控制,标准战是资本一般在新的经济社会形态下发展的必然逻辑结果。 相似文献
99.
由于无证书公钥密码体制是一种新型公钥密码体制,它既克服了密钥托管问题,又不需要使用公钥证书,而在标准模型下所构造的方案与在随机语言模型下所构造的方案相比,具有更高的可证安全性,因此,该文在标准模型下,提出了一个无证书代理环签名方案。与现有的代理环签名方案相比,它具有更高的执行效率和可证安全性,能够归约于CDH(computational diffie-Hellman)问题假定。分析结果表明:它既能有效抵制来自密钥生成中心和授权人的伪造攻击,又能满足代理环签名的其他安全性需求;并且,该方案具有更高的执行效率,只需要两次对运算。 相似文献
100.