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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
총 88건 중 88건 출력
7/9 페이지 엑셀파일 출력
제한항목
1990 삭제
1990 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
검색리스트 테이블
No 자료
유형		 기사제목 기사저자명 출판사 발행년 수록
매체
61 NotFound Modeling of Hierarchical Distributed Systems with Fault-Tolerance 미리보기
Y.-B.Shieh D.Ghosal P.R.Chintamaneni IEEE computer society 1990
62 NotFound Recalibrating Software Reliability Models 미리보기
S.Brocklehurst P.Y.Chan B.Littlewood IEEE computer society 1990
63 NotFound ABYSS: An Architecture for Software Protection 미리보기
S.R.White L.Comerford IEEE computer society 1990
64 NotFound A Language for Specifying Program Transformations 미리보기
D.Hildum J.Cohen IEEE computer society 1990
65 NotFound A Transportable Programming Language (TPL) System-Ⅱ: The Bifunctional Compiler System 미리보기
S.Leong S.Jodis K.Sullivan IEEE computer society 1990
66 NotFound Specifying Ada Server Tasks with Executable Formal Grammars 미리보기
D.Hemmendinger IEEE computer society 1990
67 NotFound A Relational Notation for State Transition Systems 미리보기
S.S.Lam A.U.Shankar IEEE computer society 1990
68 NotFound Some Properties of Timed Token Medium Access Protocols 미리보기
A.Valenzano P.Montuschi L.Ciminiera IEEE computer society 1990
69 NotFound Automated Software Test Data Generation 미리보기
B.Korel IEEE computer society 1990
70 NotFound State Constraints and Pathwise Decomposition of Programs 미리보기
J.C.Huang IEEE computer society 1990
1 2 3 4 5 6 7 8 9 
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.