Concurrent systems:semantics, specification, and synthesis (Αριθ. εγγραφής 86269)
[ απλή προβολή ]
000 -LEADER | |
---|---|
fixed length control field | 00828nam a22002293u 4500 |
001 - CONTROL NUMBER | |
control field | 10103540 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | upatras |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20210117204000.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 991022s eng |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | Βιβλιοθήκη ΕΑΙΤΥ |
Transcribing agency | Βιβλιοθήκη ΕΑΙΤΥ |
041 0# - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
245 10 - TITLE STATEMENT | |
Title | Concurrent systems:semantics, specification, and synthesis |
Remainder of title | Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111) |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | CONCURRENT PROGRAMMING |
9 (RLIN) | 114182 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | IBFI |
9 (RLIN) | 119792 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | SEMINAR REPORT |
9 (RLIN) | 119794 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Deussen, Peter |
Relator code | edt |
9 (RLIN) | 119821 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Olderog, Ernst-Rudiger |
Relator code | edt |
9 (RLIN) | 119822 |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | Internationales Begegnungs-und Forschungszentrum fur Informatik |
Relator code | fnd |
9 (RLIN) | 119797 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
9 (RLIN) | 530 |
Personal name | Broy, M., |
Dates associated with a name | 1949- |
Relator code | edt |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Date last seen | Copy number | Price effective from |
---|---|---|---|---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | Μηχανικών Η/Υ και Πληροφορικής | 24/04/2016 | 24/04/2016 | 1 | 24/04/2016 |