Date and Time

Process algebra : (Record no. 8278)

000 -LEADER
fixed length control field 01214cam a2200337 a 4500
001 - CONTROL NUMBER
control field 1547432
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171106120758.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 910220s1990 enk b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 91119944
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521820493 (Hbk)
040 ## - CATALOGING SOURCE
Original cataloging agency IISER Bhopal
Transcribing agency IISER Bhopal
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267
Item number .B33 1990
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151 B145P
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Baeten, J. C. M.
9 (RLIN) 22097
222 ## - KEY TITLE
Key title EECS-textbook collection
245 10 - TITLE STATEMENT
Title Process algebra :
Statement of responsibility, etc J.C.M. Baeten and W.P. Weijland.
Remainder of title equational theories of communicating processes
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc 2010.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 460 p. ;
Dimensions 26 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science ;
Volume number/sequential designation 50
9 (RLIN) 22098
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and indexes.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Machine theory.
9 (RLIN) 22099
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Process algebra.
9 (RLIN) 22123
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
9 (RLIN) 22100
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Communication process
9 (RLIN) 22124
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Basten, T.
9 (RLIN) 22101
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Reniers, M. A.
9 (RLIN) 22125
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 3
e ncip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Date checked out Lost status Source of acquisition Withdrawn status Total Renewals Permanent Location Total Checkouts Cost, replacement price Not for loan Full call number Date acquired Barcode Date last seen Source of classification or shelving scheme Price effective from Current Location Public note Koha item type Collection code Cost, normal purchase price Damaged status Shelving location
  27  Central Library, IISER Bhopal 5555.32Not For Loan004.0151 B145P2017-11-0687042017-11-06 2017-11-06Central Library, IISER BhopalReserve BooksReference4444.28 Reference Section
2020-02-25 27 2Central Library, IISER Bhopal35555.32 004.0151 B145P2017-11-0687062020-02-25 2017-11-06Central Library, IISER Bhopal Books 4444.28 General Section
  27  Central Library, IISER Bhopal 5555.32 004.0151 B145P2017-11-0687052017-11-06 2017-11-06Central Library, IISER Bhopal Books 4444.28 General Section



Contact for Queries: skpathak@iiserb.ac.in

Powered by Koha