Semantics with applications : (Record no. 194099)

MARC details
000 -LEADER
fixed length control field 00750nam a2200229Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230509103822.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 210716s2011 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788184897487
040 ## - CATALOGING SOURCE
Transcribing agency AIMIT LIBRARY
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.6005
Edition number 1
Item number NIEH
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Nielson, Hanne Riis.
9 (RLIN) 100381
245 ## - TITLE STATEMENT
Title Semantics with applications :
Remainder of title appetizer /
Statement of responsibility, etc. Hanne Riis Nielson and Flemming Nielson.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi :
Name of publisher, distributor, etc. Springer ,
Date of publication, distribution, etc. 2011.
300 ## - PHYSICAL DESCRIPTION
Extent xii,274p. ;
Other physical details PB
Dimensions 22.2 cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Operational semantics
9 (RLIN) 100382
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Provably correct implementation
9 (RLIN) 100383
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Denotational semantics
9 (RLIN) 100384
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Nielson, Flemming.
9 (RLIN) 100385
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book
Edition 1st
Call number prefix 004.6005 NIEH
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Source of acquisition Cost, normal purchase price Inventory number Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification     MCA St Aloysius Institute of Management & Information Technology St Aloysius Institute of Management & Information Technology Knowledge World 595.00 Bill no:173; Bill dt:2014-07-12   004.6005 NIEH MCA13607 07/21/2025 446.25 07/16/2021 Book
    Dewey Decimal Classification     MCA St Aloysius Institute of Management & Information Technology St Aloysius Institute of Management & Information Technology Knowledge World 595.00 Bill no:445; Bill dt:2015-03-20   004.6005 NIEH MCA14106 07/21/2025 446.25 07/16/2021 Book