Languages and machines : (Record no. 58396)

MARC details
000 -LEADER
fixed length control field 02757 a2200397 4500
001 - CONTROL NUMBER
control field 58396
003 - CONTROL NUMBER IDENTIFIER
control field TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200526145240.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070115s2006 maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004030342
019 ## -
-- 26477674
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0321322215 (alk. paper)
International Standard Book Number 0321315340 (International ed.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency DLC
-- OrLoB-B
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title İngilizce
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267.3
Item number .S83 2006
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA267.3 .S83 2006
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Sudkamp, Thomas A.
9 (RLIN) 30996
245 #0 - TITLE STATEMENT
Title Languages and machines :
Remainder of title an introduction to the theory of computer science /
Statement of responsibility, etc. Thomas A. Sudkamp.
246 #3 - VARYING FORM OF TITLE
Title proper/short title Introduction to the theory of computer science :
Remainder of title languages and machines.
250 ## - EDITION STATEMENT
Edition statement 3rd ed.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Boston :
Name of producer, publisher, distributor, manufacturer Pearson Addison-Wesley,
Date of production, publication, distribution, manufacture, or copyright notice c2006.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 654 p. :
Other physical details ill. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note
505 #0 - FORMATTED CONTENTS NOTE
Formatted contents note Ch. 1. Mathematical preliminaries -- Ch. 2. Languages -- Ch. 3. Context-free grammars -- Ch. 4. Normal forms for context-free grammars -- Ch. 5. Finite automata -- Ch. 6. Properties of regular languages -- Ch. 7. Pushdown automata and context-free languages -- Ch. 8. Turing machines -- Ch. 9. Turing computable functions -- Ch. 10. The Chomsky hierarchy -- Ch. 11. Decision problems and the church-turing thesis -- Ch. 12. Undecidability -- Ch. 13. Mu-recursive functions -- Ch. 14. Time complexity -- Ch. 15. P, NP, and Cook's theorem -- Ch. 16. NP-complete problems -- Ch. 17. Additional complexity classes -- Ch. 18. Parsing : an introduction -- Ch. 19. LL(k) grammars -- Ch. 20. LR(k) grammars -- App. I. Index of notation -- App. II. The Greek alphabet -- App. III. The ASCII character set -- App. IV. Backus-Naur form definition of Java.
520 ## - SUMMARY, ETC.
Summary, etc. "Languages and Machines introduces the foundations of computer science and examines the capabilities and limitations of algorithmic computation. With an expanded selection of topics, the Third Edition features a wealth of examples, illustrations, and practical applications alongside the presentation of the theoretical concepts." "This student-friendly, mathematically sound presentation assumes no advanced prerequisites. The flexible design of the text allows instructors to structure their course around formal language and automata theory, computability, computational complexity, or the use of formal languages in programming language definition and parsing."--BOOK JACKET.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 1359
Topical term or geographic name entry element Computational complexity
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Hesaplama karmaşıklığı
9 (RLIN) 21495
Topical term or geographic name entry element Formal languages
9 (RLIN) 4379
Topical term or geographic name entry element Biçimsel diller
9 (RLIN) 13631
Topical term or geographic name entry element Machine theory
9 (RLIN) 1804
Topical term or geographic name entry element Makine teorisi
9 (RLIN) 1805
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
a 0018168
902 ## - LOCAL DATA ELEMENT B, LDB (RLIN)
a GT
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Materials specified (bound volume or other part) Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Serial Enumeration / chronology Inventory number Total Checkouts Total Renewals Total Holds Full call number Barcode Date last seen Date last checked out Copy number Date shelved Koha item type Public note
      C.1 Ödünç Verilebilir / Available Genel Koleksiyon Merkez Kütüphane Merkez Kütüphane Genel Koleksiyon / Main Collection 15/12/2007 Satın Alma / Purchase 1 MAT 2 1   QA267.3 .S83 2006 0018168 08/01/2025 11/11/2024 1 21/04/2010 Book  
    Library of Congress Classification C.1 Ödünç Verilebilir / Available Genel Koleksiyon Merkez Kütüphane Merkez Kütüphane Genel Koleksiyon / Main Collection 16/06/2021 Bağış / Donation 1 MAT       QA267.3 .S83 2006 c.2 0063359 17/06/2021   2 21/06/2021 Book Donated by Ali Aydın Selçuk
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.