Search Results for Computer Engineering and Networks. - Narrowed by: Computer-aided engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bEngineering$002band$002bNetworks.$0026qf$003dSUBJECT$002509Konu$002509Computer-aided$002bengineering.$002509Computer-aided$002bengineering.$0026ps$003d300?dt=list2026-06-09T21:01:36ZTests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159812026-06-09T21:01:36Z2026-06-09T21:01:36ZAuthor Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6184402026-06-09T21:01:36Z2026-06-09T21:01:36ZAuthor Hollstein, Thomas. editor. Raik, Jaan. editor. Kostin, Sergei. editor. Tšertov, Anton. editor. O'Connor, Ian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67104-8">https://doi.org/10.1007/978-3-319-67104-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6182932026-06-09T21:01:36Z2026-06-09T21:01:36ZAuthor Shin, Youngsoo. editor. Tsui, Chi Ying. editor. Kim, Jae-Joon. editor. Choi, Kiyoung. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46097-0">https://doi.org/10.1007/978-3-319-46097-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Computing and Cognition '14ent://SD_ILS/0/SD_ILS:5297102026-06-09T21:01:36Z2026-06-09T21:01:36ZAuthor Gero, John S. editor. Hanna, Sean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14956-1">https://doi.org/10.1007/978-3-319-14956-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>