全文获取类型
收费全文 | 6543篇 |
免费 | 69篇 |
国内免费 | 164篇 |
专业分类
系统科学 | 127篇 |
丛书文集 | 264篇 |
教育与普及 | 148篇 |
理论与方法论 | 98篇 |
现状及发展 | 34篇 |
综合类 | 6105篇 |
出版年
2024年 | 18篇 |
2023年 | 68篇 |
2022年 | 69篇 |
2021年 | 83篇 |
2020年 | 65篇 |
2019年 | 69篇 |
2018年 | 36篇 |
2017年 | 62篇 |
2016年 | 82篇 |
2015年 | 136篇 |
2014年 | 321篇 |
2013年 | 245篇 |
2012年 | 341篇 |
2011年 | 395篇 |
2010年 | 421篇 |
2009年 | 444篇 |
2008年 | 527篇 |
2007年 | 482篇 |
2006年 | 285篇 |
2005年 | 324篇 |
2004年 | 269篇 |
2003年 | 357篇 |
2002年 | 308篇 |
2001年 | 312篇 |
2000年 | 198篇 |
1999年 | 141篇 |
1998年 | 128篇 |
1997年 | 100篇 |
1996年 | 91篇 |
1995年 | 85篇 |
1994年 | 57篇 |
1993年 | 48篇 |
1992年 | 50篇 |
1991年 | 36篇 |
1990年 | 44篇 |
1989年 | 44篇 |
1988年 | 11篇 |
1987年 | 8篇 |
1986年 | 6篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1978年 | 1篇 |
1962年 | 1篇 |
排序方式: 共有6776条查询结果,搜索用时 546 毫秒
91.
诔是汉魏六朝人写作的一种重要的体形式,诔作为一种体形式,形成于两汉之交。以扬雄《元后诔》为代表。诔体形式的形成,是先秦丧祭命谥诔辞与铭颂结合的产物。 相似文献
92.
《企业会计制度》中新增加的实质重于形式原则,要求企业应当按照交易或事项的经济实质进行会计核算,而不应当仅仅按照它们的法律形式作为会计核算的依据。实质重于形式原则的运用使得会计制度与税法在融资租入固定资产的确认与计价、借款费用资本化的确认、收入的确认和资产减值准备的计提等方面的处理存在差异,当企业向税务机关缴纳所得税时,必须将企业的会计所得调整为纳税所得。 相似文献
93.
马丽莹 《大连民族学院学报》2003,5(2):29-31
为满足会计信息使用会计对会计信息高质量的要求,使会计信息更加可靠、相关,各国推行实质重于形式原则,我国《企业会计制度》将其作为会计核算的基本原则,结合《企业会计制度》说明实质重于形式原则在我国的具体运用,强调会计人员应具备良好的职业判断能力。 相似文献
94.
高校国防教育要牢牢把握教育的内容,即不断深入爱国主义教育;加强居安思危教育;开展革命英雄主义教育;牢固树立国家利益高于一切的观念和“以史为鉴”,加强教育效果。同时,还应运用丰富多样的教育形式使国防教育内容深深印入学生的脑海。 相似文献
95.
民营企业受到重视,民营企业家出名的也很多。但是尽管民办高校最近几年一直受到国家和各省市的重视,但似乎出名的学校不多,民办高校校长出名的就更少。 我们今天找来了一位民办高校的校长——南海东软信息技术学院的院长杨利博士,听他谈谈这方面的感受。 在前些日子召开的佛山市政协会议上,杨利博士上交的两份提案受到了政府、媒体等社会各界的广泛关注。我们的话题就从这里开始—— 相似文献
96.
97.
图的曲面嵌入 总被引:2,自引:0,他引:2
刘彦佩 《天津理工学院学报》2003,19(3):1-5
提供了曲面的一种多边形表示,它虽然由多面形表示演化而来,但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2],经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用.但30余年后,才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7],但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。 相似文献
98.
加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析,说明科技社团的发展在于积极争取政府职能。同时,科技社团只有加强自身建设,抓住机遇,做好承接政府职能转移的大文章,才能增强实力,赢得发展。 相似文献
99.
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。 相似文献
100.
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 相似文献