全文获取类型
收费全文 | 2604篇 |
免费 | 1193篇 |
国内免费 | 193篇 |
专业分类
航空 | 2629篇 |
航天技术 | 394篇 |
综合类 | 264篇 |
航天 | 703篇 |
出版年
2024年 | 22篇 |
2023年 | 73篇 |
2022年 | 94篇 |
2021年 | 76篇 |
2020年 | 104篇 |
2019年 | 127篇 |
2018年 | 115篇 |
2017年 | 105篇 |
2016年 | 94篇 |
2015年 | 92篇 |
2014年 | 130篇 |
2013年 | 101篇 |
2012年 | 116篇 |
2011年 | 122篇 |
2010年 | 113篇 |
2009年 | 122篇 |
2008年 | 205篇 |
2007年 | 247篇 |
2006年 | 244篇 |
2005年 | 158篇 |
2004年 | 166篇 |
2003年 | 165篇 |
2002年 | 137篇 |
2001年 | 139篇 |
2000年 | 152篇 |
1999年 | 66篇 |
1998年 | 66篇 |
1997年 | 63篇 |
1996年 | 68篇 |
1995年 | 64篇 |
1994年 | 56篇 |
1993年 | 57篇 |
1992年 | 70篇 |
1991年 | 54篇 |
1990年 | 65篇 |
1989年 | 43篇 |
1988年 | 13篇 |
1987年 | 19篇 |
1986年 | 5篇 |
1985年 | 9篇 |
1984年 | 13篇 |
1983年 | 9篇 |
1982年 | 9篇 |
1981年 | 5篇 |
1980年 | 8篇 |
1979年 | 5篇 |
1978年 | 1篇 |
1975年 | 1篇 |
1964年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有3990条查询结果,搜索用时 15 毫秒
41.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
42.
戴碧露 《桂林航天工业高等专科学校学报》2002,7(1):56-59
该文从方法论的角度阐述了质的研究方法的概念,并结合高校辅导员的工作实际,分析了高校辅导员作质的研究的意义、原则、有利条件和不利因素,并提出高校辅导员在作质的研究工作中克服不利因素采取的几点对策。 相似文献
43.
44.
2004年是自1961年以来世界航天运载业最为不景气的一年。全世界仅进行54次航天发射,其中有15次商业性发射,占总发射次数的28%。2004年同时又是中国航天发射次数最多的一年,有8次发射,成功地运载了10个有效载荷。美国进行6次商业性发射,俄罗斯5次,海上发射公司3次,阿里安航天公司1次。美国占40%的商业发射市场份额,俄罗斯占33%,海射公司占20%,阿里安航天公司占7%。我国、日本、印度和以色列在2004年都没有进行商业发射。 相似文献
45.
46.
47.
48.
本文系统地总结了我们在旋转固体火箭发动机内弹道理论与实验研究方面的某些成果,其中包括含铝丁羟推进剂的试片实验和装药发动机实验以及燃速敏感性预示和内弹道预示,得出了一些有益的结论,可供发动机设计及推进剂配方设计参考。 相似文献
49.
近几年来,世界航天保险市场动荡不安,特别是美国2001年“9.11”事件带动了整个保险市场保险费率的急剧上扬。由于发射失败或在轨卫星出现故障导致保险索赔数量的增加,航天保险的保险费率更是创下了历史新高,1999—2002年骤增129%。 相似文献
50.
近代以来,湖南人才辈出,形成了以曾国藩、谭嗣同、黄兴、毛泽东等为代表的前后相承的人才群体。文章从湖湘文化的影响、湖南人独特的个性特征、便利的地理条件、近代中国社会历史条件和阶级斗争状况等方面阐述湖南人才辈出的形成。 相似文献