| 000 | 00868nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2020 xx 000 0 und d | ||
| 020 | _a9783030659554 | ||
| 041 | _aeng | ||
| 100 | _aBelgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu. | ||
| 245 | _aVerification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings | ||
| 260 |
_aCham _bSpringer _c2020 |
||
| 650 | _aComputer 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 | _uhttps://doi.org/10.1007/978-3-030-65955-4 | ||
| 999 |
_c86439 _d86439 |
||