点数信息
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
资源分类
搜索资源列表
oracle知识库CHM文档
ORACLE 2000年问题白皮书 1. 导言 解决2000年兼容性问题,需要在日期的数据类型处理方面满足下列五个主要因素: 1. 正确处理2000年1月1日以前、当天及之后的日期信息、接收日期输入、提供日期输出、进行日期或日期子项的计算。 2. 随着新世纪的到来,采用正确的配置,以保证正常执行2000年1月1日以前、当天及之后的文件。 3. 在适当之处,以公开确定的方式解决世纪取值的含糊问题,以作为对两位数字日期输入的响应。 4. 以明确指出世纪的方式进行日期信息的存储和输出。 5. 根据q
所属分类:
Oracle
发布日期:2010-10-13
文件大小:1mb
提供者:
lovesmileman
计算机二级公共基础知识
1. 算法的基本概念 利用计算机算法为计算机解题的过程实际上是在实施某种算法。 (1)算法的基本特征 算法一般具有4个基本特征:可行性、确定性、有穷性、拥有足够的情报。 (2)算法的基本运算和操作 算法的基本运算和操作包括:算术运算、逻辑运算、关系运算、数据传输。 (3)算法的3种基本控制结构 算法的3种基本控制结构是:顺序结构、选择结构、循环结构。 (4)算法基本设计方法 算法基本设计方法:列举法、归纳法、递推、递归、减半递推技术、回溯法。 (5)指令系统 所谓指令系统指的是一个计算机系统能
所属分类:
数据库
发布日期:2011-04-30
文件大小:81kb
提供者:
zmxnlp
ThinkPHP 3.1.2 - PHP的开发框架MVC - 含Core,Extend,Example
+------------------------------------------------------------------- | 感谢您使用ThinkPHP开发框架 ^_^ +------------------------------------------------------------------- | 大道至简 开发由我 WE CAN DO IT,JUST THINK +--------------------------------------------------
所属分类:
PHP
发布日期:2012-11-26
文件大小:3mb
提供者:
wxqee
ThinkPHP框架律师事务系统源代码
[ 简介 ] ThinkPHP 是一个免费开源的,快速、简单的面向对象的 轻量级PHP开发框架, 遵循Apache2开源协议发布,是为了敏捷WEB应用开发和简化企业应用开发而 诞生的。ThinkPHP从诞生以来一直秉承简洁实用的设计原则,在保持出色的性 能和至简的代码的同时,也注重易用性。并且拥有众多的原创功能和特性,在 社区团队的积极参与下,在易用性、扩展性和性能方面不断优化和改进,众多 的典型案例确保可以稳定用于商业以及门户级的开发。 经过6年的不断积累和重构,3.*版本在框架底层的定制和
所属分类:
PHP
发布日期:2015-12-23
文件大小:18mb
提供者:
u013703963
Toad 使用快速入门
Toad 使用快速入门 目录 一.Toad功能综述 二.系统需求 三.安装指南 四.快速入门 1. Schema browser的用法简介 2. SQL Editor的使用介绍 3. Procedure Editor的用法介绍 4. 如何进行PLSQL的debug 5. 如何使用SQLab Xpert优化SQL 6. 如何使用SQL Modeler来编写查询 7. 如何使用Toad的DBA方面的功能 一、 Toad功能综述 在Oracle应用程序的开发过程中,访问数据库对象和编写SQL程序是一
所属分类:
其它
发布日期:2008-11-27
文件大小:58kb
提供者:
zoushize
使用可满足性减少基于模型检查的测试生成
使用可满足性减少基于模型检查的测试生成
所属分类:
其它
发布日期:2021-03-10
文件大小:288kb
提供者:
weixin_38649838