대구한의대학교 향산도서관

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
총 243건 중 243건 출력
10/25 페이지 엑셀파일 출력
제한항목
1995 삭제
검색결과제한
  • 자료유형
  • 발행년도

검색간략리스트

열거형 테이블형
Search Option
Service Form
91.
기사제목
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification  미리보기
기사저자명
M.Aagaard M.Leeser
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
92.
기사제목
Semaphore Queue Priority Assignment for Real-Time Multiprocesor Synchronization  미리보기
기사저자명
V.B.Lortz K.G.Shin
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
93.
기사제목
Reflections on Metaprogramming  미리보기
기사저자명
A.H.Lee J.L.Zachary
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
94.
기사제목
A*:A Language for Implementing Language Processors  미리보기
기사저자명
D.A.Ladd J.C.Ramming
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
95.
기사제목
Program Partition and Loagic Program Analysis  미리보기
기사저자명
J.L.Han
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
96.
기사제목
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets  미리보기
기사저자명
G.Bucci E.Vicario
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
97.
기사제목
A Performance and Cost Analysis of Applying Superscalar Methods to Mainframe Computers  미리보기
기사저자명
Y.Shintani K.Inoue E.Kamada
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
98.
기사제목
A Fast and Robust Network Bisection Algorithm  미리보기
기사저자명
Y.Saab
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
99.
기사제목
Application of Bipartite Graphs for Achieving Race-Free State Assignments  미리보기
기사저자명
J.-W.Kang C.-L.Wey P.D.Fisher
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
100.
기사제목
A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions  미리보기
기사저자명
Z.Zilic Z.Vranesic
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 10 다음 맨뒤
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.