국방대학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00602nam ac200205 k 4500
-
001
000003587415
-
005
20220101120000
-
007
ta
-
008
010731s1994 US 000 eng
-
040
▼a 211070
▼c 211070 -
049
▼l WM0003029559
▼v 841 -
050
▼a QA75.5
-
090
▼a QA75.5
▼b L4
▼c 841 -
245
▼a MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1994/
▼d PRIVARA, IGOR;
▼e ROVAN, BRANISLAV;
▼e RUZICKA, PETER -
260
▼a BERLIN:
▼b SPRINGER-VERLAG,
▼c 1994. -
300
▼a 628p.
-
440
▼a LECTURE NOTES IN COMPUTER SCIENCE 841
-
700
▼a PRIVARA, IGOR
-
700
▼a ROVAN, BRANISLAV
-
700
▼a RUZICKA, PETER
-
991
▼a 단행본
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1994
QR코드| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | QA75.5 |
| 서명/저자사항 : | MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1994/ PRIVARA, IGOR; ROVAN, BRANISLAV; RUZICKA, PETER |
| 발행사항 : | BERLIN: SPRINGER-VERLAG, 1994. |
| 형태사항 : | 628p. |
| 총서사항 : | LECTURE NOTES IN COMPUTER SCIENCE 841 |
| 개인저자 : | PRIVARA, IGOR |
| 개인저자 : | ROVAN, BRANISLAV |
| 개인저자 : | RUZICKA, PETER |
| 언어 | 영어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
WMO199929241
권 호 : 628
발행년 : 1994
서 명 : MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1994
발행처 : PRIVARA, IGOR
목차
1. MODELS,LANGUAGES,AND COMPILER TECHNOLOGY FOR HIGH PERFORMANCE COMPUTER
2. ON NC-REAL COMPLEXITY CLASSES FOR ADDITIVE CIRCUITS AND THEIR RELATION
3. WITH NC
4. E-COMPLETE SETS DO NOT HAVE OPTIMAL POLYNOMIAL TIME APPROXIMATIONS
5. SOLVING POLYNOMIAL FIXED POINT EQUATIONS
6. CAPTURING COMPLEXITY CLASSES WITH LINDSTROM QUANTIFIERS
7. COMMUNICATION THROUGHPUT OF INTERCONNECTION NETWORKS
8. INTUITIVE COUNTEREXAMPLES FOR CONSTRUCTIVE FALLACIES
9. ALGEBRAIC METHODS IN THE COMPOSITIONAL ANALYSIS OF LOGIC PROGRAMS
10. LONGEST COMMON SUBSEQUENCES
11. TOWARDS DNA SEQUENCING CHIPS
12. ON-LINE SCHEDULING OF PARALLEL JOBS
13. STABLE BISTRUCTURE MODELS OF PCF
14. A COMPETITIVE ANALYSIS OF THE LIST UPDATE PROBLEM WITH LOOKAHEAD
15. MAY AND MUST CONVERGENCY IN CONCURRENT CALCULUS
16. GENERICITY AND MEASURE FOR EXPONENTIAL TIME...
서평쓰기