Automata and computability / (Record no. 198337)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01179nmm a22002897a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | SPU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210709210539.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200720b1997 nyu|||||o|||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781461218449 (E-book) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | SPU |
| Transcribing agency | SPU |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 267 |
| Item number | K69A 1997 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 149381 |
| Personal name | Kozen, Dexter C. |
| Dates associated with a name | 1951- |
| 245 ## - TITLE STATEMENT | |
| Title | Automata and computability / |
| Statement of responsibility, etc. | Dexter C. Kozen |
| Medium | [electronic resource] |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | 1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xiii, 407 pages) |
| 449 ## - DEPARTMENT (SPU) | |
| Department name | บางเขน. สำนักวิชาศึกษาทั่วไป. คณิตศาสตร์ประยุกต์ |
| 490 ## - SERIES STATEMENT | |
| Series statement | Undergraduate texts in computer science |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index<br/> |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Introduction -- Finite automata and regular sets -- Pushdown automata and context --Languages -- Turing machines and Eeffective computability -- Exercises -- Homework Sets -- Miscellaneous Eexercises -- Hints and solutions |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 9 (RLIN) | 39137 |
| Topical term or geographic name entry element | MACHINE THEORY |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 9 (RLIN) | 48274 |
| Topical term or geographic name entry element | COMPUTABLE FUNCTIONS |
| 850 ## - HOLDING INSTITUTION | |
| Holding institution | SPU |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://drive.google.com/file/d/1SXOb6ywhabFCbNOZCPvQl9FR0QPb5P-U/view?usp=sharing">https://drive.google.com/file/d/1SXOb6ywhabFCbNOZCPvQl9FR0QPb5P-U/view?usp=sharing</a> |
| Link text | View Full-text |
| 910 ## - ACQUISITION INFORMATION (SPU) | |
| Purchaser | Library |
| Publisher | Springer |
| Accession date | 200720 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | E-Book |
| 998 ## - STAFF NAME (SPU) | |
| ผู้ลงรายการ | niparat 0720 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Coded location qualifier | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available | Electronic Resources | SPU Library, Bangkok (Main Campus) | SPU Library, Bangkok (Main Campus) | On Display | 20/07/2020 | Springer | QA 267 K69A 1997 | 9781461218449 | 20/07/2020 | 20/07/2020 | E-Book |