The MathNet Korea
Information Center for Mathematical Science

도서

Information Center for Mathematical Science

도서

총 13261건

13221 (AN) OPEN LOODK AT UNIX : / A DEVELOPER'S GUIDE TO X /MILLER, JOHN DAVID / REDWOOD : M&T BOOKS, 1990.
13220 노턴 실용 프로그램 / / Peter Norton's [저] ; / 서울 : 홍릉과학출판사, 1987.
13219 PC tools 7.1 사용법 / / 김권식 편. / 서울 : 가남사, 1992.
13218 Symmetric Multiprocessing and Caching in UNIX Kernels : 176 p. : / by Curt Schimmel.v300 31 cm. / USENIX c1993.
13217 UNIX system V release 4 internals 2 -- the VM and I/O subsystems : / by George Bittner, Steve Rago. / USENIX , c1993.
13216 The Norton utilities / / John L. Viescas. / Redmond, Wash. : Microsoft Press, c1990.
13215 Computer aided verification : / Costas Courcoubetis, ed. / Berlin ; New York : Springer-Verlag, c1993.
13214 Computer aided verification : / David L. Dill, ed. / Berlin ; New York : Springer-Verlag, c1994.
13213 Computer aided verification : / Pierre Wolper, ed. / Berlin ; New York : Springer-Verlag, c1995.
13212 Computer aided verification : / Rajeev Alur, Thomas A. Henzinger, eds. / Berlin ; New York : Springer-Verlag, c1996.
13211 High-integrity software / / edited by C. T. Sennett. / New York : Plenum Press, c1989.
13210 Software inspection : / [edited by] David A. Wheeler, Bill Brykczynski, Reginald N. Meeson, Jr. / Los Alamitos, Calif. : IEEE Computer Society Press, 1996.
13209 가장 빨리 배울수있는 한글 윈도우95 / / 엠제이 기획. / 서울 : 성안당, 1996
13208 쉽게 배우는 한글윈도95 / / 강민구 ; / 서울 : 삼각형, 1996
13207 윈도우즈 3.1 & 베스트 어플리케이션 = / 권원길 편저. / 서울 : 한국컴퓨터매거진, 1993.
13206 안녕하세요 한글윈도우95 / / 김영훈 저. / 서울 : 정보문화사, 1996
13205 한글 Windows95 따라하기 / / 김우용 저. / 서울 : 아이콘, 1996
13204 X윈도우 시스템 프로그래밍 = / 김충석 著. / 서울 : 이한출판사, 1994.
13203 (초보자를 위한) 윈도우즈 3.1 어플리케이션 / / 박우영 지음. / 서울 : 에스컴, 1992.
13202 (입문에서 응용까지) X 윈도우 시스템 프로그래밍 / / 박준모 ; / 서울 : 세운, 1995.