주메뉴 바로가기
본문 바로가기(skip to content)
퀵메뉴 바로가기
마이메뉴 바로가기
도서관정보 바로가기
글로벌메뉴
주메뉴
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
ScienceON Search
FRIC Search
신청내역
관리자 목록
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
이용안내
신청방법
저널목록
인기 학술지
원문검색
CNU Search
RISS Search
NDSL Search
FRIC Search
신청내역
센터소개
소개
연혁
운영시간
조직
게시판
센터소식
이용문의
자료실
CNU Search
|
Home
>
원문검색
>
CNU Search
>
가나다리스트
탭메뉴
기본검색
가나다리스트
전체
ㅣ
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
ㅣ
가
나
다
라
마
바
사
아
자
차
카
타
파
하
기타
검색 타입
전체
서명
저자
발행처
ISSN
수록DB
키워드
전방일치
완전일치
결과내 검색
검색어
[가나다ABC : S]
총
605
건 중
605
건 출력
28/31
페이지
제한항목
Institute of Electrical and Electronics Engineers]
검색결과제한
자료유형
기사
(605)
저자
Andreev, N E
(4)
Engel, T G
(3)
Lau, Y Y
(3)
Novac, B M
(3)
Brown, L F
(2)
Cheng, A M K
(2)
Christie, P
(2)
Dumbrajs, O
(2)
Evans, R A
(2)
Garrett, H B
(2)
Hartmann, W
(2)
Long, J R
(2)
Najmudin, Z
(2)
Neuber, A A
(2)
Perry, D E
(2)
Rim, G-H
(2)
Savage, M E
(2)
Shkuratov, S I
(2)
Zhao, J
(2)
Abdelzaher, T F
(1)
Abe, D K
(1)
Abe, H
(1)
Adve, V S
(1)
Ailon, A
(1)
Akiyama, T
(1)
더보기
(20)
more...
더보기 취소
출판사
Institute of Electrical and Electronics Engineers
(571)
Institute of Electrical and Electronics Engineers]
(34)
발행년도
2000
(605)
검색간략리스트
항목선택
서명
저자
발행처
원문제공시작년
정렬
오름차순
내림차순
5
10
15
20
30
50
100
541.
서명
SPECIAL SECTION ON STATISTICAL METROLOGY - SPECIAL SECTION PAPERS - Analysis of the Impact of Process Variations on Clock Skew/
저자
Zanella, S
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
542.
서명
SPECIAL SECTION ON STATISTICAL METROLOGY - SPECIAL SECTION PAPERS - A Novel Filtering Method to Extract Three Critical Yield Loss Components (Gross, Repeated, and Random) FIMER/
저자
Imai, K
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
543.
서명
SPECIAL SECTION ON STATISTICAL METROLOGY - SPECIAL SECTION PAPERS - Calibration of a Two-Dimensional Numerical Model for the Optimization of LOCOS-Type Isolations by Response Surface Methodology/
저자
Senez, V
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
544.
서명
SPECIAL SECTION ON STATISTICAL METROLOGY - SPECIAL SECTION PAPERS - Effect of Parameter Variations at Chip and Wafer Level on Clock Skews/
저자
Sauter, S
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
545.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - A Formal Security Model for Microprocessor Hardware/
저자
Lotz, V
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
546.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - A Weakest Precondition Semantics for Refinement of Object-Oriented Programs/
저자
Cavalcanti, A
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
547.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - Formal Development and Verification of a Distributed Railway Control System/
저자
Haxthausen, A E
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
548.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology/
저자
Marchand, H
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
549.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - Is Proof More Cost-Effective Than Testing?/
저자
King, S
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
550.
서명
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - On Formal Methods in the Development of Computing Systems/
저자
Wing, J M
발행처
Institute of Electrical and Electronics Engineers]
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
551.
서명
SPECIAL SECTION PAPERS - Hierarchical System Test by an IEEE 1149.5 MTM-Bus Slave-Module Interface Core/
저자
Hong, J-H
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
552.
서명
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Experiences with a Software Maintenance Project Course/
저자
Andrews, J H
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
553.
서명
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Formal Methods: Mathematics, Computer Science, or Software Engineering?/
저자
Tremblay, G
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
554.
서명
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Learning Systems Design with UML and Patterns/
저자
Cybulski, J L
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
555.
서명
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Student Group Working Across Universities: A Case Study in Software Engineering/
저자
Brereton, O P
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
556.
서명
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - University/Industry Collaboration in Developing A Simulation-Based Software Project Management Training Course/
저자
Collofello, J S
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
557.
서명
SPECIAL SECTION PAPERS - Performance Improvement of Geographically Distributed Cosimulation by Hierarchically Grouped Messages/
저자
Yoo, S
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
558.
서명
SPECIAL SECTION PAPERS - Scheduling with Bus Access Optimization for Distributed Embedded Systems/
저자
Eles, P
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
559.
서명
SPECIAL SECTION TRANSACTIONS BRIEFS - A Compositional Model for the Functional Verification of High-Level Synthesis Results/
저자
Borrione, D
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
560.
서명
SPECIAL SECTION TRANSACTIONS BRIEFS - Exact Memory Size Estimation for Array Computations/
저자
Zhao, Y
발행처
Institute of Electrical and Electronics Engineers
원문제공시작년
2000
자료유형
저널기사
원문복사 신청
원문제공마감년
21
22
23
24
25
26
27
28
29
30
임시보관함보기
하단메뉴