您好,欢迎光临本网站![请登录][注册会员]  

信息化下载列表 第10544页

« 1 2 ... .39 .40 .41 .42 .43 10544.45 .46 .47 .48 .49 ... 10726 »

[电子商务] FusionMapsV3地图 之二

说明: 全部的FusionMapsV3地图,外加示例教程,及XML
<qinac> 上传 | 大小:14mb

[IT管理] 操作系统内核程序函数执行上下文的自动检验

说明: 函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF 相比传统技术的优势有:直接检查源代码无须编写形式化的验证规约较低的时空运行开销良好的可扩展性等等.该技术已应用在Linux 内核.4.20 的网络设备驱动程序检查中.应用表明,PRPF 能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux 内核的23
<iwsdiwsd> 上传 | 大小:179kb

[电子商务] FusionMapsV3地图 之一

说明: 全部的FusionMapsV3地图,外加示例教程,及XML
<qinac> 上传 | 大小:14mb

[IT管理] WindowsAPI

说明: WindowsAPI大全,本资源仅供参考
<rcy860906> 上传 | 大小:662kb

[企业管理] vTiger 5.2.1 简体中文语言包 NB 20110329

说明: http://wiki.hawebs.net/index.php?title=VTiger_5.2.1_%E7%AE%80%E4%BD%93%E4%B8%AD%E6%96%87%E8%AF%AD%E8%A8%80%E5%8C%85_NB_20110329 按照缺陷管理中的内容对代码进行修正。 已经修改为建议内容: 'LBL_LIST_NAME' => '称呼', 'LBL_LIST_LAST_NAME' => '姓名', 更多的修改错误,请参考下面的连接。 修正错误: http:/
<huyuchengus> 上传 | 大小:152kb

[管理软件] 软件策划书-相应的策划书

说明: 主要说用于软件策划书~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<xiaomisese> 上传 | 大小:32kb

[其它] 批量PING.rar

说明: 批量PING.rar批量PING.rar批量PING.rar
<rainoangel> 上传 | 大小:41kb

[其它] 文件批量改名.zip

说明: 文件批量改名.zip文件批量改名.zip文件批量改名.zip
<rainoangel> 上传 | 大小:771kb

[电子商务] BPMN2.0正式规范

说明: bpmn2.0规范的最终正式版,涵盖了状态机、协作流程、业务流程等等
<zhenghaoquan> 上传 | 大小:6mb

[其它] c#中导出到word

说明: c#界面中的数据或者任何都可以可方便地导出到word,过程明了清晰!
<qq542831317> 上传 | 大小:219kb

[其它] 丰富美观的公司PPT作图元素

说明: 丰富美观的公司PPT作图元素 大家各取所需 我用着感觉不错 做出的PPT效果很美观
<sparkSui> 上传 | 大小:8mb

[管理软件] 数学建模及其相应的程序代码,simulink,matlab,

说明: 建立数学模型的方法和步骤并没有一定的模式,但一个理想的模型应能反映系统的全部重要特征: 模型的可靠性和模型的使用性 建模的一般方法: ◆ 机理分析 ◆ 测试分析方法 机理分析:根据对现实对象特性的认识,分析其因果关系,找出反映内部机理的规律,所建立的模型常有明确的物理或现实意义. 测试分析方法:将研究对象视为一个“黑箱”系统,内部机理无法直接寻求,通过测量系统的输入输出数据,并以此为基础运用统计分析方法,按照事先确定的准则在某一类模型中选出一个数据拟合得最好的模型. 测试分析方法也叫做系统辩识
<qing123546kong> 上传 | 大小:8mb
« 1 2 ... .39 .40 .41 .42 .43 10544.45 .46 .47 .48 .49 ... 10726 »