全文获取类型
收费全文 | 2040篇 |
免费 | 203篇 |
国内免费 | 82篇 |
学科分类
工业技术 | 2325篇 |
出版年
2024年 | 14篇 |
2023年 | 22篇 |
2022年 | 42篇 |
2021年 | 38篇 |
2020年 | 58篇 |
2019年 | 34篇 |
2018年 | 42篇 |
2017年 | 59篇 |
2016年 | 67篇 |
2015年 | 71篇 |
2014年 | 142篇 |
2013年 | 96篇 |
2012年 | 159篇 |
2011年 | 208篇 |
2010年 | 131篇 |
2009年 | 112篇 |
2008年 | 145篇 |
2007年 | 156篇 |
2006年 | 142篇 |
2005年 | 100篇 |
2004年 | 76篇 |
2003年 | 77篇 |
2002年 | 39篇 |
2001年 | 46篇 |
2000年 | 36篇 |
1999年 | 27篇 |
1998年 | 23篇 |
1997年 | 24篇 |
1996年 | 30篇 |
1995年 | 21篇 |
1994年 | 17篇 |
1993年 | 17篇 |
1992年 | 6篇 |
1991年 | 15篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 10篇 |
1987年 | 2篇 |
1986年 | 3篇 |
1985年 | 5篇 |
1983年 | 2篇 |
排序方式: 共有2325条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
5.
针对混铁炉使用过程中出现的各种侵蚀状况,设计采用砖砌十浇注复合炉衬结构,特别对前墙拐角和后墙中段等侵蚀快的关键部位作了有针对性的技术改进;在运行管理上,制定推行全新的工艺操作规程,取得了显著的使用效果。 相似文献
6.
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. 相似文献
7.
8.
Dr. C. R. Nagarajah W. Thompson 《The International Journal of Advanced Manufacturing Technology》1994,9(5):333-342
There are two aspects to cell formation in flexible manufacturing systems, cell sizing or deciding on the optimum number of machines to be allocated to each cell, and then allocation of specific machines to each cell. Although the latter problem has been investigated extensively there is a paucity of published work on the former. This paper discusses the effects of cell sizing on operational flexibility.Operational flexibility is that aspect of flexibility that enables manufacturing systems to respond with speed and efficiency to changes in the manufacturing environment while maintaining an effective level of control. 相似文献
9.
带类型的λ-演算是一个逻辑系统,它可以作为程序语言的基础.Plotkin所引进的PCF就是这样一类程序语言.Plotkin构造了PCF的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合.本文利用Scott引进的信息系统概念构造PCF的另一种模型,并证明与这个模型对应的指称语义与操作语义是完全配合的. 相似文献
10.