全文获取类型
收费全文 | 903篇 |
免费 | 27篇 |
国内免费 | 38篇 |
专业分类
系统科学 | 70篇 |
丛书文集 | 42篇 |
教育与普及 | 22篇 |
理论与方法论 | 39篇 |
现状及发展 | 13篇 |
综合类 | 782篇 |
出版年
2024年 | 3篇 |
2023年 | 1篇 |
2022年 | 6篇 |
2021年 | 9篇 |
2020年 | 10篇 |
2019年 | 9篇 |
2018年 | 6篇 |
2017年 | 11篇 |
2016年 | 11篇 |
2015年 | 21篇 |
2014年 | 82篇 |
2013年 | 28篇 |
2012年 | 32篇 |
2011年 | 57篇 |
2010年 | 52篇 |
2009年 | 67篇 |
2008年 | 78篇 |
2007年 | 90篇 |
2006年 | 64篇 |
2005年 | 52篇 |
2004年 | 47篇 |
2003年 | 37篇 |
2002年 | 32篇 |
2001年 | 20篇 |
2000年 | 23篇 |
1999年 | 32篇 |
1998年 | 15篇 |
1997年 | 15篇 |
1996年 | 11篇 |
1995年 | 7篇 |
1994年 | 4篇 |
1993年 | 8篇 |
1992年 | 8篇 |
1991年 | 1篇 |
1990年 | 5篇 |
1989年 | 7篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1981年 | 2篇 |
排序方式: 共有968条查询结果,搜索用时 15 毫秒
1.
科技型中小企业技术创新基金项目可行性研究报告主要内容包括总论,申报企业情况,项目的技术可行性和成熟性分析,项目产品市场调查与竞争能力预测,项目实施方案,投资预算与资金筹措,经济、社会效益分析,项目可行性研究报告编制说明等. 相似文献
2.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
3.
小学教育专业是我校的一个新兴专业,如何办好这个专业,需要在人才培养目标、培养规格和课程方案方面做深入的探讨,本文是作者在以上方面的认识和思考。 相似文献
4.
5.
墨家辩学的研究对象与逻辑类型 总被引:1,自引:0,他引:1
《墨辩》六篇中的“辩”指的是论辩,墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想,这种形式逻辑思想届于非形式化的,它通过辩学对自然语言中广义逻辑问题的研究得以表现,因此说,墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
6.
李刚 《上海大学学报(自然科学版)》1998,4(2):187-195
形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。 相似文献
7.
结构化面向对象形式规格说明语言OOZS——设计原理 总被引:1,自引:0,他引:1
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写 相似文献
8.
OOZS是一种面向对象的形式规格说明语言,它是Z规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对OOZS语言的应用进行说明。 相似文献
9.
10.
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。 相似文献