기능목록>검색 : 국방대학교 도서관

TOPOLOGY AND CATEGORY THEORY IN COMPUTER SCIENCE

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	단행본
분류기호 :	QA76.9.M35
서명/저자사항 :	TOPOLOGY AND CATEGORY THEORY IN COMPUTER SCIENCE/ REED,G M
발행사항 :	OXFORD: CLARENDON PR., 1991.
형태사항 :	390p.
개인저자 :	REED,G M
언어	영어

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

WMO199926310 권 호 : 390
발행년 : 1991
서 명 : TOPOLOGY AND CATEGORY THEORY IN COMPUTER SCIENCE
발행처 : REED,G M

목차
1. TOPOLOGY,COMPUTER SCIENCE,AND THE MATHEMATICS OF CONVERGENCE
2. THE SOUNDNESS AND COMPLETENESS OF AXIOMS FOR CSP PROCESSES
3. CLASSIFYING UNBOUNDED NONDETERMINISM IN CSP
4. ALGEBRAIC POSETS,ALGEBRAIC CPO''S AND MODELS OF CONCURRENCY
5. CONCURRENCY SEMANTICS BASED ON METRIC DOMAIN EQUATIONS
6. ON TOPOLOGICAL CHARACTERIZATION OF BEHAVIOURAL PROPERTIES
7. ORDER AND STRONGLY SOBER COMPACTIFICATIONS
8. TOTALLY BOUNDED SPACES AND COMPACT ORDERED SPACES AS DOMAINS OF
9. COMPUTATION
10. THE INPORTANCE OF CARDINALITY,SEPARABILITY,AND COMPACTNESS IN COMPUTER
11. SCIENCE WITH AN EXAMPLE FROM UNMERICAL SIGNAL ANALYSIS
12. DIGITAL TOPOLOGY:A COMPARISON OF THE GRAPH-BASED AND TOPOLOGICAL
13. APPROACHES
14. TRLING THE PLANE WITH ONE TILE
15. AN ALGEBRAIC ANIOMATIZATION OF LINEAR LOGIC MODELS
16. TYPES AS THEORIES