全文获取类型
收费全文 | 4621篇 |
免费 | 136篇 |
国内免费 | 167篇 |
专业分类
电工技术 | 256篇 |
综合类 | 332篇 |
化学工业 | 47篇 |
金属工艺 | 5篇 |
机械仪表 | 68篇 |
建筑科学 | 1905篇 |
矿业工程 | 41篇 |
能源动力 | 17篇 |
轻工业 | 112篇 |
水利工程 | 257篇 |
石油天然气 | 24篇 |
无线电 | 198篇 |
一般工业技术 | 262篇 |
冶金工业 | 147篇 |
原子能技术 | 4篇 |
自动化技术 | 1249篇 |
出版年
2024年 | 11篇 |
2023年 | 68篇 |
2022年 | 63篇 |
2021年 | 120篇 |
2020年 | 277篇 |
2019年 | 549篇 |
2018年 | 190篇 |
2017年 | 152篇 |
2016年 | 206篇 |
2015年 | 315篇 |
2014年 | 623篇 |
2013年 | 271篇 |
2012年 | 250篇 |
2011年 | 469篇 |
2010年 | 300篇 |
2009年 | 247篇 |
2008年 | 183篇 |
2007年 | 144篇 |
2006年 | 82篇 |
2005年 | 71篇 |
2004年 | 57篇 |
2003年 | 41篇 |
2002年 | 49篇 |
2001年 | 32篇 |
2000年 | 19篇 |
1999年 | 25篇 |
1998年 | 19篇 |
1997年 | 19篇 |
1996年 | 9篇 |
1995年 | 10篇 |
1994年 | 11篇 |
1993年 | 9篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 8篇 |
1989年 | 6篇 |
1987年 | 2篇 |
1986年 | 2篇 |
排序方式: 共有4924条查询结果,搜索用时 15 毫秒
101.
知识情境教学法在数据结构课程中的探索 总被引:1,自引:0,他引:1
数据结构是计算机专业的核心课程,学生学习该课程有一定的难度。传统的教学方法不能激发学生的学习热情,教学效果较差。将知识情境教学法用于该课程教学能够让学生在设立的教学情境中,运用心理活动和情感,加强理性学习活动。文章探索了知识情境教学法在该课程中的具体应用,并通过两个简单的课堂例子来进行阐述,以求取得好的教学效果。 相似文献
102.
泛在学习代表了一种新的学习服务理念,使学习无处不在。泛在学习的学习理论从外在环境刺激向内在潜能的激发转变,注重学习者的个性发展和学习共同体的作用。文章介绍了目前普遍关注的泛在学习的内涵,支撑泛在学习的技术和理念,以及自由探索的形式;分析研究了泛在学习未来的发展前景。 相似文献
103.
类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。 相似文献
104.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确. 相似文献
105.
基于工作过程的软件开发项目课程建设是一个探索中前行的过程,该文针对目前该项目课程实施效果不太理想的状况,对学习领域和学习情境的构建和设计进行分析研究,提出了改进措施。 相似文献
106.
事件演算在行动推理中的应用 总被引:1,自引:1,他引:0
事件演算是基于一阶谓词演算的行动推理理论.它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力.在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现.讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现. 相似文献
107.
108.
讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持. 相似文献
109.
110.