Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings (Record no. 86439)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00868nam a2200133Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 2212144s2020 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030659554 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu. |
| 245 ## - TITLE STATEMENT | |
| Title | Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2020 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer organization. Algorithms. Computer science-Mathematics. Software engineering. Mathematical logic. Data structures (Computer science). Computer Systems Organization and Communication Networks. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Software Engineering. Mathematical Logic and Formal Languages. Data Structures. |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-65955-4">https://doi.org/10.1007/978-3-030-65955-4</a> |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| BITS Pilani Hyderabad | BITS Pilani Hyderabad | 16/12/2022 | EBK003203 | 16/12/2022 | 16/12/2022 | Springer EBooks |