SICS
Scholarly InformationCuration Service
Scholarly Information Curation Service© Korea University Library

고려대학교 도서관 전자책 서비스

SICS 전자책 서비스

About
검색대상: Current Category All Categories
CATEGORIES
DATABASES
 
ALL (275 Databases, 1,119,919 E-books)
02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.

ACM Digital Library

각 전자책을 클릭하여 상세정보를 조회하거나 제공 사이트를 클릭하여 전문을 조회하실 수 있습니다.
Current Category
  • Current Category
  • All Categories
SORT BY
A-Z FILTER
All
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ㄱ
ㄴ
ㄷ
ㄹ
ㅁ
ㅂ
ㅅ
ㅇ
ㅈ
ㅊ
ㅋ
ㅌ
ㅍ
ㅎ
Others
All
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ㄱ
ㄴ
ㄷ
ㄹ
ㅁ
ㅂ
ㅅ
ㅇ
ㅈ
ㅊ
ㅋ
ㅌ
ㅍ
ㅎ
Others
총 1건 중 1 - 1건 출력
  • 1
    Book Info
    Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    Gilles Barthe | Manuel Hermenegildo
    ACM Digital Library
    2010
    전문보기 (Full Text Access)
02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.
SICS 전자책 서비스
닫기
전자책 서비스 정보
도서관에서 제공하는 1,119,919종의 전자책 정보를 주제분야별로 분류하여 제공합니다.
리스트전자책 리스트
정보전자책 서비스 정보
고려대학교 도서관 학술정보큐레이션부
02841 서울 성북구 안암로 145 고려대학교 도서관
COPYRIGHT ⓒ KOREA UNIVERSITY LIBRARY ALL RIGHTS RESERVED