全文获取类型
收费全文 | 208篇 |
免费 | 4篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 21篇 |
金属工艺 | 2篇 |
机械仪表 | 5篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
能源动力 | 3篇 |
轻工业 | 6篇 |
水利工程 | 4篇 |
石油天然气 | 1篇 |
无线电 | 54篇 |
一般工业技术 | 22篇 |
冶金工业 | 59篇 |
自动化技术 | 31篇 |
出版年
2020年 | 5篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 1篇 |
2015年 | 4篇 |
2013年 | 8篇 |
2012年 | 1篇 |
2011年 | 10篇 |
2010年 | 2篇 |
2009年 | 9篇 |
2008年 | 12篇 |
2007年 | 9篇 |
2006年 | 10篇 |
2005年 | 6篇 |
2004年 | 5篇 |
2003年 | 12篇 |
2002年 | 9篇 |
2001年 | 2篇 |
2000年 | 5篇 |
1999年 | 6篇 |
1998年 | 14篇 |
1997年 | 20篇 |
1996年 | 12篇 |
1995年 | 4篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 6篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1979年 | 3篇 |
1978年 | 2篇 |
1977年 | 2篇 |
1976年 | 2篇 |
1974年 | 2篇 |
1972年 | 1篇 |
1967年 | 1篇 |
排序方式: 共有212条查询结果,搜索用时 0 毫秒
211.
Adding appropriate strictness information to recursive function definitions we achieve a uniform treatment of lazy and eager evaluation strategies. By restriction to first-order functions over basic types we develop a pure stack implementation that avoids a heap even for lazy arguments. We present algebraic definitions of denotational, operational, and stack-machine semantics and prove their equivalence by means of structural induction. 相似文献
212.