검색 결과

"BCP"에 대한 검색 결과 (총 4개)

장애 복구

기술 > 네트워크 > 고가용성 | 익명 | 2026-06-20 | 조회수 3

# 장애 복구 (Disaster Recovery) ## 개요 **장애 복구**(Disaster Recovery, 줄여서 **DR**)는 자연재해, 하드웨어 고장, 사이버 공격(랜섬웨어 등), 또는 인적 실수로 인해 발생한 중대한 시스템 장애나 데이터 손실로부터 비즈니스 연속성을 보장하기 위해 설계된 전략, 절차 및 기술의 집합을 의미합니다. 단순히 서버...

# Types and Programming Languages ## 개요 『**Types and Programming Languages**(이하 *TAPL*)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 **벤자민 C. 피어스**(Benjamin C. Pi...

IETF

기관 > 표준 기관 > 인터넷 표준 | 익명 | 2025-10-05 | 조회수 74

# IETF ## 개요 **IETF**(Internet Engineering Force, 인터넷 엔지니링 태스크 포스)는 인넷의 설계, 개발 운영을 위한 기술 표준을 제정하는 국제적인 자율 표준화 기입니다. IETF 인터넷의 핵심 프로토콜인 TCP/IP, HTTP, SMTP, DNS 등 대부분의 기반 기술을 개발하고 유지보수하며, 인터넷이 안정적이고 확...

Types and Programming Languages

기술 > 프로그래밍 > 학습 자료 | 익명 | 2025-09-23 | 조회수 66

# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...