소장자료
'소장자료' 에서 검색결과 2,167건
국외단행본
저자 : S?quin, Carlo H
출판사 : Cambridge, Mass. : MIT Press , c1991.
중앙도서관
대출가능
국외단행본
저자 : Sechen, Carl
출판사 : Boston : Kluwer Academic Publishers , 1988.
중앙도서관
대출가능
국외단행본
저자 : Reghbati, Hassan K
출판사 : Washington, D.C. : IEEE Computer Society Press
중앙도서관
대출가능
국외단행본
저자 : IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
출판사 : Amsterdam
중앙도서관
대출가능
국외단행본
저자 : IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
출판사 : Amsterdam
중앙도서관
대출가능
국외단행본
저자 : Agrawal, Vishwani D
출판사 : Washington, D.C. : Computer Society Press
중앙도서관
대출가능
국외단행본
저자 : Yoeli, Michael
출판사 : Los Alamos, Calif. : IEEE Computer Society Press , c1990.
중앙도서관
대출가능
국외단행본
저자 : Zukowski, Charles A
출판사 : Boston : Kluwer Academic Publishers , c1986.
중앙도서관
대출가능
국외단행본
저자 : Mukherjee, Amar
출판사 : Englewood Cliffs, N.J. : Prentice-Hall , c1986.
중앙도서관
대출가능
검색 결과 제한하기
제한된 항목(1)
전체 : SCALE
발행년도(115)
분관(8)
자료유형(5)
저자(19)
언어(7)
발행처(20)
주제(20)