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 |