acl2

应用common lisp计算逻辑
  1. 首页
  2. IT类
  3. 计算机术语
  4. acl2
  1. 首页
  2. 百科类
  3. 百科
  4. acl2
热度:317

简介

acl2(a computational logic for applicative common lisp,应用common lisp计算逻辑)是由其自身的程序语言、一套可扩展的一阶逻辑理论,和一个机械化的定理证明工具所组成的软件系统。

中文名 acl2
别名 应用common lisp计算逻辑
原始名称 ACL2
名称 acl2
精选别名 应用common lisp计算逻辑
绰号 应用common lisp计算逻辑
Extra
  • acl2
  • bsd授权的开源软件
    • 外文名

    a computational logic for applicative common lisp

    精选上位词
  • 术语
  • 计算机术语
    • 英文名

    a computational logic for applicative common lisp

    相关实体
    转换精度
    灯联网
    集成芯片
    jna
    bvt
    purebasic
    math.h
    高级数据库
    异构
    因特网经济
    基本块
    isa100.11a
    电话会议系统
    dll木马
    cmstop
    客户忠诚
    云整合
    地理信息技术
    奈奎斯特抽样定理
    网页特效
    form
    运动图像专家组格式
    政治宣传
    网络采购
    渗流理论
    tomcat
    电影广告
    沙盒效应
    concrete
    第三方应用
    计权
    mdop
    光盘映像文件
    汽车电控
    连接数
    存取方法
    脚本小子
    网络文化经营许可证
    cer
    互联网大会
    网络读者
    ip监控
    视频处理
    模拟通信技术
    eventlog服务
    文件名后缀
    车载功放
    静态库
    磁盘格式
    dnf
    drm
    倒排索引
    静态重定位
    英文域名
    xmlhttp
    背光补偿
    浙江省重大科技专项
    100个经典管理定律
    婴儿床
    数值表达式
    21世纪广告
    柔性电子
    netware网络操作系统
    线程数
    mac地址表
    外部样式表
    单核处理器
    认知计算
    印刷时代
    共享文档
    逆波兰式
    别克gl8
    航天技术
    狂雷视频平台
    数字控制器
    餐饮服务
    eor
    数字音乐版权
    电气信息工程
    静态内存
    双头显示
    刻录盘
    细胞信号分子
    node.js
    ocx
    初始化
    oqc
    广告战略策划
    4d打印技术
    网管
    开源协议
    nicebasic
    存取服务器
    无线通讯
    passwd
    tls
    熔丝位
    .cn
    eps格式
    值类型
    transaction
    cdn技术
    ripv2
    数字录音
    位图索引
    idr_mainframe
    跨语言信息检索
    google沙盒
    端口隔离
    游戏广告
    应用接入
    接触传播
    纳米结构
    emacs
    pf使用率
    客户忠诚度
    仿生学
    软件研发工程师
    信息技术产品协议
    action script
    低电平有效
    监测技术
    网络负载均衡
    子弹论
    3d打印
    电子文献
    sql触发器
    array函数
    手机流量
    dtm
    ht技术
    并行处理技术
    银行零售业务
    字幕放送
    aop
    指纹识别技术
    栈溢出
    特种计算机
    cto
    宣传型公共关系
    帕斯卡语言
    instr
    生活性服务业
    非经营性网站
    量子存储技术
    复信号
    高速以太网
    互动传播
    modbus协议
    媒体营销
    差分信号
    走进中关村
    自适应调制
    电平转换器
    虚假宣传行为
    ip机顶盒
    晶体管计算机
    流媒体采集卡
    同城信息
    广告战略目标
    晒客
    手机卫星定位
    红外线发射管
    turboboost睿频加速技术
    网上调查
    类似商品和服务区分表
    传媒伦理
    顶岗实习管理系统
    恒定光圈
    grizzly
    网络贷款
    软文推广
    虚拟内存盘
    viterbi译码
    p-code
    嵌入对象
    文档共享
    移动ip技术
    纳米涂层
    界面设计
    在线电视
    顾客抱怨
    idvd
    wgetdcwd
    缩略图
    集散控制技术
    nfs协议
    coldfusion
    tsl
    先进格式化
    单频接收机
    纺织信息化
    实物展示台
    物流服务水平
    秘书服务
    映像劫持
    信息及通信技术
    强名称
    双频接收机
    媒介形态
    商务舱
    中国公用分组交换数据网
    智能显示调节仪
    信息爆炸
    setconsoleoutputcp
    idl
    客户分析
    参考线
    非聚簇索引
    竞争冒险
    条码系统
    异步输出
    差异数据库备份
    802.11x
    私有化
    网络延迟
    伪导频
    算命占卜
    延迟着色
    信号完整性
    战略合作协议
    量子加密
    信号切换
    高清视频转换
    abandon
    线性表
    o语言
    频带利用率
    cuda架构
    链路负载均衡
    空中下载
    虚拟现实体验
    信息技术协议
    媒介组合策略
    使能端
    云技术
    以太网帧格式
    分布式进程通信
    pdf文档
    nwc
    整周模糊度
    config.sys
    flex
    事务
    卷积神经网络
    pom
    解码功放
    存储阵列
    味多美网址导航
    oauth
    软件过程模型
    网络营销方案
    域名绑定
    脏纸编码
    世界现代史
    客户生命周期
    java.sql
    信息存储技术
    嵌入式计算机
    cdpd
    非平衡信号
    采样时间
    莲花湖畔
    指令缓存
    网络优化
    多媒体电教系统
    高清电影
    嵌入式产品
    绳床
    电力载波
    bgp机房
    线段树
    人际传播
    文件打包
    执行档
    电子发票
    安全存储
    数据绑定
    脚本编写
    财报
    pch
    云安全技术
    隐身武器
    信息采集技术
    远程培训
    全息存储
    语言信号处理
    css2.0
    静态编译
    温湿度传感器
    铜镀金十位盘式手摇计算机
    实体关系图
    状态测试
    证据推理
    主控文档
    好新闻评选活动
    分子计算机
    视频光盘
    蓝水超级计算机
    宿主程序
    网格服务
    nas网络存储
    xhtml
    广告推广
    资源信息系统
    引用调用
    div css
    广告气球
    二叉排序树
    量化位数
    广告信息决策
    拉曼数据库
    java扩展
    声音格式
    视觉媒体
    服务贸易统计
    企业认证
    音频解码器
    量子计算
    生存期
    钛媒体
    cpu参数
    实时计算机
    rgss
    云社交
    ieee 802.3
    术语数据库
    垂直同步
    115网盘
    opengl
    还原卡
    近场支付
    天河一号超级计算机
    输出者
    共发射极放大电路
    公关广告
    抗锯齿
    空间信息技术
    广告运作
    信息技术外包
    interop
    接地技术
    批处理技术
    变焦环
    串口通讯
    上网高峰期
    信息安全等级保护
    麦兜定律
    4g技术
    宽带测速
    捆绑
    动态地址
    远程线程注入
    flexray总线
    数据保护
    数据依赖
    整合
    闭环增益
    热靴
    java ee
    deflate
    扫描速度
    录音艺术
    srgb
    复制拓扑
    透明计算
    退休制度
    通用域名
    自动化控制
    电子身份证
    nslog
    网约车
    a-ims
    私人导游
    undelete
    第三方农业技术
    cpu模拟器
    网际网络
    双机互联
    无纺布购物袋
    css3
    非言语行为
    三级域名
    流量工程数据库
    网站pr值
    智能视频
    线路放大器
    crnet
    dm广告
    mpeg2编码
    身份认证
    光纤专线接入
    web应用框架
    4g牌照
    edoc2
    垂直分区
    遗漏缺陷
    过采样
    nginx
    文本文档
    脱机处理
    热敏技术
    iso-9660
    商业信函
    提供劳务收入
    激光照排技术
    rle编码
    信息技术教育
    cisa
    制造工艺
    电商大战
    dtd
    vcd格式
    交叉编译器
    无线modem
    放大电路
    802.16e
    stdio.h
    开环增益
    国家标准化考场
    粤语拼音输入法
    rtsp
    thm
    美国标准信息交换码
    bid
    guest
    双进程
    外频
    涂鸦输入
    jdbc
    ansi编码
    控制流计算机
    memcached
    向量中断
    抓轨
    dm杂志
    空域规划
    rc6
    代工模式
    搜狐焦点
    工控计算机
    top管理系统
    12万亿次刀片式超级计算机
    刻录格式
    宣传弹
    广告资源
    广告时间
    锐捷网络
    xul
    正弦脉宽调制
    cobranet
    单位增益带宽
    date
    thinkphp
    自动转向技术
    工业计算机
    高级职业指导师
    business insider
    出栈
    物联通
    模拟电信号
    振幅调制
    超级解霸
    游戏动画
    三维打印
    电子工程
    云服务平台
    知识仓库
    网络风暴
    社区养老
    代码评审
    集成电路工程
    公关传播
    通讯协议
    csm
    无线mac地址过滤
    智能会议系统
    rti
    刻录光驱
    cpp
    交叉存取技术
    wsad
    网络广播风暴
    网络推广方案
    嵌入式技术
    流动广告
    nrz-i
    互联网版权工作委员会
    服务补救
    端口数目
    实时数据库
    进程上下文
    单色无纸记录仪
    分卷压缩
    科研手段
    中国物品编码中心
    资源模板
    ccip
    第二类数据通信
    活动目录服务
    输出表
    成组技术与生产现代化
    静态方法
    fileman
    wiffa
    远程视频会议系统
    第三次技术革命
    整合传播
    hpa
    sli
    抠图
    线程调度
    文化创意产业
    国际视野
    病毒码
    云应用
    包过滤
    javadoc
    模糊计算机
    并发连接数
    导弹自动检测系统
    meta标签
    uart
    flickr
    载波速率
    sphinx
    its
    b-tree
    多道程序设计技术
    水刀
    技术合同认定规则
    子例程
    顾客中心论
    文档交换标准
    导航数据格式
    luc视频会议系统
    biz域名
    纳米计算机
    内存参数
    divx
    token
    lyft
    microsoft中间语言
    cfml
    weblogic
    端口复用
    计算机系统
    智能装备
    段落标记
    http1.1
    窄告
    停电管理系统
    http-500错误
    rna分子生物计算机
    ebxml
    能耗管理系统
    信息资源组织
    双线接入
    软件产业
    日志式文件系统
    爱情后门
    禹含网络
    土地测绘
    dvb-h标准
    系统维护
    音频指纹技术
    在线短租
    alexa工具条
    信息加工心理学
    针脚数
    单链表
    legato
    k平均算法
    网络漏洞
    网络仿真技术
    协同管理平台
    algorithm
    sns营销
    声表面滤波器
    背板容量
    dat文件
    微营销
    dvd+rw
    ramdac
    进程优先级
    进程优先级
    dvd+rw
    ramdac
    dat文件
    微营销
    声表面滤波器
    背板容量
    algorithm
    sns营销
    协同管理平台
    网络漏洞
    网络仿真技术
    legato
    k平均算法
    针脚数
    单链表
    alexa工具条
    信息加工心理学
    音频指纹技术
    在线短租
    dvb-h标准
    biz域名
    土地测绘
    导航数据格式
    爱情后门
    顾客中心论
    双线接入
    技术合同认定规则
    能耗管理系统
    多道程序设计技术
    vcd格式
    rna分子生物计算机
    http-500错误
    电商大战
    窄告
    制造工艺
    rle编码
    段落标记
    端口复用
    提供劳务收入
    cfml
    商业信函
    microsoft中间语言
    热敏技术
    token
    文本文档
    内存参数
    过采样
    edoc2
    luc视频会议系统
    数字复印机
    文档交换标准
    子例程
    网络广告营销
    水刀
    lpr
    b-tree
    脉动阵列计算机
    sphinx
    执行系统
    fintech
    载波速率
    meta标签
    构造器
    网络编码
    并发连接数
    交换式局域网
    模糊计算机
    xml-rpc
    云应用
    职业黑客
    病毒码
    转换精度
    线程调度
    jna
    bvt
    hpa
    math.h
    整合传播
    远程视频会议系统
    因特网经济
    静态方法
    isa100.11a
    电话会议系统
    输出表
    第二类数据通信
    cmstop
    资源模板
    地理信息技术
    奈奎斯特抽样定理
    科研手段
    form
    分卷压缩
    实时数据库
    政治宣传
    渗流理论
    端口数目
    电影广告
    互联网版权工作委员会
    第三方应用
    嵌入式技术
    计权
    网络广播风暴
    光盘映像文件
    交叉存取技术
    存取方法
    刻录光驱
    rti
    网络文化经营许可证
    互联网大会
    无线mac地址过滤
    公关传播
    网络读者
    集成电路工程
    模拟通信技术
    网络风暴
    eventlog服务
    云服务平台
    静态库
    dnf
    电子工程
    drm
    游戏动画
    静态重定位
    振幅调制
    xmlhttp
    物联通
    高级职业指导师
    浙江省重大科技专项
    自动转向技术
    数值表达式
    date
    21世纪广告
    cobranet
    线程数
    xul
    外部样式表
    单核处理器
    锐捷网络
    宣传弹
    印刷时代
    12万亿次刀片式超级计算机
    逆波兰式
    工控计算机
    航天技术
    数字控制器
    搜狐焦点
    餐饮服务
    rc6
    抓轨
    数字音乐版权
    双头显示
    向量中断
    刻录盘
    ansi编码
    jdbc
    node.js
    初始化
    外频
    广告战略策划
    bid
    网管
    thm
    粤语拼音输入法
    nicebasic
    无线通讯
    开环增益
    stdio.h
    熔丝位
    无线modem
    .cn
    transaction
    交叉编译器
    cdn技术
    dtd
    数字录音
    cisa
    跨语言信息检索
    信息技术教育
    google沙盒
    激光照排技术
    iso-9660
    应用接入
    脱机处理
    纳米结构
    pf使用率
    nginx
    客户忠诚度
    遗漏缺陷
    垂直分区
    信息技术产品协议
    低电平有效
    4g牌照
    身份认证
    网络负载均衡
    dm广告
    子弹论
    电子文献
    线路放大器
    array函数
    dtm
    流量工程数据库
    银行零售业务
    三级域名
    字幕放送
    css3
    网际网络
    栈溢出
    cto
    cpu模拟器
    undelete
    帕斯卡语言
    生活性服务业
    a-ims
    电子身份证
    量子存储技术
    复信号
    通用域名
    modbus协议
    退休制度
    复制拓扑
    差分信号
    走进中关村
    录音艺术
    电平转换器
    deflate
    晶体管计算机
    热靴
    同城信息
    整合
    广告战略目标
    数据保护
    红外线发射管
    远程线程注入
    网上调查
    捆绑
    4g技术
    类似商品和服务区分表
    顶岗实习管理系统
    信息安全等级保护
    grizzly
    变焦环
    虚拟内存盘
    批处理技术
    信息技术外包
    viterbi译码
    嵌入对象
    空间信息技术
    移动ip技术
    抗锯齿
    界面设计
    输出者
    近场支付
    idvd
    opengl
    wgetdcwd
    nfs协议
    115网盘
    ieee 802.3
    coldfusion
    先进格式化
    云社交
    cpu参数
    纺织信息化
    钛媒体
    秘书服务
    音频解码器
    信息及通信技术
    强名称
    服务贸易统计
    视觉媒体
    商务舱
    java扩展
    中国公用分组交换数据网
    setconsoleoutputcp
    量化位数
    客户分析
    广告气球
    引用调用
    非聚簇索引
    广告推广
    竞争冒险
    异步输出
    nas网络存储
    网格服务
    私有化
    伪导频
    蓝水超级计算机
    分子计算机
    延迟着色
    证据推理
    信号完整性
    信号切换
    状态测试
    abandon
    铜镀金十位盘式手摇计算机
    o语言
    静态编译
    频带利用率
    语言信号处理
    链路负载均衡
    信息采集技术
    虚拟现实体验
    隐身武器
    媒介组合策略
    财报
    以太网帧格式
    脚本编写
    分布式进程通信
    安全存储
    nwc
    执行档
    config.sys
    线段树
    事务
    bgp机房
    解码功放
    绳床
    存储阵列
    多媒体电教系统
    指令缓存
    软件过程模型
    网络营销方案
    莲花湖畔
    cdpd
    世界现代史
    客户生命周期
    嵌入式计算机
    java.sql
    信息存储技术
    脏纸编码
    非平衡信号
    采样时间
    域名绑定
    oauth
    网络优化
    味多美网址导航
    高清电影
    pom
    嵌入式产品
    电力载波
    卷积神经网络
    flex
    人际传播
    整周模糊度
    文件打包
    电子发票
    pdf文档
    云技术
    数据绑定
    使能端
    pch
    云安全技术
    信息技术协议
    空中下载
    远程培训
    全息存储
    cuda架构
    线性表
    css2.0
    高清视频转换
    温湿度传感器
    实体关系图
    量子加密
    主控文档
    战略合作协议
    好新闻评选活动
    算命占卜
    视频光盘
    网络延迟
    宿主程序
    802.11x
    差异数据库备份
    xhtml
    资源信息系统
    条码系统
    参考线
    div css
    idl
    二叉排序树
    信息爆炸
    广告信息决策
    拉曼数据库
    智能显示调节仪
    声音格式
    媒介形态
    企业认证
    双频接收机
    映像劫持
    量子计算
    生存期
    物流服务水平
    实时计算机
    实物展示台
    rgss
    单频接收机
    术语数据库
    tsl
    集散控制技术
    垂直同步
    缩略图
    还原卡
    顾客抱怨
    天河一号超级计算机
    在线电视
    共发射极放大电路
    公关广告
    纳米涂层
    文档共享
    广告运作
    p-code
    interop
    软文推广
    接地技术
    网络贷款
    串口通讯
    恒定光圈
    上网高峰期
    麦兜定律
    传媒伦理
    turboboost睿频加速技术
    宽带测速
    手机卫星定位
    动态地址
    flexray总线
    晒客
    数据依赖
    流媒体采集卡
    ip机顶盒
    闭环增益
    虚假宣传行为
    java ee
    扫描速度
    自适应调制
    媒体营销
    srgb
    透明计算
    互动传播
    高速以太网
    自动化控制
    非经营性网站
    nslog
    网约车
    instr
    私人导游
    宣传型公共关系
    第三方农业技术
    特种计算机
    指纹识别技术
    双机互联
    无纺布购物袋
    aop
    非言语行为
    并行处理技术
    ht技术
    网站pr值
    智能视频
    手机流量
    sql触发器
    crnet
    mpeg2编码
    3d打印
    光纤专线接入
    监测技术
    web应用框架
    action script
    软件研发工程师
    放大电路
    802.16e
    仿生学
    emacs
    国家标准化考场
    接触传播
    rtsp
    游戏广告
    美国标准信息交换码
    端口隔离
    guest
    双进程
    idr_mainframe
    涂鸦输入
    位图索引
    ripv2
    控制流计算机
    memcached
    值类型
    eps格式
    dm杂志
    空域规划
    tls
    代工模式
    passwd
    存取服务器
    top管理系统
    开源协议
    刻录格式
    4d打印技术
    广告资源
    广告时间
    oqc
    正弦脉宽调制
    ocx
    细胞信号分子
    单位增益带宽
    静态内存
    thinkphp
    工业计算机
    电气信息工程
    business insider
    eor
    出栈
    狂雷视频平台
    别克gl8
    模拟电信号
    共享文档
    超级解霸
    三维打印
    知识仓库
    认知计算
    mac地址表
    社区养老
    netware网络操作系统
    代码评审
    柔性电子
    通讯协议
    婴儿床
    csm
    智能会议系统
    100个经典管理定律
    背光补偿
    cpp
    英文域名
    wsad
    网络推广方案
    倒排索引
    磁盘格式
    流动广告
    车载功放
    nrz-i
    服务补救
    文件名后缀
    视频处理
    进程上下文
    单色无纸记录仪
    ip监控
    cer
    中国物品编码中心
    脚本小子
    ccip
    连接数
    活动目录服务
    成组技术与生产现代化
    汽车电控
    mdop
    fileman
    wiffa
    concrete
    第三次技术革命
    沙盒效应
    tomcat
    sli
    抠图
    网络采购
    文化创意产业
    运动图像专家组格式
    网页特效
    国际视野
    包过滤
    云整合
    javadoc
    客户忠诚
    dll木马
    导弹自动检测系统
    基本块
    uart
    flickr
    异构
    高级数据库
    its
    纳米计算机
    purebasic
    divx
    集成芯片
    选择加密
    lyft
    灯联网
    weblogic
    摇一摇
    计算机系统
    智能装备
    web安全
    http1.1
    hips
    停电管理系统
    远程方法调用
    物联网金融
    ebxml
    vax
    信息资源组织
    软件产业
    rs-485总线
    日志式文件系统
    第三方物流服务商
    禹含网络
    宏程序
    域名争议
    系统维护
    虚拟光驱文件
    政府信息公开
    虚拟光驱加载
    神威蓝光计算机
    即时演算
    清洁生产技术
    evdo
    服务器合租
    匿名p2p
    slammer蠕虫
    资源整合
    农村信息化
    cuteftp
    编译技术
    中国网民
    vsat卫星通信网
    cave投影系统
    txd
    信息共享
    抢占式
    sap系统管理
    高级启发式技术
    防毒墙
    远程过程调用协议
    易赢cms企业建站系统
    邦尼养老院管理系统
    天河二号超级计算机
    广告垃圾箱
    隐藏控制面板
    vr技术
    视图设计
    欢跃技术
    分散式计算
    合约机
    hyper-threading
    p3p
    大小端模式
    vm服务器
    数字产品
    google翻译
    客户服务管理师
    全球信息栅格
    家用录像机
    3des
    多核
    农业电子商务
    技术经理
    文件压缩
    裁员
    oracle数据库
    数字出版基地
    动作捕捉
    卡尔曼-布什滤波
    扫黄打非·净网2014
    色差分量
    ad8131
    信息劳动者
    dsp芯片
    输入输出接口
    临时文件
    移动计算机
    光检测器
    伽玛值
    java bean
    动态域名解析
    减少缩进量
    十亿亿次超级计算机
    主线程
    新顶级域名
    uda
    802.11n
    物理学和计算机
    二进制系统
    仓库信息管理系统
    运行时多态性
    dvd格式
    交互式图像处理系统
    动态语言
    睿频
    台湾媒体史
    文本链接广告
    光雕
    流量费
    麦克布莱德报告
    全国信息技术高级人才水平考试
    创客
    公共文化服务
    dvi接口
    screenx
    信号电平
    js代码
    固定网国内数据传送
    频谱泄露
    中国国家顶级域名
    哈尔变换
    kks编码
    web.config
    高端硬件防毒
    网页模板
    夜视
    软件压力测试
    知识管理体系
    数字政务
    吊旗
    采样保持
    ole控件
    ultraedit
    vlan支持
    unzip
    广告对象
    一元年薪
    五轴联动
    时间协议
    文档安全管理系统
    wfq
    无损音频
    网购保镖
    移动应用
    服务差异化
    音色提升
    渲染
    视网膜屏幕
    企宣
    广告运动
    人头录音
    iis应用程序池
    游戏编程
    htpc
    分组交换网络
    天河一号计算机
    postscript语言
    非托管
    现代汉语语法讲话
    直方图均衡化
    突变怪物
    瑞森德
    shutdown
    柔性制造
    asp.net服务器控件
    代理协议
    增强图形适配器
    稀疏度
    模拟数字转换器
    超空间引擎
    供应链管理技术
    shr
    输出端子
    电子商务市场
    工学论文
    共享资源网
    指南数据库
    .com
    公版驱动
    手机营销
    devops
    分支器
    smds
    cold_rhyme
    媒体购买
    gcd函数
    人事管理系统
    ping值
    青岛景泰马铃薯专业合作社
    无线入侵检测
    输入框
    偶偶及时通
    网络化集群作战
    整型数据
    漏极开路
    美国媒体
    bsf
    数游数字标牌
    数字水印
    save函数
    交互式处理
    混合型代码
    状态图
    互斥对象
    postscript
    配电管理系统
    临时表
    ccna
    网络控制器
    内熵
    向后兼容
    传播制度
    objective-c
    网络监控系统
    booktype
    游长压缩
    pppoe
    碎片文件
    防毒
    静态反汇编
    世界互联网大会
    sha1
    梅特卡夫定律
    ccda
    vlan隔离技术
    smalltalk
    客户期望
    固定资产条码管理系统
    无线网格网技术
    网络信息技术
    平衡传输
    代码注入
    发票号码
    拆线
    信息流
    网站本地化
    源路由
    科讯网
    开源市
    rtk
    流程管理2.0
    信息总监
    三维地理信息系统
    零日漏洞
    数据链
    自主访问控制
    盈利模式
    免费广告
    对象指针
    增量式编码器
    企业信息门户
    八百客
    同频同时全双工技术
    加固计算机
    abort
    审计跟踪
    振幅键控
    免杀
    专题数据库
    银河Ⅱ型巨型计算机
    组策略对象
    根域名服务器
    非平稳信号
    曝气系统
    jvm
    网络扫黄
    kde4
    数字新媒体
    java消息服务
    xpath
    知识密集型技术
    e-r图
    枪弹论
    永久重定向
    top10
    超线程
    虚拟制造系统
    随机存取方式
    电视广告制作
    开关量信号
    同步多线程
    crc32
    开发平台
    软件项目风险管理
    客户识别
    2dpsk
    音频流
    液晶屏
    微代码
    半导体行业
    ipca
    网络营销能力秀平台
    基因编辑
    网络位置
    显存频率
    内存双通道
    流行媒体
    传播力
    差分输入
    ic卡停车场智能管理系统
    网络化
    套接口
    dm直投
    虚信道连接
    空间光调制器
    vis
    聚集索引
    tcl语言
    云时代
    olm
    智能计算机
    程序段格式
    在线营销
    机械计算机
    java api
    保密u盘
    服务器游标
    互联网+农业
    信和大金融
    my sql
    非对角长程序
    隐形纱窗
    implements
    彩色电视制式
    可视化工具
    瑞星防火墙
    ll(1)分析
    功率回退
    多线程技术
    sflow
    gd-rom
    显卡bios
    并行方式
    dvi-d
    互联网医疗
    html文件
    软件视频会议系统
    色彩咨询师
    电平信号
    互操作
    代码移植
    咨询服务业
    快速成形技术
    网络诈骗
    防病毒技术
    fonts
    分布式应用程序
    cd-da
    internet服务提供商
    映像文件
    菏泽飞亚达计算机
    标准通用置标语言
    光刻技术
    距离向量协议
    tld
    人才市场
    作用域
    无线广域网
    数字版权保护技术研发工程
    影视广告
    vpn代理
    中国科技网
    openapi
    分支预测
    程序中断方式
    cocoa
    annotation
    战略传播
    信息加工
    网络商务
    政府信息公开
    神威蓝光计算机
    创业实验室
    即时演算
    通用中间语言
    evdo
    医院排队管理系统
    匿名p2p
    wred
    avivo
    资源整合
    cuteftp
    传感
    中国网民
    鼠标加水泥
    ping.exe
    txd
    信息共享
    matroska
    高级启发式技术
    autocad快捷键
    防毒墙
    字典树
    易赢cms企业建站系统
    smil
    多功能会议系统
    广告垃圾箱
    vr技术
    javaone
    军用计算机
    欢跃技术
    分散式计算
    频限信号
    hyper-threading
    视频数字化
    p3p
    脱机方式
    vm服务器
    tmds
    google翻译
    dcci
    感应充电
    全球信息栅格
    方波信号
    多核
    301永久重定向
    技术经理
    光纤磁盘阵列
    文件压缩
    oracle数据库
    第六代计算机
    僵死进程
    动作捕捉
    卡尔曼-布什滤波
    wma格式
    色差分量
    spdif
    编程
    信息劳动者
    临时文件
    移动计算机
    电视字幕机
    公共服务体系
    java bean
    减少缩进量
    财务管理系统
    perl
    主线程
    新顶级域名
    命名实体识别
    巴特沃斯滤波器
    802.11n
    三层架构
    二进制系统
    量化级
    运行时多态性
    交互式图像处理系统
    ping服务
    睿频
    白帽子
    议程设置理论
    光雕
    erlang
    流量费
    全国信息技术高级人才水平考试
    摇一摇
    web安全
    dvi接口
    hips
    信号电平
    js代码
    远程方法调用
    物联网金融
    频谱泄露
    vax
    kks编码
    rs-485总线
    高端硬件防毒
    第三方物流服务商
    夜视
    宏程序
    知识管理体系
    域名争议
    吊旗
    采样保持
    虚拟光驱文件
    虚拟光驱加载
    ultraedit
    unzip
    清洁生产技术
    服务器合租
    五轴联动
    文档安全管理系统
    slammer蠕虫
    wfq
    农村信息化
    移动应用
    编译技术
    vsat卫星通信网
    服务差异化
    渲染
    cave投影系统
    抢占式
    广告运动
    人头录音
    sap系统管理
    远程过程调用协议
    htpc
    邦尼养老院管理系统
    天河一号计算机
    天河二号超级计算机
    postscript语言
    隐藏控制面板
    直方图均衡化
    瑞森德
    视图设计
    shutdown
    合约机
    代理协议
    增强图形适配器
    大小端模式
    数字产品
    模拟数字转换器
    客户服务管理师
    供应链管理技术
    家用录像机
    电子商务市场
    3des
    共享资源网
    农业电子商务
    指南数据库
    手机营销
    裁员
    分支器
    数字出版基地
    smds
    媒体购买
    扫黄打非·净网2014
    ad8131
    ping值
    青岛景泰马铃薯专业合作社
    dsp芯片
    输入框
    输入输出接口
    网络化集群作战
    光检测器
    伽玛值
    美国媒体
    动态域名解析
    数游数字标牌
    十亿亿次超级计算机
    save函数
    uda
    混合型代码
    物理学和计算机
    状态图
    仓库信息管理系统
    postscript
    dvd格式
    ccna
    动态语言
    向后兼容
    台湾媒体史
    文本链接广告
    传播制度
    网络监控系统
    麦克布莱德报告
    pppoe
    创客
    公共文化服务
    碎片文件
    screenx
    静态反汇编
    固定网国内数据传送
    梅特卡夫定律
    ccda
    中国国家顶级域名
    smalltalk
    哈尔变换
    web.config
    无线网格网技术
    网络信息技术
    网页模板
    软件压力测试
    发票号码
    数字政务
    信息流
    网站本地化
    ole控件
    开源市
    vlan支持
    rtk
    广告对象
    信息总监
    一元年薪
    零日漏洞
    时间协议
    盈利模式
    无损音频
    免费广告
    网购保镖
    增量式编码器
    音色提升
    八百客
    选择加密
    视网膜屏幕
    abort
    企宣
    振幅键控
    iis应用程序池
    专题数据库
    银河Ⅱ型巨型计算机
    游戏编程
    分组交换网络
    非平稳信号
    非托管
    曝气系统
    现代汉语语法讲话
    kde4
    数字新媒体
    突变怪物
    知识密集型技术
    柔性制造
    asp.net服务器控件
    枪弹论
    稀疏度
    top10
    超线程
    超空间引擎
    随机存取方式
    shr
    输出端子
    开关量信号
    开发平台
    工学论文
    软件项目风险管理
    .com
    公版驱动
    2dpsk
    devops
    微代码
    cold_rhyme
    ipca
    gcd函数
    网络营销能力秀平台
    人事管理系统
    显存频率
    内存双通道
    无线入侵检测
    传播力
    偶偶及时通
    整型数据
    ic卡停车场智能管理系统
    漏极开路
    dm直投
    bsf
    虚信道连接
    聚集索引
    数字水印
    交互式处理
    云时代
    olm
    互斥对象
    程序段格式
    配电管理系统
    机械计算机
    临时表
    网络控制器
    保密u盘
    内熵
    信和大金融
    非对角长程序
    objective-c
    implements
    booktype
    可视化工具
    游长压缩
    防毒
    ll(1)分析
    多线程技术
    世界互联网大会
    sflow
    sha1
    显卡bios
    vlan隔离技术
    客户期望
    互联网医疗
    固定资产条码管理系统
    软件视频会议系统
    色彩咨询师
    平衡传输
    代码注入
    代码移植
    咨询服务业
    拆线
    防病毒技术
    源路由
    fonts
    科讯网
    流程管理2.0
    internet服务提供商
    映像文件
    三维地理信息系统
    数据链
    标准通用置标语言
    自主访问控制
    tld
    作用域
    对象指针
    无线广域网
    企业信息门户
    同频同时全双工技术
    影视广告
    加固计算机
    中国科技网
    审计跟踪
    程序中断方式
    cocoa
    免杀
    战略传播
    组策略对象
    网络商务
    根域名服务器
    创业实验室
    jvm
    网络扫黄
    通用中间语言
    医院排队管理系统
    java消息服务
    wred
    xpath
    e-r图
    avivo
    传感
    永久重定向
    虚拟制造系统
    鼠标加水泥
    ping.exe
    电视广告制作
    matroska
    同步多线程
    crc32
    autocad快捷键
    客户识别
    字典树
    音频流
    smil
    液晶屏
    多功能会议系统
    半导体行业
    javaone
    军用计算机
    基因编辑
    网络位置
    频限信号
    视频数字化
    流行媒体
    脱机方式
    差分输入
    tmds
    网络化
    套接口
    dcci
    感应充电
    空间光调制器
    vis
    方波信号
    301永久重定向
    tcl语言
    光纤磁盘阵列
    智能计算机
    第六代计算机
    在线营销
    僵死进程
    java api
    服务器游标
    wma格式
    spdif
    互联网+农业
    my sql
    编程
    隐形纱窗
    彩色电视制式
    电视字幕机
    公共服务体系
    瑞星防火墙
    功率回退
    财务管理系统
    perl
    gd-rom
    并行方式
    命名实体识别
    巴特沃斯滤波器
    dvi-d
    三层架构
    html文件
    量化级
    电平信号
    互操作
    ping服务
    快速成形技术
    白帽子
    网络诈骗
    议程设置理论
    erlang
    分布式应用程序
    数字复印机
    cd-da
    网络广告营销
    菏泽飞亚达计算机
    光刻技术
    lpr
    距离向量协议
    脉动阵列计算机
    人才市场
    执行系统
    fintech
    数字版权保护技术研发工程
    构造器
    vpn代理
    网络编码
    openapi
    交换式局域网
    分支预测
    xml-rpc
    annotation
    职业黑客
    信息加工
    1. 首页
    2. IT类
    3. 计算机术语
    4. acl2
    1. 首页
    2. 百科类
    3. 百科
    4. acl2