全文获取类型
收费全文 | 799篇 |
免费 | 23篇 |
国内免费 | 110篇 |
专业分类
系统科学 | 42篇 |
丛书文集 | 29篇 |
教育与普及 | 4篇 |
理论与方法论 | 14篇 |
现状及发展 | 1篇 |
综合类 | 842篇 |
出版年
2023年 | 1篇 |
2022年 | 16篇 |
2021年 | 19篇 |
2020年 | 18篇 |
2019年 | 11篇 |
2018年 | 4篇 |
2017年 | 18篇 |
2016年 | 6篇 |
2015年 | 13篇 |
2014年 | 42篇 |
2013年 | 22篇 |
2012年 | 39篇 |
2011年 | 79篇 |
2010年 | 43篇 |
2009年 | 53篇 |
2008年 | 47篇 |
2007年 | 82篇 |
2006年 | 53篇 |
2005年 | 49篇 |
2004年 | 47篇 |
2003年 | 40篇 |
2002年 | 34篇 |
2001年 | 36篇 |
2000年 | 24篇 |
1999年 | 25篇 |
1998年 | 14篇 |
1997年 | 17篇 |
1996年 | 15篇 |
1995年 | 18篇 |
1994年 | 7篇 |
1993年 | 7篇 |
1992年 | 2篇 |
1991年 | 8篇 |
1990年 | 10篇 |
1989年 | 2篇 |
1988年 | 5篇 |
1987年 | 2篇 |
1986年 | 4篇 |
排序方式: 共有932条查询结果,搜索用时 46 毫秒
1.
In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL. 相似文献
2.
从不可约张量算符与角动量算符之间的对易关系出发,利用角动量算符和角动量本征态的有关性质,给出了Wigner-Eckart定理的一种简单证明方法. 相似文献
3.
刘寅立 《天津科技大学学报》2002,(3):60-61
在微积分学中 ,函数的连续性与可导性是函数重要的性质 ,一些特殊的函数在这方面也表现出了特殊的性质 ,本文将对这些性质进行讨论 相似文献
4.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
5.
论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。 相似文献
6.
张峰 《科技情报开发与经济》2007,17(8):162-164
通过对结构、空间、色彩中科技应用的分析,述评了中国现代城市建筑设计中形式美的科技应用趋向。 相似文献
7.
用导数的方法,给出了多元多项式具有重因式、能因式分解的必要条件和操作步骤,以及判断方程是否为重根的充分条件。并且,提供了中学教学中常见的二次六项式能否进行因式分解的条件。 相似文献
8.
结构化面向对象形式规格说明语言OOZS——设计原理 总被引:1,自引:0,他引:1
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写 相似文献
9.
10.