Formal Aspects of Computing (Αριθ. εγγραφής 12109)
[ απλή προβολή ]
000 -LEADER | |
---|---|
fixed length control field | 00616nas a22001933u 4500 |
001 - CONTROL NUMBER | |
control field | 10108397 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | upatras |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20210426130215.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 991022c1990 qr p | | eng |
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
International Standard Serial Number | 0934-5043 |
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 | Formal Aspects of Computing |
Remainder of title | The International Journal of Formal Methods |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Berlin |
Name of publisher, distributor, etc. | Springer-Verlag |
Date of publication, distribution, etc. | 1990 1991 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Ηλεκτρονικοί υπολογιστές |
9 (RLIN) | 24481 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | JOURNAL |
9 (RLIN) | 24258 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | ΠΕΡΙΟΔΙΚΟ |
9 (RLIN) | 24254 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Serial record | 1 |
Koha item type | Journal |
Withdrawn status | Lost status | Damaged status | Not for loan | Shelving location | Date acquired | Total Checkouts | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Βιβλιοστάσιο Περιοδικών | 24/04/2016 | 24/04/2016 | 24/04/2016 | Journal |