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

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

SICS 전자책 서비스

About
검색대상: Current Category All Categories
CATEGORIES
DATABASES
전체
미디어학
법학
심리학
컴퓨터학
경제학
교육학
언어학
정치외교학
행정학
노어노문학
한국사학
영어영문학
통계학
서어서문학
중어중문학
지구환경과학
사회학
기계공학
건축학
물리학
 
ALL (154 Categories, 44,527 E-books)
02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.

COMPUTERS / Logic Design

각 전자책을 클릭하여 상세정보를 조회하거나 제공 사이트를 클릭하여 전문을 조회하실 수 있습니다.
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
총 126건 중 101 - 120건 출력
  • 101
    Book Info
    Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : Revised Selected and Invited Papers (Lecture notes in artificial intelligence ; 3419)
    Springer e-Book Collection (Free Title)
    2005
    전문보기 (Full Text Access)
  • 102
    Book Info
    Taxonomies for the Development and Verification of Digital Systems
    Springer e-Book Collection (2005)
    2005
    전문보기 (Full Text Access)
  • 103
    Book Info
    Applications and Theory of Petri Nets 2004: 25Th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3099)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 104
    Book Info
    CONCUR 2004--concurrency Theory: 15Th International Conference, London, UK, August 31-September 3, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3170)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 105
    Book Info
    Computer Aided Verification: 16Th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; Proceedings (Lecture notes in computer science, 0302-9743 ; 3114)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 106
    Book Info
    Current Trends in Theoretical Computer Science: The Challenge of the New CenturyVol 1: Algorithms and ComplexityVol 2: Formal Models and Semantics
    EBSCO eBooks
    2004
    전문보기 (Full Text Access)
  • 107
    Book Info
    Field-programmable Logic and Applications: 14Th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : Proceedings (Lecture notes in computer science ; 3203)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 108
    Book Info
    Formal Methods in Computer-aided Design: 5Th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; Proceedings (Lecture notes in computer science, 0302-9743 ; 3312)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 109
    Book Info
    Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3254)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 110
    Book Info
    Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3323)
    Springer e-Book Collection (Free Title)
    2004
    전문보기 (Full Text Access)
  • 111
    Book Info
    Lecture Notes on Empirical Software Engineering (Series on software engineering and knowledge engineering ; v. 12)
    Natalia Juristo | Ana M Moreno
    EBSCO eBooks
    2003
    전문보기 (Full Text Access)
  • 112
    Book Info
    Substrate Noise Coupling in Mixed-Signal ASICs
    Stéphane Donnay | Georges Gielen
    Springer e-Book Collection (Free Title)
    2003
    전문보기 (Full Text Access)
  • 113
    Book Info
    Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
    Springer e-Book Collection (Free Title)
    2002
    전문보기 (Full Text Access)
  • 114
    Book Info
    Fuzzy Decision Making in Modeling and Control (World Scientific Series in Robotics and Intelligent Systems)
    Joao M Costa Sousa | Uzay Kaymak
    EBSCO eBooks
    2002
    전문보기 (Full Text Access)
  • 115
    Book Info
    A half-century of automata theory: celebration and inspiration
    Salomaa, Arto | Wood, Derick | Yu, Sheng
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
    ProQuest Ebook Central - Academic Complete International
    2001
    전문보기 (Full Text Access)
  • 116
    Book Info
    Essays on Non-classical Logic (Advances in logic ; v. 1)
    Wansing, Heinrich
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
    ProQuest Ebook Central - Academic Complete International
    2001
    전문보기 (Full Text Access)
  • 117
    Book Info
    Fuzzy Logic For Beginners
    Masao Mukaidono
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
  • 118
    Book Info
    High Speed Integrated Circuit Technology - Towards 100 Ghz Logic: Towards 100 GHz Logic
    Rodwell, Mark
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
    ProQuest Ebook Central - Academic Complete International
    2001
    전문보기 (Full Text Access)
  • 119
    Book Info
    Hybrid Parallel Execution Model for Logic-based Specification Languages (Series on software engineering and knowledge engineering ; v. 10)
    Li, Bing | P Tsai, Jeffrey J
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
    ProQuest Ebook Central - Academic Complete International
    2001
    전문보기 (Full Text Access)
  • 120
    Book Info
    New Paradigm of Knowledge Engineering By Soft Computing (Fuzzy Logic Systems Institute (FLSI) soft computing series ; v. 5)
    Ding, Liya
    EBSCO eBooks
    2001
    전문보기 (Full Text Access)
    ProQuest Ebook Central - Academic Complete International
    2001
    전문보기 (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