技术

550 条知识 · 28/37

技术进步、发明、人工智能和数字创新

• 
  技术

  英特尔芯片为全球大多数电脑提供动力

• 
  技术

  波音在数天内而非数月内建造飞机

• 
  技术

  一个车库催生了硅谷的科技革命

• 
  技术

  福特装配线93分钟造一辆汽车

• 
  技术

  IBM的穿孔卡片驱动了数据时代

• 
  技术

  首次在线购物是一张披萨订单

• 
  技术

  通用电气并非发明第一盏灯泡的公司

• 
  技术

  Netflix曾用红色信封邮寄DVD

• 
  技术

  好奇心：人类创新的引擎

• 
  技术

  Lam Coq确保软件始终正确

• 
  技术

  Bedrock让计算机系统真正值得信赖

• 
  技术

  Z3：检查代码是否正确的AI

• 
  技术

  Why3 结合证明器，实现完美软件

• 
  技术

  Yices 软件自动检查错误

• 
  技术

  ACL2：认证硬件的软件

其他类别

类别 →

• 科学
• 自然
• 历史
• 文化
• 心理学
• 艺术
• 地理
• 健康
• 商业
• 哲学
• 语言
• 体育