Automata, logics, and infinite games (Record no. 8636)

MARC details
000 -LEADER
fixed length control field 01371cam a22003614a 4500
001 - CONTROL NUMBER
control field 13024433
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20181115150424.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 021209s2002 gw a b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2002044587
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540003886 (alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency IISER Bhopal
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M35
Item number A85 2002
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004 G75A
Edition number 23
222 ## - KEY TITLE
Key title EECS-reference book collection
245 00 - TITLE STATEMENT
Title Automata, logics, and infinite games
Statement of responsibility, etc Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2002.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 385 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science ;
Volume number/sequential designation 2500
9 (RLIN) 23794
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [365]-376) and index.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics.
9 (RLIN) 23795
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Machine theory.
9 (RLIN) 23796
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
9 (RLIN) 23797
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Game theory.
9 (RLIN) 23798
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Grädel, Erich
9 (RLIN) 23799
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Thomas, Wolfgang,
9 (RLIN) 23800
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wilke, Thomas,
9 (RLIN) 23801
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0817/2002044587-d.html">http://www.loc.gov/catdir/enhancements/fy0817/2002044587-d.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Cost, replacement price Price effective from Koha item type Public note
    Dewey Decimal Classification   Not For Loan Reference Central Library, IISER Bhopal Central Library, IISER Bhopal Reference Section 15/11/2018 19 3618.00 1 2 004 G75A 9456 22/11/2018 22/11/2018 5440.96 15/11/2018 Books Reserve



Contact for Queries: skpathak@iiserb.ac.in