您的当前位置：领域 > 计算机 领域
基于实例的定理证明 （计算机科学技术）
基于实例的定理证明（instance-based theorem proving
头部相关的传输函数 （计算机科学技术）
头部相关的传输函数（head related transfer function
多项式时间近似格式 （计算机科学技术）
多项式时间近似格式（polynomial-time approximation
无线电频率通信协议 （计算机科学技术）
无线电频率通信协议（radio frequency communication，
万维网服务描述语言 （计算机科学技术名词）
万维网服务描述语言（Web service description langua
面向特征的领域分析 （计算机科学技术）
面向特征的领域分析（feature-oriented domain analys
希尔伯特式演绎系统 （计算机科学技术）
希尔伯特式演绎系统（Hilbert-style deduction system
基于测量的量子计算 （计算机科学技术）
基于测量的量子计算（measurement-based quantum comp
模型参考自适应控制 （计算机科学技术）
模型参考自适应控制（model reference adaptive contr
双列直插式内存组件 （计算机科学技术）
双列直插式内存组件（dual in-line memory modules，DI
同步动态随机存储器 （计算机科学技术）
同步动态随机存储器（synchronous dynamic random acc
档案计算机管理系统 （档案计算机管理系统）
从事档案和档案工作管理的计算机应用系统。以计算机主机系统为核心，包括各种输入输出
近似算法的相对误差 （计算机科学技术）
近似算法的相对误差（relative error of an approxima
数据库物理结构设计 （计算机科学技术）
数据库物理结构设计（database physical structure de
Java数据库互连 （计算机科学技术）
Java数据库互连（Java database connectivity，JDB
带抑止弧的佩特里网 （计算机科学技术）
带抑止弧的佩特里网（Petri net with inhibitor arc），
概率可检测证明定理 （计算机科学技术）
概率可检测证明定理（probabilistically checkable pr
互联网控制报文协议 （计算机科学技术）
互联网控制报文协议 （internet control message prot
数据库应用体系结构 （计算机科学技术名词）
数据库应用体系结构（database application architect
基于搜索的软件工程 （计算机科学技术）
基于搜索的软件工程（search-based software engineer
基于证据的软件工程 （计算机科学技术）
基于证据的软件工程（evidence-based software engine
Java服务器页面 （计算机科学技术名词）
Java服务器页面（Java server pages）是2018年全国科学技术
加载-存储体系结构 （计算机科学技术名词）
加载-存储体系结构（load-store architecture）是2018年
电荷藕合器件传感器 （计算机科学技术）
电荷藕合器件传感器（charge-coupled device sensor），
多播接收方发现协议 （计算机科学技术）
多播接收方发现协议（multicast listener discovery，M
公开密钥交互式协议 （计算机科学技术）
公开密钥交互式协议（public-coin interactive protoc
基于关联的长活路由 （计算机科学技术）
基于关联的长活路由（association-based long-lived r
远程直接存储器访问 （计算机科学技术）
远程直接存储器访问（remote direct memory access，RD
知识查询与操作语言 （计算机科学技术）
知识查询与操作语言（knowledge query and manipulati
企业应用集成中间件 （计算机科学技术名词）
企业应用集成中间件（enterprise application integra
.NET系列中间件 （计算机科学技术）
.NET系列中间件（.NET middleware），计算机科学技术名词，微软公
业务流程管理中间件 （计算机科学技术）
业务流程管理中间件（business process management mi
基于知识的仿真系统 （计算机科学技术名词）
基于知识的仿真系统（knowledge-based simulation sys
基于场景的需求建模 （计算机科学技术）
基于场景的需求建模（scenario-based requirements mo
智能体统一建模语言 （计算机科学技术）
智能体统一建模语言（agent unified modeling languag
有限自动机的极小化 （计算机科学技术名词）
有限自动机的极小化（minimization of finite automat
系统生物学标记语言 （计算机科学技术）
系统生物学标记语言（systems biology markup languag
超文本传输安全协议 （计算机科学技术）
超文本传输安全协议（hypertext transfer protocol se
机器人运动路径规划 （计算机科学技术）
机器人运动路径规划（robot motion path planning），计算
面向方面的程序设计 （计算机科学技术）
面向方面的程序设计（aspect-oriented programming，AO