◈ 학술지
◈ 도서
◈ 전자학술지
◈ 투고요령
◈ 수학신간도서
◈ MSC
◈ 논문검색
◈ 학술행사
홈 > 학술정보 > 도서검색
(1322/1327) Total: 13,261 
High-integrity software / / edited by C. T. Sennett. / New York : Plenum Press, c1989.


Computer aided verification : / Rajeev Alur, Thomas A. Henzinger, eds. / Berlin ; New York : Springer-Verlag, c1996.


Computer aided verification : / Pierre Wolper, ed. / Berlin ; New York : Springer-Verlag, c1995.


Computer aided verification : / David L. Dill, ed. / Berlin ; New York : Springer-Verlag, c1994.


Computer aided verification : / Costas Courcoubetis, ed. / Berlin ; New York : Springer-Verlag, c1993.


The Norton utilities / / John L. Viescas. / Redmond, Wash. : Microsoft Press, c1990.


UNIX system V release 4 internals 2 -- the VM and I/O subsystems : / by George Bittner, Steve Rago. / USENIX , c1993.


Symmetric Multiprocessing and Caching in UNIX Kernels : 176 p. : / by Curt Schimmel.v300 31 cm. / USENIX c1993.


PC tools 7.1 사용법 / / 김권식 편. / 서울 : 가남사, 1992.


노턴 실용 프로그램 / / Peter Norton's [저] ; / 서울 : 홍릉과학출판사, 1987.


1321 1322 1323 1324 1325 1326 1327
개인정보보호정책 l 이메일주소집단수집금지 l 뷰어다운로드
qr코드