-
1. Book
책제목 : Prolog : Einfuehrung in diee ProgrammierpraxisPeter SchnuppHanserc1986Call Number : 005.133-S362p- Available at :
- Circulation Desk(4F)
-
2. Thesis
책제목 : Segmentationsverfahren zur 3D-Visualisierung von Kernspintomogrammen des Kopfes : Evaluierung der Standardverfahren und Entwurf und Realisierung eines klinisch enisetzbaren Systemsvon Michael BomansUniversität Hamburg1994Call Number : DP005.1-B695s 박사학위논문- Available at :
- Preserved materials
-
3. Book
책제목 : Design of distributed operating systemsPaul J. FortierIntertext Publicationsc1986Call Number : 005.43-F741d- Available at :
- Circulation Desk(4F)
-
4. Book
책제목 : Object-oriented systems analysis : modeling the world in dataSally Shlaer, Stephen J. MellorYourdon Pressc1988Call Number : 005.1-S558o- Available at :
- Circulation Desk(4F)
-
5. Thesis
책제목 : Partitioned parallel signature file methods for information retrievalJeong-Ki KimChonbuk National Univ.1999Call Number : DP005.72-K495p 박사학위논문- Available at :
- Circulation Desk(4F)
-
6. Book
책제목 : Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.]edited by Manfred BroySpringer-Verlagc1987Call Number : 005.131-N279l- Available at :
- Circulation Desk(4F)
-
7. Thesis
책제목 : 객체지향 소프트웨어 개발 방법론의 활용에 관한 연구梁瑛錫漢陽大學校1999Call Number : DM005.115-양938ㄱ 석사학위논문- Available at :
- Circulation Desk(4F)
-
8. Thesis
책제목 : 멀티미디어를 利用한 季節의 變化 코스웨어 設計 및 具現朴崗洙朝鮮大學校1999Call Number : DM005.319-박165ㅁ 석사학위논문- Available at :
- Circulation Desk(4F)
-
9. Thesis
책제목 : Efficient algorithms for constructing multi-dimensional index data structures金東奎서울大學校1999Call Number : DP005.72-K493e 박사학위논문- Available at :
- Preserved materials
-
10. Thesis
책제목 : 弱 構造化 Ontology 기반 하에서 정보의 분류와 획득을 위한 지적 에이전트의 구현梁誠起朝鮮大學校1999Call Number : DM005.74-양918ㅇ 석사학위논문- Available at :
- Circulation Desk(4F)
-
11. Thesis
책제목 : 비주얼 자바 클래스 파일 브라우저의 설계 및 구현玉宰昊慶南大學校1999Call Number : DM005.13-옥847ㅂ 석사학위논문- Available at :
- Preserved materials
-
12. Thesis
책제목 : (A)non-strict remote data access model for distributed loop execution in multithreaded architecturesEunha RhoSeoul National Univ.1999Call Number : DP005.275-R474n 박사학위논문- Available at :
- Preserved materials
-
13. Thesis
책제목 : 정점 차수를 이용한 불규칙 삼각망 압축 기법박동규부산대학교1999Call Number : DP005.72-박288ㅈ 박사학위논문- Available at :
- Online (Onsite Access)
-
14. Thesis
책제목 : 프리젠테이션 동기화 트리를 기반으로하는 멀티미디어 프리젠테이션 모델崔惠吉忠南大學校1999Call Number : DP005.74-최976ㅍ 박사학위논문- Available at :
- Online (Onsite Access)
-
15. Thesis
책제목 : IRDS 기반 정보저장소와 CASE 도구 통합에의 활용金基奉忠南大學校1998Call Number : DP005.1-김276ㅇ 박사학위논문- Available at :
- Online (Onsite Access)
-
16. Thesis
책제목 : 병행 객체지향 프로그래밍 언어의 상속변칙 해결에 관한 연구朴英玉朝鮮大學校1999Call Number : DP005.13-박493ㅂ 박사학위논문- Available at :
- Online (Onsite Access)
-
17. Book
책제목 : Concurrent prolog : collected papers. Vol. 1-Vol. 2edited by Ehud Shapiro;with a foreword by Kazuhiro FuchiMIT Pressc1987Call Number : 005.133-C744-1-2- Available at :
- Circulation Desk(4F)
-
18. Thesis
책제목 : ILP 프로세서의 최적화 컴파일러를 위한 레지스터 할당 기법에 관한 연구崔俊起順天鄕大學校1999Call Number : DP005.453-최911ㅇ 박사학위논문- Available at :
- Online (Onsite Access)
-
19. Thesis
책제목 : Core haskell의 수퍼컴파일러 구현崔基煥漢陽大學校1999Call Number : DM005.453-최653ㅋ 석사학위논문- Available at :
- Circulation Desk(4F)
-
20. Thesis
책제목 : 질의 완화를 기반으로 한 지능적인 질의 응답 시스템黃惠貞淑明女子大學校1999Call Number : DP005.74-황722ㅈ 박사학위논문- Available at :
- Online (Onsite Access)
-
21. Thesis
책제목 : Mathematisches Informations-Engineering Daten- und Transaktions-orientierter Sofentwurf oder Transaktionen in der Wissensreprasentationvon Martin WeigeleUniversität Hamburg1993Call Number : DP005.74-W419m 박사학위논문- Available at :
- Preserved materials
-
22. Book
책제목 : Fundamentals of operating systemA.M. Lister, R.D. EagerMacmillan Education1988Call Number : 005.43-L773f4- Available at :
- Circulation Desk(4F)
-
23. Book
책제목 : (The)foundations of program verificationJacques Loeckx and Kurt Sieber, in collaboration with Ryan D. StansiferB.G. Teubner : John Wiley & Sonsc1987Call Number : 005.14-L825f2- Available at :
- Circulation Desk(4F)
-
24. Book
책제목 : Distributed algorithms and protocolsMichel Raynal;translated by Jack HowlettJohn Wiley & Sonsc1988Call Number : 005.1-R274d- Available at :
- Circulation Desk(4F)
-
25. Book
책제목 : Assembly language for engineersPeter J. MoylanEllis Horwood : Halsted Press1987Call Number : 005.136-M938a- Available at :
- Circulation Desk(4F)
-
26. Thesis
책제목 : 인터넷 상에서 SET기반 전자상거래 시스템의 설계曺瑛珠朝鮮大學校1999Call Number : DM005.319-조783ㅇ 석사학위논문- Available at :
- Circulation Desk(4F)
-
27. Thesis
책제목 : 建設工事 標準示方書를 위한 SGML 應用姜玟求忠南大學校1999Call Number : DM005.74-강741ㄱ 석사학위논문- Available at :
- Circulation Desk(4F)
-
28. Thesis
책제목 : 안전한 전자계약 및 전자투표에 관한 연구朴喜雲順天鄕大學校1999Call Number : DM005.8-박794ㅇ 석사학위논문- Available at :
- Circulation Desk(4F)
-
29. Book
책제목 : Initial computability, algebraic specifications, and partial algebrasHorst ReichelClarendon Pressc1987Call Number : 005.131-R349i- Available at :
- Circulation Desk(4F)
-
30. Book
책제목 : Informatik-eine konstruktive Einfuehrung : LISP, PROLOG und andere Konzepte der Programmierungvon Peter Schefe unter Mitarbeit von Michael HussmannWissenschaftsverlagc1987Call Number : 005.13-S316i2- Available at :
- Circulation Desk(4F)
Advanced Search
Topic Input? Search Guide-Exact Match: Topic words that start with the keyword you entered.-Reverse Match: Topic words that end with the keyword you entered.-Partial Match: Topic words that include the keyword you entered.×
[Topic Selection and Integrated Search]
After selecting a term from the glossary, if you choose a relational term for that term, it will be applied to the integrated search list, allowing you to conduct integrated topic searches. (Multiple selection of relational terms is possible)
Search Classification Name
| Classification Code | Classification Name |
|---|
Search Call Number Name
| Call Number | Call Number Name |
|---|
Search Korean University Name
| Korean University Code | Korean University Name |
|---|
Search Korean Government Institution Name
| Korean Government Institution Code | Korean Government Institution Name |
|---|
MARC 보기
| TAG | IND | 내용 |
|---|
Search History
※ The number of holdings is 10.
| Material Type Classification | Search Query | Number of Searches |
|---|---|---|
| 전체 | (제목 or 저자: 국내) | 67345 |
This website is the official e-government website of Korea.