MARC 닫기
00871nam a2200253 u 4500
000000419840
20120927203336
980228s1981 us b 001 eng
▼a 0132734176:
▼c $21.00
▼a KMAL
▼l AZ0000184383
▼a 511
▼a 511
▼b R32e
▼a Elements of the theory of computation/
▼d Harry R. Rewis, Christos H. Papadmitriou.
▼a Englewood Cliffs, N.J.:
▼b Prentice-Hall,
▼c c1981.
▼a xiv, 466 p.;
▼c 24 cm.
▼a Prentice-Hall software series
▼a Includes bibliographical references and index.
▼a Machine theory.
▼a Formal languages.
▼a Computatioal complexity.
▼a Logic, symbolic and mathematical.
▼a ELEMENTS
▼a OF
▼a THE
▼a THEORY
▼a COMPUTATION
▼a PRENTICEHALL
▼a SOFTWARE
▼a SERIES
▼a Rewis, Harry R,
▼a Papadmitriou, Christos H,
▼a 단행본
▼a 511
▼b R32e
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 0132734176: |
| 분류기호 : | 511 |
| 서명/저자사항 : | Elements of the theory of computation/ Harry R. Rewis, Christos H. Papadmitriou. |
| 발행사항 : | Englewood Cliffs, N.J.: Prentice-Hall, c1981. |
| 형태사항 : | xiv, 466 p.; 24 cm. |
| 총서사항 : | Prentice-Hall software series |
| 서지주기 : | Includes bibliographical references and index. |
| 일반주제명 : | Machine theory. -- |
| 일반주제명 : | Formal languages. -- |
| 일반주제명 : | Computatioal complexity. -- |
| 일반주제명 : | Logic, symbolic and mathematical. -- |
| 개인저자 : | Rewis, Harry R, |
| 개인저자 : | Papadmitriou, Christos H, |
| 분류기호 : | 511 |
| 언어 | 영어 |
코스모스 [3판]
523.1 S129cㅎ3
수학이란 무엇인가
510.8 경36
비트겐슈타인의 수학의 기초에 관한 강의 : Cambridge 1939
510.1 W831wㅂ
불확실성에 맞서는 기술 : 실업률, 주식, 전쟁, 기후변화, AI까지
519.2 S755aㅇ
나 없이는 존재하지 않는 세상 : 카를로 로벨리의 기묘하고 아름다운 양자 물리학
530.12 R873hㄱ
서평쓰기