全文获取类型
收费全文 | 347篇 |
免费 | 1篇 |
国内免费 | 15篇 |
专业分类
系统科学 | 15篇 |
丛书文集 | 21篇 |
教育与普及 | 12篇 |
理论与方法论 | 8篇 |
现状及发展 | 2篇 |
综合类 | 305篇 |
出版年
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2015年 | 7篇 |
2014年 | 13篇 |
2013年 | 9篇 |
2012年 | 9篇 |
2011年 | 7篇 |
2010年 | 9篇 |
2009年 | 13篇 |
2008年 | 17篇 |
2007年 | 22篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 20篇 |
2003年 | 14篇 |
2002年 | 14篇 |
2001年 | 22篇 |
2000年 | 14篇 |
1999年 | 11篇 |
1998年 | 13篇 |
1997年 | 14篇 |
1996年 | 16篇 |
1995年 | 13篇 |
1994年 | 16篇 |
1993年 | 8篇 |
1992年 | 14篇 |
1991年 | 7篇 |
1990年 | 9篇 |
1989年 | 9篇 |
1988年 | 6篇 |
1987年 | 5篇 |
1944年 | 1篇 |
1943年 | 1篇 |
排序方式: 共有363条查询结果,搜索用时 13 毫秒
51.
52.
53.
54.
本文定义了一个内存工作区处理语言MPL,并提出了用于描述语言的形式化方法,作为示例,文中最后给出一个程序部分正确性的验证提纲。 相似文献
55.
56.
讨论了一类称之为强Gδ集的子集,证明了在某些集论公理假设下可分空间不能包含有这样的Gδ子集.以及第一可数、可分空间包含有强Gδ集等价于存在不可度量化的可分、正规Moore空间。 相似文献
57.
58.
本书是中国学者熊大国对国际公认的Kolmogorov在1933年建立的公理系统的一个挑战。Kolmogorov公理系统建立在测度论基础上,以(Ω,F,P)为研究出发点,其中Ω是初等事件集合,F为σ域,P是F上的测度。作者认为,Kolmogorov的公理系统(KAS)有许多缺点,如:没有考虑现实世界的随机现象,没有讨论KAS条件与概率关系, 相似文献
59.
一体化经济效益评估是为了获得最佳的效能,通过对系统中各要素进行自身强化和重新组合,优化系统构成,发现并挖掘系统潜在的能力,实现力量联合和信息协调,更好地进行运筹决策、计划组织、协调控制的系统活动。 相似文献
60.
众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系. 相似文献