02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.
COMPUTERS / Programming / Compilers
각 전자책을 클릭하여 상세정보를 조회하거나 제공 사이트를 클릭하여 전문을 조회하실 수 있습니다.
SORT BY
A-Z FILTER
총 6건 중 1 - 6건 출력
-
1Book InfoTransactions on Rough Sets XIISpringer e-Book Collection (Free Title)2010전문보기 (Full Text Access)
-
2Book InfoTemporal Logic and State SystemsKröger, Fred | Merz, StephanSpringer e-Book Collection (2008)2008전문보기 (Full Text Access)
-
3Book InfoTerm Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, ProceedingsSpringer e-Book Collection (Free Title)2006전문보기 (Full Text Access)
-
4Book InfoTypes for Proofs and Programs: Third International Workshop, TYPES 2003Springer e-Book Collection (Free Title)2004전문보기 (Full Text Access)
-
5Book InfoTypes in Compilation: third International Workshop, TIC 2000Springer e-Book Collection (Free Title)2001전문보기 (Full Text Access)
-
6Book InfoTypes for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 1216, 1999 Selected PapersSpringer e-Book Collection (Free Title)2000전문보기 (Full Text Access)
02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.
전자책 서비스 정보
도서관에서 제공하는 1,119,919종의 전자책 정보를 주제분야별로 분류하여 제공합니다.
전자책 리스트
전자책 서비스 정보
고려대학교 도서관 학술정보큐레이션부
02841 서울 성북구 안암로 145 고려대학교 도서관
COPYRIGHT ⓒ KOREA UNIVERSITY LIBRARY ALL RIGHTS RESERVED