기술
기술 발전, 발명, AI, 그리고 디지털 혁신
-
기술
베드록은 컴퓨터 시스템을 진정으로 신뢰할 수 있게 만듭니다
-
기술
Z3: 코드가 올바른지 확인하는 AI
-
기술
Why3, 완벽한 소프트웨어를 위한 증명기 결합
-
기술
Yices 소프트웨어는 오류를 자동으로 확인합니다
-
기술
ACL2: 하드웨어를 인증하는 소프트웨어
-
기술
PVS가 중요 시스템에서 재난을 막는 방법
-
기술
한 엔진이 산업 혁명을 일으킨 방법
-
기술
양자 컴퓨터는 기하급수적으로 더 빠르게 계산합니다
-
기술
테슬라 코일, 공중으로 전기를 쏘다
-
기술
헤르츠파가 1895년 무선 전신을 가능하게 했습니다
-
기술
홀로그램 디스플레이는 공중에 떠 있는 이미지를 만듭니다
-
기술
태양 전지는 1958년부터 위성에 전력을 공급했습니다
-
기술
블록체인, 디지털 기록을 영원히 보호하다
-
기술
에디슨의 첫 전구는 대나무로 빛났다
-
기술
최초의 조립 라인, 모델 T 포드를 7시간 만에 생산
기타 카테고리
카테고리 →