Models of computation : (Record no. 362)

MARC details
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
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 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