全文获取类型
收费全文 | 5268篇 |
免费 | 105篇 |
国内免费 | 236篇 |
专业分类
系统科学 | 221篇 |
丛书文集 | 180篇 |
教育与普及 | 98篇 |
理论与方法论 | 270篇 |
现状及发展 | 49篇 |
综合类 | 4791篇 |
出版年
2024年 | 22篇 |
2023年 | 65篇 |
2022年 | 83篇 |
2021年 | 71篇 |
2020年 | 74篇 |
2019年 | 55篇 |
2018年 | 28篇 |
2017年 | 47篇 |
2016年 | 66篇 |
2015年 | 87篇 |
2014年 | 219篇 |
2013年 | 209篇 |
2012年 | 255篇 |
2011年 | 310篇 |
2010年 | 287篇 |
2009年 | 300篇 |
2008年 | 384篇 |
2007年 | 379篇 |
2006年 | 290篇 |
2005年 | 276篇 |
2004年 | 252篇 |
2003年 | 274篇 |
2002年 | 233篇 |
2001年 | 211篇 |
2000年 | 170篇 |
1999年 | 132篇 |
1998年 | 123篇 |
1997年 | 116篇 |
1996年 | 119篇 |
1995年 | 97篇 |
1994年 | 80篇 |
1993年 | 56篇 |
1992年 | 43篇 |
1991年 | 62篇 |
1990年 | 43篇 |
1989年 | 44篇 |
1988年 | 25篇 |
1987年 | 9篇 |
1986年 | 7篇 |
1985年 | 2篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有5609条查询结果,搜索用时 15 毫秒
41.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
42.
目前步进电机以五相居多,硬件环形分配器用卡罗图来进行设计,则显得复杂冗赘,如果从步进电机运行的规律中找出约束条件,建立部分真值表,便可以直接写出控制逻辑函数,这对于设计相数、拍数较多的步进电机的环形分配器极为方便,这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。 相似文献
43.
实验选课系统的设计及实现 总被引:3,自引:0,他引:3
在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。 相似文献
45.
46.
汇编语言是高等院校计算机专业课程中公认的一门难教难学的课程,本文首先明确了汇编语言学习的重要性、必要性,然后对教学过程中的难点进行了主客观两个方面的解析,最后给出了有关汇编语言教学的几点建议和意见. 相似文献
47.
根据当前时态数据模型的理论,为儿童保健管理信息系统建立了一个可行的时态关系模型,并对系统中的查询做了简单的描述,最后分析了这种建模方法的优缺点. 相似文献
48.
49.
50.