全文获取类型
收费全文 | 237篇 |
免费 | 15篇 |
国内免费 | 45篇 |
专业分类
电工技术 | 2篇 |
综合类 | 7篇 |
化学工业 | 54篇 |
金属工艺 | 1篇 |
机械仪表 | 4篇 |
建筑科学 | 4篇 |
矿业工程 | 5篇 |
能源动力 | 1篇 |
轻工业 | 15篇 |
水利工程 | 7篇 |
石油天然气 | 7篇 |
武器工业 | 4篇 |
无线电 | 11篇 |
一般工业技术 | 6篇 |
冶金工业 | 1篇 |
原子能技术 | 2篇 |
自动化技术 | 166篇 |
出版年
2023年 | 8篇 |
2022年 | 4篇 |
2021年 | 2篇 |
2020年 | 3篇 |
2019年 | 4篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 8篇 |
2015年 | 2篇 |
2014年 | 7篇 |
2013年 | 4篇 |
2012年 | 13篇 |
2011年 | 7篇 |
2010年 | 10篇 |
2009年 | 12篇 |
2008年 | 5篇 |
2007年 | 2篇 |
2006年 | 13篇 |
2005年 | 6篇 |
2004年 | 6篇 |
2003年 | 8篇 |
2002年 | 15篇 |
2001年 | 11篇 |
2000年 | 11篇 |
1999年 | 15篇 |
1998年 | 14篇 |
1997年 | 10篇 |
1996年 | 9篇 |
1995年 | 9篇 |
1994年 | 6篇 |
1993年 | 13篇 |
1992年 | 15篇 |
1991年 | 7篇 |
1990年 | 5篇 |
1989年 | 1篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 4篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1963年 | 1篇 |
排序方式: 共有297条查询结果,搜索用时 15 毫秒
21.
22.
23.
24.
25.
本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。 相似文献
26.
所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究PROLOG目标求解成功或失败的公理性,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。 相似文献
27.
28.
29.
以四氩呋喃为溶剂,正十二硫醇为链转移剂,采用自由基溶液聚合的方法合成了聚丙烯酸甲酯齐聚物.考察了单体滴加时闻对黏均分子量的影响,确定滴加时间为40 min可以得到较低黏均分子量的聚丙烯酸甲酯齐聚物.在自制的插入式酯基乙氧基化催化荆MCT-09催化下成功地对聚丙烯酸甲酯齐聚物进行了乙氧基化反应.反应结果显示,随着反应进行... 相似文献
30.
一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实 相似文献