技术

487 条知识 · 24/33

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

• 
  技术

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

• 
  技术

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

• 
  技术

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

• 
  技术

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

• 
  技术

  Netflix曾用红色信封邮寄DVD

• 
  技术

  好奇心：人类创新的引擎

• 
  技术

  Lam Coq确保软件始终正确

• 
  技术

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

• 
  技术

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

• 
  技术

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

• 
  技术

  Yices 软件自动检查错误

• 
  技术

  ACL2：认证硬件的软件

• 
  技术

  PVS如何预防关键系统中的灾难

• 
  技术

  一台发动机如何点燃了工业革命

• 
  技术

  量子计算机计算速度呈指数级增长

其他类别

类别 →

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