주메뉴 바로가기
본문 바로가기
퀵메뉴 바로가기
마이메뉴 바로가기
도서관 정보 바로가기
링크메뉴
대구한의대학교
ENGLISH
CHINESE
JAPANESE
SITEMAP
로그인
주메뉴
자료검색
소장자료+타기관자료검색
단행본+목차
연속간행물
학위논문
멀티미디어자료
기사색인
고문헌
전자책
신착/인기자료
전자정보검색
오디오북
전자책
전자잡지(교양)
국내학술 DB
국외학술 DB
E-learning
Hot Article
전자저널 A-Z
SFX(구독자원연계) 이용안내
전국대학 학위논문검색
논문 표절검사 솔루션
이용안내
소개
개관시간
대출/반납
실별안내
편의시설
전자정보 교외접속안내
도서기증
이용교육자료
연구지원서비스
특별회원제도 안내
LIFE 독서 마라톤
DHU독서샘물
게시판
공지사항
자주묻는질문
묻고답하기
자료실
베스트 셀러
추천도서
My Library
대출현황/연장/예약
캠퍼스간대출신청현황
자료배달신청현황
희망도서신청
나의서평
타기관자료이용신청
보관함신청
그룹스터디룸
영상시설이용
관심도서리스트
소재불명도서 신고처리현황
교육 및 참가신청
개인정보관리
전체메뉴
자료검색
소장자료+타기관자료검색
단행본+목차
연속간행물
학위논문
멀티미디어자료
기사색인
고문헌
전자책
신착/인기자료
전자정보검색
오디오북
전자책
전자잡지(교양)
국내학술 DB
국외학술 DB
E-learning
Hot Article
전자저널 A-Z
SFX(구독자원연계) 이용안내
전국대학 학위논문검색
논문 표절검사 솔루션
이용안내
소개
개관시간
대출/반납
실별안내
편의시설
전자정보 교외접속안내
도서기증
이용교육자료
연구지원서비스
특별회원제도 안내
LIFE 독서 마라톤
DHU독서샘물
게시판
공지사항
자주묻는질문
묻고답하기
자료실
베스트 셀러
추천도서
My Library
대출현황/연장/예약
캠퍼스간대출신청현황
자료배달신청현황
희망도서신청
나의서평
타기관자료이용신청
보관함신청
그룹스터디룸
영상시설이용
관심도서리스트
소재불명도서 신고처리현황
교육 및 참가신청
개인정보관리
주메뉴
소장자료+타기관자료검색
단행본+목차
연속간행물
학위논문
멀티미디어자료
기사색인
고문헌
전자책
신착/인기자료
오디오북
전자책
전자잡지(교양)
국내학술 DB
국외학술 DB
E-learning
Hot Article
전자저널 A-Z
SFX(구독자원연계) 이용안내
전국대학 학위논문검색
논문 표절검사 솔루션
소개
개관시간
대출/반납
실별안내
편의시설
전자정보 교외접속안내
도서기증
이용교육자료
연구지원서비스
특별회원제도 안내
LIFE 독서 마라톤
DHU독서샘물
공지사항
자주묻는질문
묻고답하기
자료실
베스트 셀러
추천도서
대출현황/연장/예약
캠퍼스간대출신청현황
자료배달신청현황
희망도서신청
나의서평
타기관자료이용신청
보관함신청
그룹스터디룸
영상시설이용
관심도서리스트
소재불명도서 신고처리현황
교육 및 참가신청
개인정보관리
자료검색
기사색인
자료검색
기사색인
검색 타입
전체
기사제목
기사저자명
출판사
수록잡지명
전체
기사제목
기사저자명
출판사
수록잡지명
키워드
전방일치
완전일치
결과내 검색
검색어
[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총
659
건 중
500
건 출력
35/50
페이지
검색결과제한
자료유형
기사
(659)
발행년도
1998
(81)
1997
(62)
1996
(65)
1995
(83)
1994
(70)
1993
(85)
1992
(90)
1991
(35)
1990
(88)
더보기
(4)
더보기 취소
검색간략리스트
Search Option
항목선택
기사제목
기사저자명
출판사
발행년
정렬
오름차순
내림차순
5
10
15
20
30
50
100
Service Form
341.
기사제목
Representing Software Engineering Models: The TAME Goal Oriented Approach
기사저자명
M.Oivo V.R.Basili
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
342.
기사제목
Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality
기사저자명
B.Ciciani D.M.Dias P.S.Yu
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
343.
기사제목
Seesoft-A Tool for Visualizing Line-Oriented Software Statistics
기사저자명
S.G.Eick J.L.Steffen E.E.Sumner Jr.
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
344.
기사제목
A Specificational Approach to High-Level Program Monitoring and Measuring
기사저자명
Y.Liao D.Cohen
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
345.
기사제목
A Logic-Based Approach to Reverse Engineering Tools Production
기사저자명
G.Canfora A.Cimitile U.de Carlini
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
346.
기사제목
Program Concept Recognition and Transformation
기사저자명
W.Kozaczynski J.Ning A.Engberts
출판사
IEEE computer society
발행년
1992
자료유형
저널기사
347.
기사제목
State-Based Model Checking of Event-Driven System
기사저자명
J.M.Atlee J.Gannon
출판사
IEEE computer society
발행년
1993
자료유형
저널기사
348.
기사제목
Specifying and Verifying Requirement of Real-Time Systems
기사저자명
A.P.Ravn H.Rischel K.M.Hansen
출판사
IEEE computer society
발행년
1993
자료유형
저널기사
349.
기사제목
Performance Comparison of Three Modern DBMS Architectures
기사저자명
A.Delis N.Roussopoulos
출판사
IEEE computer society
발행년
1993
자료유형
저널기사
350.
기사제목
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations
기사저자명
J.Xu
출판사
IEEE computer society
발행년
1993
자료유형
저널기사
31
32
33
34
35
36
37
38
39
40
바구니보기
Serial Form
MY MENU