全文获取类型
收费全文 | 6544篇 |
免费 | 180篇 |
国内免费 | 373篇 |
专业分类
系统科学 | 267篇 |
丛书文集 | 188篇 |
教育与普及 | 48篇 |
理论与方法论 | 17篇 |
现状及发展 | 40篇 |
综合类 | 6537篇 |
出版年
2024年 | 10篇 |
2023年 | 56篇 |
2022年 | 47篇 |
2021年 | 69篇 |
2020年 | 59篇 |
2019年 | 62篇 |
2018年 | 31篇 |
2017年 | 74篇 |
2016年 | 112篇 |
2015年 | 147篇 |
2014年 | 284篇 |
2013年 | 282篇 |
2012年 | 355篇 |
2011年 | 461篇 |
2010年 | 451篇 |
2009年 | 563篇 |
2008年 | 589篇 |
2007年 | 668篇 |
2006年 | 583篇 |
2005年 | 484篇 |
2004年 | 385篇 |
2003年 | 369篇 |
2002年 | 295篇 |
2001年 | 221篇 |
2000年 | 135篇 |
1999年 | 81篇 |
1998年 | 69篇 |
1997年 | 49篇 |
1996年 | 37篇 |
1995年 | 15篇 |
1994年 | 11篇 |
1993年 | 7篇 |
1992年 | 10篇 |
1991年 | 8篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 4篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有7097条查询结果,搜索用时 15 毫秒
1.
串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现. 相似文献
2.
3.
文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。 相似文献
4.
5.
基于DDE的FIX与VB数据通讯的实现 总被引:4,自引:0,他引:4
介绍了Windows环境下DDE(动态数据交换)技术原理,以及组态软件FIX与开发工具VB对DDE技术的支持,通过实例说明了FIX应用与VB应用程序之间利用DDE进行数据通信实现方法。 相似文献
6.
7.
本报讯本月27日,广东省、教育部和科技部联合在广州白云国际会议中心召开“广东省教育部科技部产学研结合工作会议”。广东省教育部科技部产学研结合项目签约仪式也于昨天卜午在该中心举行:为期3天的“广东省产学研科技创新成果展览会”随后开幕。我市有5项成果参加展出,另有5个项目参加签约。市委书记黄志光、副市长苏耀光,市政协副主席、 相似文献
8.
本文主要探讨路由器qos技术在下一代英特网中的应用,分别介绍集成服务(IntSer),区分服务(Dif-ser),以及其它一些探索性的路由器qos技术。 相似文献
9.
金艳 《武汉科技学院学报》2002,15(2):76-78
我国政府采购市场面临着对外开放的必然要求。作为WTO的成员国,无论从理论还是发展趋势看,都应当按照WTO《政府采购协议》建立系统的政府采购制度,以适应国际大市场和国内财政资金管理的要求。 相似文献
10.
在分析基于RS-232C标准的串行异步通信原理的基础上,讨论了利用RVO2100虚拟数字示波器检测串行异步通信协议的方法,并与传统检测方法进行了比较。 相似文献