Search Results for Electronic circuits. - Narrowed by: English - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElectronic$002bcircuits.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-22T09:30:46ZFormal Verification of Floating-Point Hardware Design A Mathematical Approachent://SD_ILS/0/SD_ILS:4867162024-09-22T09:30:46Z2024-09-22T09:30:46ZAuthor Russinoff, David M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Design for Embedded Systems Co-modelling and Co-simulationent://SD_ILS/0/SD_ILS:4879382024-09-22T09:30:46Z2024-09-22T09:30:46ZAuthor Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011ent://SD_ILS/0/SD_ILS:3358212024-09-22T09:30:46Z2024-09-22T09:30:46ZAuthor Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>