Introduction to the theory of computation / (Record no. 6033)

000 -LEADER
fixed length control field 01701cam a2200433Ma 4500
001 - CONTROL NUMBER
control field u11320
003 - CONTROL NUMBER IDENTIFIER
control field SA-PMU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210418124051.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 111120s2013 maua b 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency LVB
Language of cataloging fre
Transcribing agency LVB
Modifying agency UTO
-- OCLCO
-- ZWZ
-- OCLCF
-- RUQBL
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781133187790
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 113318779X
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)811603126
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267
Item number .S56 2013
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 20
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier ZWZ
System control number 167250892
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Sipser, Michael.
245 10 - TITLE STATEMENT
Title Introduction to the theory of computation /
Statement of responsibility, etc. Michael Sipser.
250 ## - EDITION STATEMENT
Edition statement 3rd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston, MA :
Name of publisher, distributor, etc. Cengage Learning,
Date of publication, distribution, etc. c2013.
300 ## - PHYSICAL DESCRIPTION
Extent xxii, 458 p. :
Other physical details ill. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliogr.: p. 443-447.
505 00 - FORMATTED CONTENTS NOTE
Miscellaneous information 1.
Title Regular languages --
Miscellaneous information 2.
Title Context-free languages --
Miscellaneous information 3.
Title The Church-Turing thesis --
Miscellaneous information 4.
Title Decidability --
Miscellaneous information 5.
Title Reducibility --
Miscellaneous information 6.
Title Advanced topics in computability theory --
Miscellaneous information 7.
Title Time complexity --
Miscellaneous information 8.
Title Space complexity --
Miscellaneous information 9.
Title Interactibility --
Miscellaneous information 10.
Title Advanced topics in complexity theory.
596 ## -
-- 1
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Théorie des automates.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Complexité de calcul (Informatique)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automates mathématiques, Théorie des.
Source of heading or term ram
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Complexité de calcul (informatique).
Source of heading or term ram
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Informatique
General subdivision Modèles mathématiques.
Source of heading or term ram
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Turing, Machines de.
Source of heading or term ram
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Décidabilité (logique mathématique).
Source of heading or term ram
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
Source of heading or term fast
Authority record control number or standard number (OCoLC)fst00871991
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
Source of heading or term fast
Authority record control number or standard number (OCoLC)fst01004846
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
994 ## -
-- Z0
-- SUPMU
948 ## - LOCAL PROCESSING INFORMATION (OCLC); SERIES PART DESIGNATOR (RLIN)
h (OCLC) NO HOLDINGS IN SUPMU - 15 OTHER HOLDINGS
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Public note
          Main Library Main Library 04/18/2021   QA267 .S56 2013 51952000206521 04/15/2021 1 04/15/2021 Books STACKS