全文获取类型
收费全文 | 546篇 |
免费 | 44篇 |
国内免费 | 25篇 |
出版年
2024年 | 14篇 |
2023年 | 29篇 |
2022年 | 21篇 |
2021年 | 27篇 |
2020年 | 95篇 |
2019年 | 10篇 |
2018年 | 4篇 |
2017年 | 15篇 |
2016年 | 23篇 |
2015年 | 20篇 |
2014年 | 27篇 |
2013年 | 21篇 |
2012年 | 30篇 |
2011年 | 31篇 |
2010年 | 19篇 |
2009年 | 24篇 |
2008年 | 21篇 |
2007年 | 27篇 |
2006年 | 19篇 |
2005年 | 24篇 |
2004年 | 33篇 |
2003年 | 15篇 |
2002年 | 18篇 |
2001年 | 7篇 |
2000年 | 7篇 |
1999年 | 6篇 |
1998年 | 5篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1995年 | 10篇 |
1994年 | 1篇 |
1993年 | 2篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有615条查询结果,搜索用时 15 毫秒
571.
572.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
573.
近几年来,座落在浙江杭州湾畔的秦山捷报频传,最近,秦山三期重水堆核电站又建成投产了!当你来到这里,会看到一派朝气蓬勃、蒸蒸日上的景象。这里的生机和活力,主要来自于一支非常年轻的人才队伍。 相似文献
574.
企业因经营管理不善,造成严重亏损,不能清理到期债务,就要依法宣告破产。破产企业在经历了一系列必要的法律程序后,其有效资源将脱离于原企业,这一有效资源按照市场法则,经过科学整合将达到忧化配置之目的。由低效率、低效益的资源浪费转变为更有效率、更有效益的作用发挥,确保实现国有资产的保值增值,这也是市场经济忧化配置资源的作用之 相似文献
575.
在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨. 相似文献
576.
今年3月18日,新疆石河子天露节水设备有限责任公司,顺利通过北京中联认证中心ISO9000质量认证,从而取得了通向国际市场的通行许可证。这是天露节水设备有限责任公司实行股份制改革仅8个月取得的成绩。 相似文献
577.
“阿姨,麻烦把您的手机拿出来扫一下天府健康通……”2021年春节前夕,随着外出务工返乡潮的来临,四川省自贡市大安区江姐女子民兵排又忙碌了起来。她们身着迷彩,坚守在辖区疫情防控卡点,为小区进出居民测量体温,并提醒大家戴好口罩,尽量减少不必要的外出和聚集。 相似文献
578.
随着经济社会与互联网技术快速发展,网络借贷悄无声息地融入每位官兵的日常生活,在给官兵带来便利的同时,也诱发了不少问题隐患。习主席指出,基层是部队全部工作和战斗力的基础。面对来势迅猛的网络借贷问题,高质量地抓好防控工作就显得尤为重要。一、基层官兵网络借贷易诱发的问题(一)扰乱官兵训练生活。网络借贷平台利用极具诱导性的宣传方式,使一些警惕性不高的官兵看不透网络借贷看似利率低. 相似文献
580.
为推进海军舰船保修模式改革以促进舰船维修保障一体化发展,当前急需确定一种更匹配装备售后发展主流趋势与海军舰船采购制度的舰船保修策略.对当前海军舰船保修4种模式进行界定和优劣势分析,以确定海军舰船保修策略的调整方向,在界定了海军当前可以实施的32种保修策略的基础上,利用逻辑决断法判断当前海军可以实施的16种质保策略.重点利用基于交互式谈判解决多方群体利益冲突的方法建立了决策模型,以解决舰船延伸保修策略决策谈判中不可避免出现的多方利益冲突的问题,算例结果显示一维非更新预防性简单舰船延伸保修策略在多方群体决策中胜出,借助决策模型可分析出在群体决策中占据优势的要点. 相似文献