Search Results for Software engineering. - Narrowed by: Electronic circuits. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bcircuits.$002509Electronic$002bcircuits.$0026ps$003d300$0026isd$003dtrue? 2025-12-11T21:44:41Z Experience of PYNQ Tutorials for PYNQ-Z2 ent://SD_ILS/0/SD_ILS:527411 2025-12-11T21:44:41Z 2025-12-11T21:44:41Z Author&#160;Sun, Songlin. editor.&#160;Zou, Jiaqi. editor.&#160;Zou, Zixuan. editor.&#160;Wang, Shaokang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-9072-4">https://doi.org/10.1007/978-981-19-9072-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Verification of Floating-Point Hardware Design A Mathematical Approach ent://SD_ILS/0/SD_ILS:486716 2025-12-11T21:44:41Z 2025-12-11T21:44:41Z Author&#160;Russinoff, David M. 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-95513-1">https://doi.org/10.1007/978-3-319-95513-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering ent://SD_ILS/0/SD_ILS:529406 2025-12-11T21:44:41Z 2025-12-11T21:44:41Z Author&#160;Elleithy, Khaled. editor.&#160;Sobh, Tarek. 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-06764-3">https://doi.org/10.1007/978-3-319-06764-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering ent://SD_ILS/0/SD_ILS:530615 2025-12-11T21:44:41Z 2025-12-11T21:44:41Z Author&#160;Sobh, Tarek. editor.&#160;Elleithy, Khaled. 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-06773-5">https://doi.org/10.1007/978-3-319-06773-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Design for Embedded Systems Co-modelling and Co-simulation ent://SD_ILS/0/SD_ILS:487938 2025-12-11T21:44:41Z 2025-12-11T21:44:41Z Author&#160;Fitzgerald, John. editor.&#160;Larsen, Peter Gorm. editor.&#160;Verhoef, Marcel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54118-6">https://doi.org/10.1007/978-3-642-54118-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>