全文获取类型
收费全文 | 83538篇 |
免费 | 943篇 |
国内免费 | 407篇 |
学科分类
工业技术 | 84888篇 |
出版年
2019年 | 5篇 |
2018年 | 14449篇 |
2017年 | 13375篇 |
2016年 | 9954篇 |
2015年 | 598篇 |
2014年 | 220篇 |
2013年 | 184篇 |
2012年 | 3126篇 |
2011年 | 9387篇 |
2010年 | 8268篇 |
2009年 | 5535篇 |
2008年 | 6763篇 |
2007年 | 7768篇 |
2006年 | 106篇 |
2005年 | 1203篇 |
2004年 | 1124篇 |
2003年 | 1167篇 |
2002年 | 533篇 |
2001年 | 95篇 |
2000年 | 177篇 |
1999年 | 54篇 |
1998年 | 51篇 |
1997年 | 27篇 |
1996年 | 44篇 |
1995年 | 9篇 |
1994年 | 12篇 |
1993年 | 9篇 |
1992年 | 12篇 |
1991年 | 23篇 |
1988年 | 9篇 |
1969年 | 24篇 |
1968年 | 43篇 |
1967年 | 33篇 |
1966年 | 42篇 |
1965年 | 44篇 |
1964年 | 11篇 |
1963年 | 28篇 |
1962年 | 22篇 |
1961年 | 18篇 |
1960年 | 30篇 |
1959年 | 35篇 |
1958年 | 37篇 |
1957年 | 36篇 |
1956年 | 34篇 |
1955年 | 63篇 |
1954年 | 68篇 |
1953年 | 5篇 |
1952年 | 6篇 |
1950年 | 6篇 |
1949年 | 6篇 |
排序方式: 共有10000条查询结果,搜索用时 46 毫秒
1.
Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms. 相似文献
2.
3.
Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before. 相似文献
4.
Ferrite particles coated with biocompatible phases can be used for hyperthermia treatment of cancer. We have synthesized substituted
calcium hexaferrite, which is not stable on its own but is stabilized with small substitution of La. Hexaferrite of chemical
composition (CaO)0.75(La203)0.20(Fe2O3)6 was prepared using citrate gel method. Hydroxyapatite was prepared by precipitating it from aqueous solution of Ca(NO3)2 and (NH4)2HPO4 maintaining pH above 11. Four different methods were used for coating of hydroxyapatite on ferrite particles. SEM with EDX
and X-ray diffraction analysis shows clear evidence of coating of hydroxyapatite on ferrite particles. These coated ferrite
particles exhibited coercive field up to 2 kOe, which could be made useful for hysteresis heating in hyperthermia. Studies
by culturing BHK-21 cells and WBC over the samples show evidence of biocompatibility. SEM micrographs and cell counts give
clear indication of cell growth on the surface of the sample. Finally coated ferrite particle was implanted in Kasaulli mouse
to test its biocompatibility. The magnetic properties and biocompatibility studies show that these hydroxyapatite coated ferrites
could be useful for hyperthermia. 相似文献
5.
Chloride doped polyaniline conducting polymer films have been prepared in a protic acid medium (HCl) by potentiodynamic method
in an electrochemical cell and studied by cyclic voltammetry and FTIR techniques. The FTIR spectra confirmed Cl- ion doping in the polymers. The polymerization rate was found to increase with increasing concentration of aniline monomer.
But the films obtained at high monomer concentration were rough having a nonuniform flaky polyaniline distribution. Results
showed that the polymerization rate did not increase beyond a critical HCl concentration. Cyclic voltammetry suggested that,
the oxidation-reduction current increased with an increase in scan rate and that the undoped polyaniline films were not hygroscopic
whereas chloride doped polyaniline films were found to be highly hygroscopic. 相似文献
6.
7.
The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions. 相似文献
8.
Jan van Eijck 《Formal Aspects of Computing》1994,6(1):766-787
Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition. 相似文献
9.
10.