全文获取类型
收费全文 | 132篇 |
免费 | 6篇 |
专业分类
公路运输 | 33篇 |
综合类 | 42篇 |
水路运输 | 21篇 |
铁路运输 | 40篇 |
综合运输 | 2篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 3篇 |
2021年 | 3篇 |
2020年 | 1篇 |
2019年 | 2篇 |
2016年 | 2篇 |
2015年 | 5篇 |
2014年 | 6篇 |
2013年 | 4篇 |
2012年 | 14篇 |
2011年 | 9篇 |
2010年 | 12篇 |
2009年 | 21篇 |
2008年 | 7篇 |
2007年 | 15篇 |
2006年 | 4篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2001年 | 1篇 |
2000年 | 2篇 |
1999年 | 2篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
排序方式: 共有138条查询结果,搜索用时 15 毫秒
31.
32.
重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明. 相似文献
33.
李夏 《铁路通信信号工程技术》2013,(Z1):189-191
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。 相似文献
34.
35.
36.
37.
38.
40.
本月14日选委会才开始接受候选人的提名,可是两位正式公布参选的参选人已经四出拉票,他们的政网及言论也引起了社会广泛的关注,民意调查自然也纷纷出台。根据最近的数据,无论选委意向还是民调结果均显示曾荫权的支持度领先梁家杰颇多,在这种形势下,突然发生教统局被指向教院施压事件.令一直和谐畅顺的选举活动横添枝节,港府必须审慎处理,以免影响选举的公平,公正。 相似文献