Automata and computability / (Record no. 9383)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01132cam a2200313 i 4500 |
001 - CONTROL NUMBER | |
control field | 36195 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | 0000000000 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240411192849.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 961104s1997 nyu s 000 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 978-1-4612-7309-7 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)35911836 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | DLC |
Description conventions | rda |
Transcribing agency | DLC |
Modifying agency | C#P |
Language of cataloging | eng |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA267 |
Item number | .K69 1997 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Edition number | 21 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Kozen, Dexter, |
Dates associated with a name | 1951- |
245 10 - TITLE STATEMENT | |
Title | Automata and computability / |
Statement of responsibility, etc. | Dexter C. Kozen. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | New York : |
Name of producer, publisher, distributor, manufacturer | Springer, |
Date of production, publication, distribution, manufacture, or copyright notice | [1997] |
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Date of production, publication, distribution, manufacture, or copyright notice | ℗♭1997 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xiii, 400 pages : |
Other physical details | illustrations ; |
Dimensions | 24 cm. |
336 ## - CONTENT TYPE | |
Content type term | text |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Source | rdacarrier |
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Undergraduate texts in computer science |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references (pages [373]-379) and index |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computable functions. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Machine theory. |
856 ## - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://drive.google.com/file/d/1Zl3SPnfSb-iUkfsL4Ft-3IdEkW42KXT8/view?usp=sharing">https://drive.google.com/file/d/1Zl3SPnfSb-iUkfsL4Ft-3IdEkW42KXT8/view?usp=sharing</a> |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Main Library | Main Library | E-Resources | 06/24/2020 | 511.3 K88 | E000244 | 03/07/2024 | 03/07/2024 | E-Resources |