资源列表
[行业发展研究] clarke_model_cheching
说明:本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the<Turing> 在 2025-01-12 上传 | 大小:898kb | 下载:0
[行业发展研究] ocean_science
说明:海洋科学导论,介绍海洋科学的相关知识,对于海洋科学的初学者进行有益的指导-Introduction to marine science, marine science-related knowledge, for the beginner marine science useful guidance<gg> 在 2025-01-12 上传 | 大小:898kb | 下载:0
[行业发展研究] FME_suite_white_paper
说明:FME Suite的技术白皮书,FME Suite 是一套完整的访问空间数据的解决方案,可以用于读、写、存储和转换各种空间数据。它能实现各类GIS及CAD格式的数据相互转换。-FME Suite Technical White Paper, FME Suite is a complete solution for access to spatial data can be used to read, write, store and c<huiyu> 在 2025-01-12 上传 | 大小:900kb | 下载:1
[行业发展研究] dami
说明:Tracking News Stories Across Different Sources using data mining techniques.<realahmed8> 在 2025-01-12 上传 | 大小:900kb | 下载:0
[行业发展研究] How-to-Program-in-CPP
说明:“MFC的前言”曾经辉煌一时的编程语言工具开发软件商Borland公司在今年4月份更名为Inprise公司,对于广大忠实的Borland追随者来说,这可不是一个好消息。在Dos编程时代Turbo Pascal,Borland C++是最好的开发工具,Borland公司也曾名列美国五大软件公司之列,可到了Windows时代,微软凭借操作系统的优势终于占了统治地位,Borland的大批人员也跳槽加入了微软(Borland Delphi的主设<liyang> 在 2025-01-12 上传 | 大小:901kb | 下载:0
[行业发展研究] sensor-networks
说明:对偶密钥技术的采用使无线传感器网络通信的安全性得到保障。对偶密钥中的动态密钥路径的应用又进一 步提高无线传感器网络通信的可靠性。利用层次超立方体模刑中节点编码的特性及其高容错性,提出了基于局 部弱连通性概念的簇内动态密钥路径和基于位置信息的簇间动态密钥路径的两类算法。-Security schemes of pair wise key establishment ensure communication security in wi<张伟> 在 2025-01-12 上传 | 大小:899kb | 下载:0
[行业发展研究] industry_review_2011
说明:Fuel Cells Today, Industry review 20-Fuel Cells Today, Industry review 2011<Amir> 在 2025-01-12 上传 | 大小:898kb | 下载:0
[行业发展研究] A-fusion-approach-to-unconstrained-iris-recogniti
说明:A fusion approach to unconstrained iris recognition<larbibios> 在 2025-01-12 上传 | 大小:901kb | 下载:0
[行业发展研究] NCRTET2013-Full-papers-part-2
说明:Collection of conference papers for R & D part 2<ganapathi> 在 2025-01-12 上传 | 大小:901kb | 下载:0
[行业发展研究] Short-Channel-Effect-in-CMOS
说明:Document about short channel effect in CMOS<Hien Vinh> 在 2025-01-12 上传 | 大小:898kb | 下载:0
[行业发展研究] Biometrics
说明:Topics in biometric human-machine interaction security<diedon> 在 2025-01-12 上传 | 大小:900kb | 下载:0