Search Results for Performance art. - Narrowed by: Compilers and Interpreters.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPerformance$002bart.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002band$002bInterpreters.$002509Compilers$002band$002bInterpreters.$0026ps$003d300?dt=list
2026-03-20T19:18:46Z
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-03-20T19:18:46Z
2026-03-20T19:18:46Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Separation Logic for High-level Synthesis
ent://SD_ILS/0/SD_ILS:614385
2026-03-20T19:18:46Z
2026-03-20T19:18:46Z
Author Winterstein, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>