全文获取类型
收费全文 | 6393篇 |
免费 | 757篇 |
国内免费 | 23篇 |
专业分类
电工技术 | 58篇 |
综合类 | 117篇 |
化学工业 | 1780篇 |
金属工艺 | 96篇 |
机械仪表 | 114篇 |
建筑科学 | 254篇 |
矿业工程 | 16篇 |
能源动力 | 751篇 |
轻工业 | 658篇 |
水利工程 | 42篇 |
石油天然气 | 16篇 |
无线电 | 631篇 |
一般工业技术 | 1053篇 |
冶金工业 | 711篇 |
原子能技术 | 56篇 |
自动化技术 | 820篇 |
出版年
2022年 | 55篇 |
2021年 | 65篇 |
2020年 | 73篇 |
2019年 | 113篇 |
2018年 | 135篇 |
2017年 | 147篇 |
2016年 | 184篇 |
2015年 | 238篇 |
2014年 | 253篇 |
2013年 | 398篇 |
2012年 | 270篇 |
2011年 | 337篇 |
2010年 | 486篇 |
2009年 | 421篇 |
2008年 | 577篇 |
2007年 | 239篇 |
2006年 | 247篇 |
2005年 | 196篇 |
2004年 | 198篇 |
2003年 | 182篇 |
2002年 | 190篇 |
2001年 | 121篇 |
2000年 | 133篇 |
1999年 | 105篇 |
1998年 | 121篇 |
1997年 | 91篇 |
1996年 | 103篇 |
1995年 | 85篇 |
1994年 | 96篇 |
1993年 | 81篇 |
1992年 | 72篇 |
1991年 | 51篇 |
1990年 | 71篇 |
1989年 | 71篇 |
1988年 | 49篇 |
1987年 | 50篇 |
1986年 | 47篇 |
1985年 | 72篇 |
1984年 | 61篇 |
1983年 | 63篇 |
1982年 | 52篇 |
1981年 | 49篇 |
1980年 | 49篇 |
1979年 | 59篇 |
1978年 | 31篇 |
1977年 | 45篇 |
1976年 | 40篇 |
1975年 | 41篇 |
1974年 | 31篇 |
1973年 | 27篇 |
排序方式: 共有7173条查询结果,搜索用时 15 毫秒
81.
82.
Jean Marcel Pallo 《Information Processing Letters》2010,111(1):46-50
We generalize the Kleene theorem to the case where nonassociative products are used. For this purpose, we apply rotations restricted to the root of binary trees. 相似文献
83.
84.
We present a novel approach to the automated marking of student programming assignments. Our technique quantifies the structural similarity between unmarked student submissions and marked solutions, and is the basis by which we assign marks. This is accomplished through an efficient novel graph similarity measure (AssignSim). Our experiments show good correlation of assigned marks with that of a human marker. 相似文献
85.
Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter and more readable. However, cuts may be not admissible anymore.We define a new system, the unfolding sequent calculus, and prove its equivalence with the sequent calculus modulo, especially w.r.t. cut-free proofs. It permits to show that it is even undecidable to know if cuts can be eliminated in the sequent calculus modulo a given rewrite system.Then, to recover the cut admissibility, we propose a procedure to complete the rewrite system such that the sequent calculus modulo the resulting system admits cuts. This is done by generalizing the Knuth–Bendix completion in a non-trivial way, using the framework of abstract canonical systems.These results enlighten the entanglement between computation and deduction, and the power of abstract completion procedures. They also provide an effective way to obtain systems admitting cuts, therefore extending the applicability of deduction modulo in automated theorem proving. 相似文献
86.
Jean‐Paul M. Arnaout Marwan Maatouk 《International Transactions in Operational Research》2010,17(5):595-605
The agriculture sector still lacks the tools and models to enhance the utilization of different resources. This paper addresses the vineyard harvesting problem in developing countries, with the objective of optimizing the wine quality and minimizing the operational costs. Heuristics were introduced to better assign the harvesting days to the different grape blocks that exist in the vineyard's field. The quality of the grapes was a key target as it can transform production from a pinnacle wine to a bulk one. We solved several numerical examples for verification and demonstrative purposes and found that our proposed approach finds solutions that significantly reduce the harvesting costs in the vineyard and considerably outperform Branch and Bound algorithm especially for large problems. 相似文献
87.
Paul Schmieder Beryl Plimmer Jean Vanderdonckt 《Journal of Visual Languages and Computing》2010,21(2):98-108
Diagrams are often used to model complex systems: in many cases several different types of diagrams are used to model different aspects of the system. These diagrams, perhaps from multiple stakeholders of different specialties, must be combined to achieve a full abstract representation of the system. Many CAD tools offer multi-diagram integration; however, sketch-based diagramming tools are yet to tackle this difficult integration problem. We extend the diagram sketching tool InkKit to combine software engineering sketches of different types. Our extensions support software design processes by providing a sketch-based approach that allows the iterative creation of multiple outputs interacting with one another from the inter-linked models. We demonstrate that InkKit can generate a functional system consisting of a user interface with processes to submit and retrieve data from a database from sketched user interfaces designs and sketched entity relationship diagrams. 相似文献
88.
89.
90.
Advances in e-learning technologies parallels a general increase in sophistication by computer users. The use of just one theory or model, such as the technology acceptance model, is no longer sufficient to study the intended use of e-learning systems. Rather, a combination of theories must be integrated in order to fully capture the complexity of e-learners, who are both system users and learners. The current research presents an integrated theoretical framework to study users’ acceptance of streaming media for e-learning. Three streams of research provide the basis for this integrated framework: the technology acceptance model, flow theory and media richness theory. Students enrolled in an online section of an information systems course used one of three different combinations of text, streamed audio and streamed video. Regression analysis was used to test the hypotheses in this field experiment. Perceived ease of use was a predictor of perceived usefulness; both the perceived usefulness and the attitude of the user were predictors of intention to use. Richer content-presentation types were positively correlated with higher concentration levels but showed mixed results when correlated with perceived usefulness. Results from this study have practical implications for those interested in integrating streaming media into e-learning. 相似文献