Tecnología
Avances tecnológicos, invenciones, IA y innovación digital
-
Tecnología
La cadena de montaje de Ford construía coches en 93 minutos
-
Tecnología
Las tarjetas perforadas de IBM impulsaron la era de los datos
-
Tecnología
La primera compra en línea fue una pizza
-
Tecnología
General Electric no inventó la primera bombilla
-
Tecnología
Netflix una vez envió DVD por correo en sobres rojos
-
Tecnología
La curiosidad: el motor de la innovación humana
-
Tecnología
Lam Coq asegura que el software siempre sea correcto
-
Tecnología
Bedrock hace que los sistemas informáticos sean realmente confiables
-
Tecnología
Z3: La IA que comprueba si el código es correcto
-
Tecnología
Why3 combina demostradores para un software perfecto
-
Tecnología
El software Yices busca errores automáticamente
-
Tecnología
ACL2: el software que certifica hardware
-
Tecnología
Cómo PVS previene desastres en sistemas críticos
-
Tecnología
Cómo un motor encendió la Revolución Industrial
-
Tecnología
Las computadoras cuánticas calculan exponencialmente más rápido
Otras categorías
Categorías →