全文获取类型
收费全文 | 1277篇 |
免费 | 41篇 |
国内免费 | 44篇 |
专业分类
系统科学 | 37篇 |
丛书文集 | 54篇 |
教育与普及 | 45篇 |
理论与方法论 | 114篇 |
现状及发展 | 4篇 |
综合类 | 1108篇 |
出版年
2024年 | 4篇 |
2023年 | 19篇 |
2022年 | 24篇 |
2021年 | 29篇 |
2020年 | 20篇 |
2019年 | 16篇 |
2018年 | 12篇 |
2017年 | 20篇 |
2016年 | 16篇 |
2015年 | 32篇 |
2014年 | 56篇 |
2013年 | 44篇 |
2012年 | 53篇 |
2011年 | 62篇 |
2010年 | 81篇 |
2009年 | 72篇 |
2008年 | 100篇 |
2007年 | 86篇 |
2006年 | 58篇 |
2005年 | 59篇 |
2004年 | 61篇 |
2003年 | 53篇 |
2002年 | 63篇 |
2001年 | 39篇 |
2000年 | 43篇 |
1999年 | 23篇 |
1998年 | 24篇 |
1997年 | 27篇 |
1996年 | 14篇 |
1995年 | 26篇 |
1994年 | 21篇 |
1993年 | 21篇 |
1992年 | 21篇 |
1991年 | 12篇 |
1990年 | 16篇 |
1989年 | 18篇 |
1988年 | 6篇 |
1987年 | 4篇 |
1986年 | 3篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1962年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1362条查询结果,搜索用时 15 毫秒
11.
胡海伦 《国外科技新书评介》2005,(5):9-10
在所有的现代编程语言中,标准ML被公认为是属于最高级别的,由于其严密的语法定义,因此,被许多应用优先选择;另外由于其定义明确,因此可移植性很高。本书描述了标准的ML基本库,该基本库足够的丰富和有效支持这一通用语言的日常任务,书中提供了用于标准ML(SML)语言的基本类型及函数的集合,它们是由标准的ML定义(经修订的)[MTHM97]所描述的。 相似文献
12.
张会凌 《甘肃教育学院学报(自然科学版)》2003,17(2):8-9
对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论,分析了二者的性质、异同和关系,并给出了消除同名异义性的建议。 相似文献
13.
在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何.本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出:三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。 相似文献
14.
根据LudwigKn ll对两量子态间距离函数的定义,得到了任意一个相干态|α0〉与相干态|α〉及其相反态通过任意系数线性叠加组成的叠加态———猫态|Ψ〉之间距离函数的一般表达式D(r,r0,φ).依据D(r,r0,φ),讨论了|α0〉与|Ψ〉之间的相似特性与其内禀参数之间的关系.结果表明,态|α0〉与|Ψ〉的相似程度,不但与每个相干态在复空间的平移距离有关,而且与态|α0〉和|α〉相对初始相位差Δθ以及叠加相位有关. 相似文献
15.
16.
渔业补贴之争与我国渔业补贴调整方向 总被引:2,自引:0,他引:2
近年来,渔业补贴问题成为国际社会的一大争议焦点,世贸组织<多哈宣言>已将其列为规则谈判议题之一.本文考察了国际社会围绕渔业补贴定义、分类方法和渔业补贴效果所产生的争议,分析了我国渔业补贴现状,并提出了相应的政策建议. 相似文献
17.
以一个电话会议汇接系统的设计开发为例,针对电话会议汇接系统的实时性多任务的特点、运用
有限状态机模型,从状态和状态转移的设计入手,结合面向对象程序语言编程,探讨此类系统的软件设计
的思路和方法。 相似文献
18.
本通过数理逻辑和计算机科学中的递归定义引入了对苏轼庐山悟的阐述,从而对人们的一种认知模式和泛系相对性进行了探讨,它也表现了系统的另一类复杂性,客观事物是复杂的,人们对于客观事物的认识关系也是复杂的。 相似文献
19.
模型参数不确定的不完全驱动船舶航迹控制自适应反演设计(英文) 总被引:1,自引:0,他引:1
针对不完全驱动船舶航迹控制系统模型中存在的参数不确定性 ,基于重定义输出变量思想 ,利用自适应反演积分技术 ,提出了一种具有全局渐近稳定跟踪性能的非线性自适应控制律 ,该控制律能够使得处于不完全驱动状态下的偏航船舶在所有模型参数未知情况下 ,对一条直线参考轨迹进行全局渐近稳定的航迹跟踪。同时 ,通过严格的理论证明 ,该控制律还可以使得文中的重定义输出变量及其组成变量具有相同的收敛性。最后 ,以本校远洋实习船“育龙”号为例 ,利用Matlab软件进行了计算机仿真研究 ,对所提出的控制器进行了验证 ,所得结果比较理想 相似文献