Models of computation : (Record no. 362)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01029nam a22002057a 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | LSCPL |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20221122162136.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130315t20122009ii.ill.g |||| 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9788132204480 (pbk) |
040 ## - CATALOGING SOURCE | |
Transcribing agency | NCL |
Modifying agency | LIN2019 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004 |
Item number | FER-M 2012 127 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Fernandez, Maribel |
9 (RLIN) | 744 |
245 10 - TITLE STATEMENT | |
Title | Models of computation : |
Remainder of title | an introduction to computability theory / |
Statement of responsibility, etc. | by Maribel Fernandez |
Linkage | 880 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | New Delhi : |
Name of publisher, distributor, etc. | Springer, |
Date of publication, distribution, etc. | 2012, 2009c. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | viii, 184 p. : |
Other physical details | ill. ; |
Dimensions | 23 cm. |
500 ## - GENERAL NOTE | |
General note | Index included |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Chapter 1: Introduction------------<br/>Chapter 2: Automata and Turing Machines----------<br/>Chapter 3: The Lambda Calculus---------<br/>Chapter 4: Recursive Function---------<br/>Chapter 5: Logic Based Models of computation----------<br/>Chapter 6: Computing with Objects--------<br/>Chapter 7: Interaction-Based Models of Computation---------<br/>Chapter 8: Concurrency-----------<br/>Chapter 9: Emergent Models of Computation-------- |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computable functions |
9 (RLIN) | 745 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type | Books |
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 | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Copy number |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Namal Library | Namal Library | Computer Science | 03/15/2013 | Allied book company | Bill No. 1415 | 004 FER-M 2012 127 | 127 | 07/18/2013 | 07/18/2013 | Books | |||||||
Namal Library | Namal Library | Computer Science | 06/12/2013 | Pak Book Corporation | Bill No. 113B170656-2 | 004 FER-M 2012 1163 | 1163 | 07/18/2013 | 07/18/2013 | Books | 2 |