计算机科学

历史, 大学, 编程语言, 计算机硬件, 计算机科学

阿特拉斯自动编码 (Atlas Autocode)

Atlas Autocode, 历史, 编程, 计算机, 阿特拉斯自动编码

互联网, 技术, 文件格式, 计算机科学, 音频

AU 文件格式 (AU File Format)

Au, Sun Microsystems, 数字音频, 文件格式, 音频文件

开源, 服务器, 网络, 计算机科学, 软件

Apache HTTP 服务器 (Apache HTTP Server)

Apache, HTTP, Web服务器, 开源软件, 网络服务器

人工智能, 数学, 计算机科学, 软件工程, 逻辑学

自动定理证明 (Automated theorem proving)

ATP, 自动定理证明, 自动推理, 证明, 逻辑

协议, 数据传输, 电子工程, 计算机科学, 通信

异步通信 (Asynchronous communication)

UART, 串行通信, 异步通信, 数据通信, 通信协议