点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 程序验证
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
验证码程序验证码程序
验证码程序验证码程序验证码程序验证码程序
所属分类:
其它
发布日期:2009-12-01
文件大小:1024
提供者:
tianwang670
C# 制作程序验证码
C# 制作程序验证码,这个可以用在登入界面上。
所属分类:
C#
发布日期:2011-06-30
文件大小:39936
提供者:
woshiayi1
JAVA经典问题自己写程序验证
JAVA经典问题自己写程序验证 JAVA经典问题自己写程序验证 JAVA经典问题自己写程序验证
所属分类:
Java
发布日期:2011-08-31
文件大小:60416
提供者:
zhouli253
WinMD5程序监测
WinMD51.1 程序验证 病毒感染监测 双击打开,将程序拖进去就能显示出改程序的唯一编码。如果被必读感染或损坏,这个唯一编码就会被改变。
所属分类:
C++
发布日期:2012-12-31
文件大小:83968
提供者:
seeklm
歌德巴赫猜想的计算机程序验证,并用TEXT文件输出
歌德巴赫猜想的计算机程序验证,可以很快捷地发现几乎算到的自然数都满足哥德巴赫猜想。
所属分类:
C
发布日期:2013-01-13
文件大小:2048
提供者:
yanglian168168
iFIX如何使用应用程序验证器验证项目是否被修改
iFIX如何使用应用程序验证器验证项目是否被别人修改过。
所属分类:
专业指导
发布日期:2015-09-10
文件大小:192512
提供者:
liang82109
模型检测与程序验证
模型检测与程序验证
所属分类:
系统安全
发布日期:2016-10-12
文件大小:817152
提供者:
a469142780
小应变大位移大转角梁单元刚度矩阵推导及程序验证
小应变大位移大转角梁单元刚度矩阵推导及程序验证,谭美超,,本文推导出了小应变大位移大转角梁单元刚度矩阵,突破了单元小变形的限制,使其能适应于任意大位移和小于360o的转动,并验证了其�
所属分类:
其它
发布日期:2020-01-19
文件大小:359424
提供者:
weixin_38693657
静态分析和程序验证技术提高下的软件安全漏洞防护
网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。
所属分类:
其它
发布日期:2020-07-05
文件大小:139264
提供者:
weixin_38671048
安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法
主要为大家详细介绍了安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法,感兴趣的小伙伴们可以参考一下
所属分类:
其它
发布日期:2020-09-10
文件大小:287744
提供者:
weixin_38719702
安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法
安装oracle11g [INS-30131] 执行安装程序验证所需的初始设置失败。 解决方法 第一步: 控制面板>所有控制面板项>管理工具>服务>SERVER 启动 TCP/IP 启动 第二步: 1.点击 开始->运行 ,输入regedit ,然后回车键进入注册编辑器 2.找到并点击HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\services\LanmanServer\Parameters 3.如果AutoSha
所属分类:
其它
发布日期:2020-12-15
文件大小:291840
提供者:
weixin_38582719
使用验证程序验证Petri网中基于语言的不透明度
使用验证程序验证Petri网中基于语言的不透明度
所属分类:
其它
发布日期:2021-03-23
文件大小:391168
提供者:
weixin_38712279
基于CEGAR的Web应用程序验证方法
基于CEGAR的Web应用程序验证方法
所属分类:
其它
发布日期:2021-03-08
文件大小:1048576
提供者:
weixin_38661008
基于抽象解释理论的程序验证技术
抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向.
所属分类:
其它
发布日期:2021-02-23
文件大小:276480
提供者:
weixin_38599518
Byte-Palindromo:程序验证了palabras palindromas-源码
Byte-Palindromo:程序验证了palabras palindromas
所属分类:
其它
发布日期:2021-02-22
文件大小:17408
提供者:
weixin_42139429
MSVL语言的公理系统的程序验证
MSVL语言的公理系统的程序验证
所属分类:
其它
发布日期:2021-02-20
文件大小:200704
提供者:
weixin_38696090
PV_Assignments:程序验证分配-源码
PV_Assignments:程序验证分配
所属分类:
其它
发布日期:2021-02-18
文件大小:7168
提供者:
weixin_42099302
验证密码强度Javascript:密码验证程序验证我们在各种注册网站中看到的密码强度-源码
验证密码强度Javascr ipt
所属分类:
其它
发布日期:2021-02-14
文件大小:2048
提供者:
weixin_42108948
truemail::rocket:可配置的框架不可知的普通Ruby:incoming_envelope:电子邮件验证程序验证程序。 通过Regex,DNS和SMTP验证电子邮件。 确保电子邮件地址有效且存在-源码
可配置的框架不可知的普通Ruby电子邮件验证程序。 通过Regex,DNS和SMTP验证电子邮件。 确保电子邮件地址有效并且存在。 实际和可维护的文档 :books: 因为开发商住。 目录 概要 电子邮件验证是一件棘手的事情。 验证电子邮件地址的方法有多种,并且所有机制都必须符合最佳做法并提供适当的验证。 Truemail gem可帮助您通过正则表达式模式,DNS记录的存在以及当前电子邮件服务器上电子邮件帐户的真实存在来验证电子邮件。 语法检查:通过正则表达式模式检查电子邮件地址。 邮件服
所属分类:
其它
发布日期:2021-02-05
文件大小:86016
提供者:
weixin_42139252
vPAV:viadee流程应用程序验证器-源码
viadee流程应用验证器(vPAV) 该工具检查Camunda项目的一致性,并发现流程驱动的应用程序中的错误。 称为JUnit测试,它会发现esp。 类路径中的给定BPMN模型与基础Java项目的源代码不一致,例如对不存在的Java类或不存在的Spring bean的委托引用。 一致性检查的列表可以在找到。 要开始使用Viadee Process Application Validator,请阅读和。 我们分叉了以演示vPAV的轻松集成。 我们建议将一致性检查集成到您的CI版本中-您不
所属分类:
其它
发布日期:2021-01-30
文件大小:3145728
提供者:
weixin_42168230
«
1
2
3
4
5
6
7
8
9
10
...
50
»