全文获取类型
收费全文 | 10060篇 |
免费 | 240篇 |
国内免费 | 509篇 |
专业分类
系统科学 | 329篇 |
丛书文集 | 392篇 |
教育与普及 | 287篇 |
理论与方法论 | 284篇 |
现状及发展 | 109篇 |
综合类 | 9408篇 |
出版年
2024年 | 54篇 |
2023年 | 193篇 |
2022年 | 220篇 |
2021年 | 237篇 |
2020年 | 169篇 |
2019年 | 161篇 |
2018年 | 85篇 |
2017年 | 133篇 |
2016年 | 166篇 |
2015年 | 219篇 |
2014年 | 445篇 |
2013年 | 391篇 |
2012年 | 426篇 |
2011年 | 504篇 |
2010年 | 485篇 |
2009年 | 518篇 |
2008年 | 663篇 |
2007年 | 630篇 |
2006年 | 477篇 |
2005年 | 463篇 |
2004年 | 425篇 |
2003年 | 458篇 |
2002年 | 430篇 |
2001年 | 415篇 |
2000年 | 301篇 |
1999年 | 251篇 |
1998年 | 253篇 |
1997年 | 249篇 |
1996年 | 288篇 |
1995年 | 223篇 |
1994年 | 177篇 |
1993年 | 147篇 |
1992年 | 114篇 |
1991年 | 123篇 |
1990年 | 100篇 |
1989年 | 94篇 |
1988年 | 63篇 |
1987年 | 34篇 |
1986年 | 11篇 |
1985年 | 5篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1978年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
71.
设n为正整数,f(n)是可以用1以及任意多个 号和×号(以及括号)来表示n时所用1的最少的个数.本文确定了n在若干情形时f(n)的值,改进了参考文献的部分结果,并提出了若干新的猜想. 相似文献
72.
《国外科技新书评介》2008,(4):9-10
覆盖理论是作为构造范畴间的等价关系的通用方法而出现的一种数学理论,它的起源可追溯到1973年前苏联数学家I.N.Bernstein,J.M.Geffand和V.A.Ponomanov的两篇关于有限维代数表示理论的论文。这个理论最初是在有限维代数上的模范畴的研究中发展起来的, 相似文献
73.
陈乃辉 《广西师范学院学报(自然科学版)》2008,25(1):1-4
在随机变量X的分布函数为N阶均匀阶跃函数的情形下,获得了:(1)随机变量函数f(x)的Fourier级数表示;(2)条件数学期望E(Y|X)的Fourier级数表示. 相似文献
74.
75.
76.
77.
78.
79.
科技术语的符号学诠释 总被引:2,自引:0,他引:2
术语是通过语音或文字来表达或限定专业概念的一种约定性符号[1] ,术语规范化实质上是一个建立规范的文字符号模型并使其成为全社会定约的过程。基于上述认识 ,我们可以借鉴符号学、语言学、编辑学等学科的一些基本理论来研究术语学问题。本文即是从科技术语是形式和意义相结合的符号系统这一视角出发 ,应用符号学的若干基本原理 ,提出和探讨术语符号的一些基本性质及构成特性问题。 一、符号和术语符号在人类发展过程中 ,由于生产劳动的社会性 ,人们需要经常交流思想、密切协作 ,而这种交往与合作 ,要求人们能够明确无误地表达出自己的… 相似文献
80.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献