CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 搜索资源 - Formal

搜索资源列表

  1. insertcode

    0下载:
  2. PE可执行文件的镶入式程序的编写方法及示例(镶入式后门程序&原程序) 由于Microsoft公司的Windows系统是当前大部分个人电脑所使用的操作系统 主要包括win95,98,me,nt4,2000,xp等,而这些系统所使用的可执行文件的格式基 本上是PE结构的。这里的可执行文件的镶入式程序就是针对PE结构的可执行文件。 这里先简单说一下PE文件框架结构: DOS MZ header DOS stub//在不支持 PE文件格式的操作系统中它将简单显示一个错误提示 PE header//含了许
  3. 所属分类:弱点检测代码

    • 发布日期:2008-10-13
    • 文件大小:79185
    • 提供者:无间刀
  1. 局域网扫描空密码主机和ftp共享资源

    0下载:
  2. 本安全评估系统通过对网络设备进行自动的安全漏洞检测和分析,模拟漏洞分析专家及安全专家的技术,提供基于策略的安全风险管理过程。网络漏洞扫描可执行预定的或事件驱动的网络探测,去识别可能被入侵者利用的网络安全漏洞。网络漏洞扫描提供了多种缺省的扫描策略配置,同时允许用户自己订做符合特定要求的策略。通过确认正确的配置,保证用户不会忽略正式的安全策略,使所有的系统都保持合理的安全性来抵御外部的攻击。-assessment of the security system of network equipment
  3. 所属分类:网络编程

    • 发布日期:2008-10-13
    • 文件大小:165763
    • 提供者:石林
  1. XSL-FO 高级技术

    0下载:
  2. XSL 格式化对象规范是 W3C 的正式建议书,通常称其为 XSL-FO,XSL-FO 定义了许多 XML 标记,这些标记描述了应如何渲染内容。-XSL formatted object model is the W3C's formal proposal, usually called XSL-FO, XSL-FO definition of the many XML markings, these markers should describe the content of exag
  3. 所属分类:xml/soap/webservice

    • 发布日期:2008-10-13
    • 文件大小:728588
    • 提供者:陈芯
  1. 《图象分割》

    0下载:
  2. 有很多朋友在找章毓晋的《图像分割》一书电子版。 在这儿贡献给所有搜寻它的朋友们 是djvu格式的,下载一个插件就可以了-many friends want to find the ebook <partition the graphics> here i share it with you,it s formal is djvu, you should download a file to use it
  3. 所属分类:图形图像处理(光照,映射..)

    • 发布日期:2008-10-13
    • 文件大小:3870098
    • 提供者:李昊
  1. ezdicom

    1下载:
  2. 一个很好地图像显示程序,可以读取各种格式的图像,如DICOM,PNG,JPEG,BMP以及raw格式的图像-a good program for display map,could load different kinds formal of graphics ,such as:dicom,png,jpeg,bmp and raw
  3. 所属分类:图形图像处理(光照,映射..)

    • 发布日期:2008-10-13
    • 文件大小:1506745
    • 提供者:白晓明
  1. 动态生成db

    0下载:
  2. 用来快速查询数据,简单实用。并可修改数据。在编写非正式系统时非常有用,因为通常开发大型系统一般是开发本地数据库程序的,然后再转到正式的网络数据库中. -used for rapid access to data, simple and practical. Data can be amended. In the preparation of the informal system is very useful, because usually the general development of
  3. 所属分类:数据库编程

    • 发布日期:2008-10-13
    • 文件大小:347758
    • 提供者:毛瑞华
  1. 网络评估系统

    0下载:
  2. 该项目通过对网络设备进行自动的安全漏洞检测和分析,模拟漏洞分析专家及安全专家的技 术,提供基于策略的安全风险管理过程。网络漏洞扫描可执行预定的或事件驱动的网络探测, 去识别可能被入侵者利用的网络安全漏洞。网络漏洞扫描提供了多种缺省的扫描策略配置,同 时允许用户自己订做符合特定要求的策略。通过确认正确的配置,保证用户不会忽略正式的安 全策略,使所有的系统都保持合理的安全性来抵御外部的攻击。 -the project through the network equipment for
  3. 所属分类:网络编程

    • 发布日期:2008-10-13
    • 文件大小:1170077
    • 提供者:大大
  1. 软件成熟模型CMM

    0下载:
  2. CMM是软件过程能力成熟度模型(Capacity Maturity Model)的简称,是卡内基-梅隆大学软件工程研究院为了满足美国联邦政府评估软件供应商能力的要求,于1986年开始研究的模型,并于1991年正式推出了CMM 1.0 版。CMM自问世以来备受关注,在一些发达国家和地区得到了广泛应用,成为衡量软件公司软件开发管理水平的重要参考因素和软件过程改进事实上的工业标准。据了解,美国、印度、日本等国家已有数十家公司通过了CMM不同等级的认证。 -CMM software process
  3. 所属分类:软件工程

    • 发布日期:2008-10-13
    • 文件大小:46312
    • 提供者:陶立欣
  1. _SerialNumber

    0下载:
  2. 根据硬件序列号生成注册号,生成的注册码可以按字母颠倒、按顺序互换、数字交换、序列号分离和变形,最终形成正式的注册码,这样尽量保证了注册好的唯一,没有重复,并且有安全,可以放心使用.-generation hardware serial number registered, the license can be generated by the letters upside down, according to the order reversed, and digital switching,
  3. 所属分类:并口编程

    • 发布日期:2008-10-13
    • 文件大小:11424
    • 提供者:张自
  1. UML参考手册--基本概念

    1下载:
  2. UML中的经典之作, 不是编程语言 工具可以提供 至各种编程语言的代码生成 以及可以从现有 的程序逆向构筑模型 不是用于定理证明的高度正式的语言 实际上有很多正式的语 言 但它们不易理解或不适用于多种用途 是通用性的建模语言 对于特定的领域 如 设计 .! 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 是离散的建模语言 它不打算对如工程和物理的连续系统建模 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言 -UML classic works
  3. 所属分类:开发工具

    • 发布日期:2008-10-13
    • 文件大小:2551457
    • 提供者:陈成
  1. BuildConcept.rar

    0下载:
  2. 形式概念分析中,构建概念格源代码,已打包成DLL可供其它代码调用。,Formal concept analysis, concept lattice construction of the source code has been packaged into a DLL call for other code.
  3. 所属分类:Windows Kernel

    • 发布日期:2017-03-30
    • 文件大小:14020
    • 提供者:pqq
  1. zidongji.doc

    0下载:
  2. 我们形式语言与自动机的课件,非常好的!是英文书的节选。-Formal Languages and Automata courseware, oh well!
  3. 所属分类:Document

    • 发布日期:2017-04-09
    • 文件大小:2568379
    • 提供者:athenas
  1. FormalFormalRequirementsforVirtualizableThirdGener

    0下载:
  2. 这是Gerald J. Popek在1974年发表的虚拟化奠基性论文Formal Requirements for Virtualizable Third Generation Architectures-Gerald J. Popek Formal Requirements for Virtualizable Third Generation Architectures ACM
  3. 所属分类:Development Research

    • 发布日期:2017-03-23
    • 文件大小:969670
    • 提供者:Glenn
  1. Chapter2_Solution_program

    0下载:
  2. An Introduction to Formal Languages and Automata 3Ed Peter Linz - SOLUTIONS-An Introduction to Formal Languages and Automata 3Ed Peter Linz- SOLUTIONS
  3. 所属分类:File Formats

    • 发布日期:2017-04-06
    • 文件大小:2005
    • 提供者:蕭仲甫
  1. MiningSourceCode

    0下载:
  2. Code duplication exists for many reasons, although it is known to be a bad practice. It may save costs on the development phase, but it surely has a higher cost of maintenance. What can we do to detect and eliminate those problems? This documen
  3. 所属分类:software engineering

    • 发布日期:2017-04-09
    • 文件大小:1324988
    • 提供者:nvdquang
  1. Siemens-formal-training-materials

    0下载:
  2. 西门子正规培训资料,对常见的调试问题,plc硬件安装及维护,和相关知识的详细总结。-Siemens formal training materials, common debugging problems, plc hardware installation and maintenance, and knowledge of the detailed summary.
  3. 所属分类:Project Manage

    • 发布日期:2017-05-19
    • 文件大小:5847467
    • 提供者:黄璐璐
  1. Formal-JohnCMartin4th-Full

    0下载:
  2. This is E-Book About Formal Language by John C. Martin
  3. 所属分类:Other systems

    • 发布日期:2017-05-13
    • 文件大小:3268976
    • 提供者:Kendo Manasme
  1. Formal-conversion-to-DFA

    0下载:
  2. 正规式转换为DFA 详细的C++代码 并且有分析-Formal conversion to DFA
  3. 所属分类:Other systems

    • 发布日期:2017-11-10
    • 文件大小:523098
    • 提供者:李殷
  1. Formal-analaysis-and-verification-of-an-OFDM-mode

    0下载:
  2. Formal analaysis and verification of an OFDM modem design
  3. 所属分类:Communication

    • 发布日期:2017-11-02
    • 文件大小:648341
    • 提供者:mosty
  1. Formal-Verication-of--the-PCI-Local-Bus

    0下载:
  2. Formal Verication of the PCI Local Bus Using Verilog-Formal Verication of the PCI Local Bus Using Verilog
  3. 所属分类:VHDL-FPGA-Verilog

    • 发布日期:2017-04-24
    • 文件大小:14659
    • 提供者:webking
« 12 3 4 5 6 7 8 9 10 ... 23 »
搜珍网 www.dssz.com