Search Results for Infinite. - Narrowed by: Control Structures and Microprogramming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInfinite.$0026qf$003dSUBJECT$002509Subject$002509Control$002bStructures$002band$002bMicroprogramming.$002509Control$002bStructures$002band$002bMicroprogramming.$0026ps$003d300?dt=list
2026-04-10T10:36:37Z
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-04-10T10:36:37Z
2026-04-10T10:36:37Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-04-10T10:36:37Z
2026-04-10T10:36:37Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>