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

MARC details
000 -LEADER
fixed length control field 03046cam a2200385 i 4500
001 - CONTROL NUMBER
control field 14218587
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230615115008.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 060104s2013 maua b 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2006271030
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781133187813
Qualifying information paperback
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency DLC
-- EG-CaTKH
Description conventions rda
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267
Item number .S56 2006
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.35 SI.I 2013
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Sipser, Michael,
Relator term author.
245 10 - TITLE STATEMENT
Title Introduction to the theory of computation /
Statement of responsibility, etc. Michael Sipser.
250 ## - EDITION STATEMENT
Edition statement Third edition, international edition.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Australia :
Name of producer, publisher, distributor, manufacturer Cengage Learning,
Date of production, publication, distribution, manufacture, or copyright notice 2013.
300 ## - PHYSICAL DESCRIPTION
Extent xxii, 458 pages :
Other physical details illustrations ;
Dimensions 24 cm.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term unmediated
Media type code n
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term volume
Carrier type code nc
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (pages 443-447) and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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. Interactibility -- 10. Advanced topics in complexity theory.
520 ## - SUMMARY, ETC.
Summary, etc. Clearly present even the most complex computational theory topics to your students using Sipser's textbook. This updated edition continues Sipser's approachable style with timely revisions, additional exercises, and more memorable examples in key areas. $b Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E, International Edition. The number one choice for today's computational theory course, this revision continues the book's well-known, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E, International Edition's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.
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.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's name yomna.nassar
Cataloging process P
First Date, FD (RLIN) 20230601
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's name mona.romia
Cataloging process R
First Date, FD (RLIN) 20230604
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Contributor biographical information
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c origcop
d 2
e ncip
f 20
g y-gencatlg
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Date last checked out Price effective from Koha item type
    Dewey Decimal Classification     Computing The Knowledge Hub Library The Knowledge Hub Library 09/08/2020 1 511.35 SI.I 2013 190508 11/02/2021 09/15/2021 09/08/2020 Books