Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Linear time,branching time and partial order in logics and models for concurrency : proceedings (Record no. 108297)

MARC details
000 -LEADER
fixed length control field 00849nam a2200217Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 131122s9999 xx 000 0 und d
040 ## - CATALOGING SOURCE
Original cataloging agency
041 ## - LANGUAGE CODE
Language code English
082 ## - DDC | ডিউই
Classification number | বর্গসংখ্যা 5.131
Book Number | গ্রন্থাঙ্ক Sch372
100 ## - MAIN ENTRY--PERSONAL NAME | মুখ্য সংলেখ - ব্যাক্তিনাম
Personal name | ব্যাক্তিনাম Bakker J W de
110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম
Corporate name | সংস্থা নাম School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency( 1988 : Netherlands )
111 ## - MAIN ENTRY--MEETING NAME | মুখ্য সংলেখ - সভার নাম
Meeting name | সভার নাম School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency
Location of meeting | সভার স্থান , Netherlands
Date of meeting | সভার তারিখ 1988
245 ## - TITLE STATEMENT | অাখ্যা বিবরণী
Title | অাখ্যা Linear time,branching time and partial order in logics and models for concurrency : proceedings
260 ## - IMPRINT | প্রকাশনা ক্ষেত্র
Place of publication | প্রকাশ স্থান Berlin
Name of publisher | প্রকাশকের নাম Springer Verlag
Date of publication | প্রকাশ কাল 1989
300 ## - PHYSICAL DESCRIPTION |
Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা viii,713p
440 ## - SERIES STATEMENT |গ্রন্থমালা
Series Title | গ্রন্থমালা অাখ্যা Lecture notes in computer science, 354
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Branching time
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Computer science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Linear time
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Date last seen Total Checkouts Full call number Accession No. Koha item type Lost status Damaged status Not for loan Withdrawn status Home library Current library Shelving location Date acquired
15/06/2023   5.131 Sch372 109806 Books         ISI Library, Kolkata ISI Library, Kolkata 4th Floor 25/12/2013
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in