全文获取类型
收费全文 | 2782篇 |
免费 | 80篇 |
国内免费 | 319篇 |
专业分类
系统科学 | 81篇 |
丛书文集 | 202篇 |
教育与普及 | 16篇 |
理论与方法论 | 9篇 |
现状及发展 | 5篇 |
综合类 | 2868篇 |
出版年
2024年 | 2篇 |
2023年 | 11篇 |
2022年 | 20篇 |
2021年 | 24篇 |
2020年 | 39篇 |
2019年 | 31篇 |
2018年 | 17篇 |
2017年 | 33篇 |
2016年 | 36篇 |
2015年 | 62篇 |
2014年 | 96篇 |
2013年 | 98篇 |
2012年 | 133篇 |
2011年 | 155篇 |
2010年 | 129篇 |
2009年 | 168篇 |
2008年 | 129篇 |
2007年 | 208篇 |
2006年 | 154篇 |
2005年 | 165篇 |
2004年 | 117篇 |
2003年 | 164篇 |
2002年 | 119篇 |
2001年 | 119篇 |
2000年 | 127篇 |
1999年 | 99篇 |
1998年 | 95篇 |
1997年 | 77篇 |
1996年 | 86篇 |
1995年 | 73篇 |
1994年 | 69篇 |
1993年 | 61篇 |
1992年 | 62篇 |
1991年 | 37篇 |
1990年 | 46篇 |
1989年 | 48篇 |
1988年 | 39篇 |
1987年 | 17篇 |
1986年 | 8篇 |
1985年 | 8篇 |
排序方式: 共有3181条查询结果,搜索用时 15 毫秒
941.
942.
943.
唐熙亨 《南京理工大学学报(自然科学版)》1991,(3)
本文给出如下的定理,设R是一个除环,M_(Γ×Γ)(R)是R上的行有限的无限矩阵环,则对于模范畴Mod—R和Mod—M_(Γ×Γ)(R),存在完全忠实函子F:Mod—R→Mod—M_(Γ×Γ)(R)。这是保证两个模范畴等价的重要条件之一。 相似文献
944.
并发计算的元模型Ⅲ.互模拟格 总被引:2,自引:2,他引:0
傅育熙 《上海交通大学学报》2000,34(6):732-736
在有关chi演算的基础上,用统一的方法在chi进程上引入一大类互模拟等价关系,即L-互模拟等价关系,证明了只有4个不同的L-互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的L-互模拟等价。 相似文献
945.
并发计算的元模型Ⅳ.公理化 总被引:1,自引:1,他引:0
傅育熙 《上海交通大学学报》2000,34(7):859-863
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与3条tau规则构成,在此基础上,分别加入一条输出规则和/或其对偶形式,即得其他3个公理系统。 相似文献
946.
傅育熙 《上海交通大学学报》2000,34(7)
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质 相似文献
947.
潘勇 《宝鸡文理学院学报(自然科学版)》2001,21(4):259-261
讨论了SF环的正则性,证明了如果R是SF环且是ZI环,则R是正则的,同时证明了SF环R如果满足下列三条件之一,则R是强正则环:(1)R是ZI环并且每个单奇异右(或左)R-模是GP-内射的;(2)R是SRB环并且每个单奇异右R-模是GP-内射的;(3)R是2-primal环并且每个单右R-模是GP-内射的。 相似文献
948.
严单贵 《湖北民族学院学报(自然科学版)》2001,19(1):57-59
证明Nest代数的广义导子是广义内导子以及Nest代数的双边局部约当导子是内导子。 相似文献
949.
陈立新 《天津师范大学学报(自然科学版)》2001,21(3):16-18
讨论了Lie可容许代数导子的基本性质,并给出了导子与其自身结构及其Lie代数的一些密切关系。 相似文献
950.
陈贵云 《西南师范大学学报(自然科学版)》2001,26(5)
用阶分量刻划单群并证明了李型单群G2 (q)也可由阶分量刻画 .定理 1 设G是有限群 ,M =G2 (q) .若OC(G) =OC(M) ,则G≌M .上述结论统一了如下两个结论 :定理 2 设G是有限群 |M =G2 (q)且( 1)|G| =|M|( 2 )xe(G) =πe(M)则G ≌M .定理 3 设G是有限群 ,Z(G) =1,M =G2 (q) ,N(G) =N(M) ,则G ≌M . 相似文献