收费全文 | 5258篇 |
免费 | 103篇 |
国内免费 | 2篇 |
电工技术 | 56篇 |
综合类 | 2篇 |
化学工业 | 757篇 |
金属工艺 | 118篇 |
机械仪表 | 67篇 |
建筑科学 | 171篇 |
矿业工程 | 29篇 |
能源动力 | 56篇 |
轻工业 | 337篇 |
水利工程 | 22篇 |
石油天然气 | 8篇 |
无线电 | 297篇 |
一般工业技术 | 521篇 |
冶金工业 | 2527篇 |
原子能技术 | 40篇 |
自动化技术 | 355篇 |
2022年 | 32篇 |
2021年 | 45篇 |
2020年 | 50篇 |
2019年 | 45篇 |
2018年 | 62篇 |
2017年 | 43篇 |
2016年 | 69篇 |
2015年 | 58篇 |
2014年 | 79篇 |
2013年 | 87篇 |
2012年 | 115篇 |
2011年 | 137篇 |
2010年 | 114篇 |
2009年 | 110篇 |
2008年 | 117篇 |
2007年 | 112篇 |
2006年 | 102篇 |
2005年 | 128篇 |
2004年 | 79篇 |
2003年 | 80篇 |
2002年 | 82篇 |
2001年 | 88篇 |
2000年 | 82篇 |
1999年 | 127篇 |
1998年 | 823篇 |
1997年 | 441篇 |
1996年 | 301篇 |
1995年 | 205篇 |
1994年 | 162篇 |
1993年 | 201篇 |
1992年 | 70篇 |
1991年 | 74篇 |
1990年 | 67篇 |
1989年 | 62篇 |
1988年 | 53篇 |
1987年 | 44篇 |
1986年 | 48篇 |
1985年 | 53篇 |
1984年 | 31篇 |
1983年 | 33篇 |
1982年 | 47篇 |
1981年 | 45篇 |
1980年 | 38篇 |
1979年 | 50篇 |
1978年 | 21篇 |
1977年 | 84篇 |
1976年 | 142篇 |
1975年 | 26篇 |
1974年 | 18篇 |
1972年 | 18篇 |
We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.
相似文献