Formal models, languages and applications / (Record no. 29185)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01144cam a2200313 i 4500 |
001 - CONTROL NUMBER | |
control field | u81447 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | SIRSI |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240619145900.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 110131 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9812568891 |
050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA267.3 |
Item number | .F67 2006 |
245 00 - TITLE STATEMENT | |
Title | Formal models, languages and applications / |
Statement of responsibility, etc. | editors, K.G. Subramanian, K. Rangarajan, M. Mukund. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Singapore : |
Name of producer, publisher, distributor, manufacturer | World Scientific, |
Date of production, publication, distribution, manufacture, or copyright notice | 2006. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | viii, 410 pages : |
Other physical details | illustrations ; |
Dimensions | 23 cm. |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | unmediated |
Media type code | n |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | volume |
Carrier type code | nc |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Series in machine perception and artificial intelligence ; |
Volume/sequential designation | v. 66 |
596 ## - | |
-- | 1 3 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Formal languages. |
9 (RLIN) | 59860 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computational complexity. |
9 (RLIN) | 19655 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Compilers (Computer programs). |
9 (RLIN) | 19242 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Subramanian, K. G. |
9 (RLIN) | 192094 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Rangarajan, K. |
9 (RLIN) | 192095 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Mukund, Madhavan. |
9 (RLIN) | 192096 |
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
a | .b10378170 |
b | 07-11-22 |
c | 12-09-18 |
998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
-- | m |
Operator's initials, OID (RLIN) | 06-11-22 |
Cataloger's initials, CIN (RLIN) | m |
First date, FD (RLIN) | a |
-- | - |
-- | eng |
-- | |
-- | 0 |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH | Main Library General | 18/06/2024 | QA267.3 .F67 2006 | 1000217151 | 18/06/2024 | 18/06/2024 | Books - Printed |