000 -LEADER |
fixed length control field |
01107nam a22003017a 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20190711172022.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
180530b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9789814221931 [newsprint] |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
University of Cebu- Banilad |
Transcribing agency |
University of Cebu- Banilad |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Sipser, Michael, |
245 ## - TITLE STATEMENT |
Title |
Introduction to the theory of computation / |
Statement of responsibility, etc |
Michael Sipser. |
250 ## - EDITION STATEMENT |
Edition statement |
Second edition ; International edition. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Australia : |
Name of publisher, distributor, etc |
Thompson Course Technology, |
Date of publication, distribution, etc |
c2007. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xvii, 437 pages : |
336 ## - CONTENT TYPE |
Source |
rdacontent |
Content type term |
text |
337 ## - MEDIA TYPE |
Source |
rdamedia |
Media type term |
unmediated |
338 ## - CARRIER TYPE |
Source |
rdacarrier |
Carrier type |
volume |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
505 ## - FORMATTED CONTENTS NOTE |
Formatted contents note |
Contents: Part one Automata and languages -- Part two Computability theory -- Part three Complexity theory. |
541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Deans/Chairperson |
|
Department |
|
Subject Category |
Education : Math |
546 ## - LANGUAGE NOTE |
Language note |
English |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Machine theory |
Form subdivision |
computation. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Type of record |
Book |
998 ## - LOCAL CONTROL INFORMATION (RLIN) |
Encoded by |
Charmaine[new] |
Date encoded |
05/30/2018 |
998 ## - LOCAL CONTROL INFORMATION (RLIN) |
Encoded by |
Aillen[checked] |
Date encoded |
07/11/2019 |