Search Results for Book selection. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBook$002bselection.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-20T20:19:22Z Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606873 2026-03-20T20:19:22Z 2026-03-20T20:19:22Z Author&#160;Kurkowski, Elizabeth. editor.&#160;Shenoi, Sujeet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71025-4">https://doi.org/10.1007/978-3-031-71025-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers ent://SD_ILS/0/SD_ILS:607124 2026-03-20T20:19:22Z 2026-03-20T20:19:22Z Author&#160;Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987&#160;Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70947-0">https://doi.org/10.1007/978-3-031-70947-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-20T20:19:22Z 2026-03-20T20:19:22Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 ent://SD_ILS/0/SD_ILS:611937 2026-03-20T20:19:22Z 2026-03-20T20:19:22Z Author&#160;Oppenheimer, Frank. editor.&#160;Medina Pasaje, Julio Luis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24457-0">https://doi.org/10.1007/978-3-319-24457-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>