全文获取类型
收费全文 | 11462篇 |
免费 | 210篇 |
国内免费 | 477篇 |
专业分类
系统科学 | 878篇 |
丛书文集 | 443篇 |
教育与普及 | 222篇 |
理论与方法论 | 316篇 |
现状及发展 | 93篇 |
综合类 | 10197篇 |
出版年
2024年 | 41篇 |
2023年 | 137篇 |
2022年 | 153篇 |
2021年 | 156篇 |
2020年 | 164篇 |
2019年 | 128篇 |
2018年 | 72篇 |
2017年 | 96篇 |
2016年 | 152篇 |
2015年 | 245篇 |
2014年 | 642篇 |
2013年 | 550篇 |
2012年 | 706篇 |
2011年 | 804篇 |
2010年 | 767篇 |
2009年 | 740篇 |
2008年 | 829篇 |
2007年 | 869篇 |
2006年 | 569篇 |
2005年 | 557篇 |
2004年 | 493篇 |
2003年 | 465篇 |
2002年 | 395篇 |
2001年 | 403篇 |
2000年 | 331篇 |
1999年 | 262篇 |
1998年 | 228篇 |
1997年 | 235篇 |
1996年 | 194篇 |
1995年 | 142篇 |
1994年 | 128篇 |
1993年 | 96篇 |
1992年 | 71篇 |
1991年 | 96篇 |
1990年 | 75篇 |
1989年 | 74篇 |
1988年 | 49篇 |
1987年 | 16篇 |
1986年 | 10篇 |
1985年 | 4篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1944年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 171 毫秒
81.
钟谭卫 《中国石油大学学报(自然科学版)》1992,(2)
通过二次箱样条的分片Bernstein-Bezier表示,由此产生的Bezier点,得出了de Boor网二向凸与相应的Bezier网三向凸是等价的,同时给出了由de Boor点确定的关于二次箱样条曲面凸性的充分条件. 相似文献
82.
83.
84.
85.
86.
87.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
88.
墨家辩学的研究对象与逻辑类型 总被引:1,自引:0,他引:1
《墨辩》六篇中的“辩”指的是论辩,墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想,这种形式逻辑思想届于非形式化的,它通过辩学对自然语言中广义逻辑问题的研究得以表现,因此说,墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。 相似文献
89.
高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。 相似文献
90.
LI Xi-zuo HAN Gui-ying KIM Sun-ho 《武汉大学学报:自然科学英文版》2006,11(1):203-210
0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys… 相似文献