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

MARC details
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081026s2006 maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2006271030
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0534950973
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780619217648
035 ## - SYSTEM CONTROL NUMBER
System control number (Sirsi) u945
040 ## - CATALOGING SOURCE
Original cataloging agency EG-CaNU
Transcribing agency EG-CaNU
Modifying agency EG-CaNU
042 ## - AUTHENTICATION CODE
Authentication code ncode
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.35
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Sipser, Michael.
9 (RLIN) 16937
245 10 - TITLE STATEMENT
Title Introduction to the theory of computation /
Statement of responsibility, etc. Michael Sipser.
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston :
Name of publisher, distributor, etc. Thomson Course Technology,
Date of publication, distribution, etc. 2006.
300 ## - PHYSICAL DESCRIPTION
Extent xix, 431 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 415-419) and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Introduction Part 1: Automata and Languages 1. Regular Languages 2. Context-Free Languages Part 2: Computability Theory 3. The Church-Turing Thesis 4. Decidability 5. Reducibility 6. Advanced Topics in Computability Theory Part 3: Complexity Theory 7. Time Complexity 8. Space Complexity 9. Intractability 10. Advanced Topics in Complexity Theory Selected Bibliography
520 3# - SUMMARY, ETC.
Summary, etc. This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
596 ## -
-- 1
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title Bioinformatics.
9 (RLIN) 475
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
9 (RLIN) 16939
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
9 (RLIN) 993
920 ## -
-- 0619217642
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Total Renewals Full call number Barcode Date last seen Date last checked out Copy number Price effective from Koha item type
    Dewey Decimal Classification     Main library Main library General Stacks 01/26/2020 PURCHASE 2 3 511.35 / SI.I 2007 001165 01/15/2023 10/17/2022 1 11/24/2019 Books