Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.). by Series: Lecture notes in computer science ; 11781. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Other title:
  • ATVA 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Verification and evaluation of computer and communication systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings / Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu (eds.). by Series: Lecture notes in computer science ; 12519. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Other title:
  • VECoS 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha