 |
ISBN
| 9780262720144 | |
DDC
| 004 | |
Nhan đề
| Handbook of theoretical computer science. Volume A / [Edited by] J van Leeuwen | |
Thông tin xuất bản
| Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1990. | |
Mô tả vật lý
| ix, 996 pages. : illustrations ; 25 cm. | |
Phụ chú
| Includes index. | |
Tóm tắt
| Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing. | |
Thuật ngữ chủ đề
| Computer science. | |
Thuật ngữ chủ đề
| Informatique. | |
Thuật ngữ chủ đề
| Algoritmen. | |
Khoa
| Khoa Công nghệ Thông tin | |
Tác giả(bs) CN
| Leeuwen, J. van | |
Địa chỉ
| 300Q12_Kho Mượn_02(1): 073119 |
| |
000
| 00000nam#a2200000u##4500 |
|---|
| 001 | 24847 |
|---|
| 002 | 15 |
|---|
| 004 | FC7DB288-3BF8-4E04-B05B-68791A4A0D0D |
|---|
| 005 | 202010151122 |
|---|
| 008 | 201015s1990 ne eng |
|---|
| 009 | 1 0 |
|---|
| 020 | |a9780262720144 |
|---|
| 039 | |a20201015112237|bnghiepvu|y20201015112048|znghiepvu |
|---|
| 040 | |aNTT |
|---|
| 041 | |aeng |
|---|
| 044 | |ane |
|---|
| 082 | |a004|bH23617|223 |
|---|
| 245 | |aHandbook of theoretical computer science. |nVolume A / |c[Edited by] J van Leeuwen |
|---|
| 260 | |aAmsterdam ; New York : Elsevier ; Cambridge, Mass. : |bMIT Press, |c1990. |
|---|
| 300 | |aix, 996 pages. : |billustrations ; |c25 cm. |
|---|
| 500 | |aIncludes index. |
|---|
| 520 | |aPresents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing. |
|---|
| 541 | |aDự án VN Book Drive |
|---|
| 650 | |aComputer science. |
|---|
| 650 | |aInformatique. |
|---|
| 650 | |aAlgoritmen. |
|---|
| 690 | |aKhoa Công nghệ Thông tin |
|---|
| 700 | |aLeeuwen, J. van|eedited |
|---|
| 852 | |a300|bQ12_Kho Mượn_02|j(1): 073119 |
|---|
| 856 | 1|uhttp://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/000 tinhocthongtin/anhbiasach/24847_handbook of theoretical computer science.thumbimage.jpg |
|---|
| 890 | |a1|b0|c0|d0 |
|---|
| |
| Dòng |
Mã vạch |
Nơi lưu |
S.gọi Cục bộ |
Phân loại |
Bản sao |
Tình trạng |
Thành phần |
Đặt chỗ |
|
1
|
073119
|
Q12_Kho Mượn_02
|
004 H23617
|
Sách mượn tại chỗ
|
1
|
|
|
|
Không có liên kết tài liệu số nào
|
|
|
|