Search Results for Computer science. - Narrowed by: Computer aided design. - Electronics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Electronics.$002509Electronics.$0026te$003dILS$0026ps$003d300? 2024-08-16T16:46:30Z Computer Aided Surgery 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings ent://SD_ILS/0/SD_ILS:203969 2024-08-16T16:46:30Z 2024-08-16T16:46:30Z Author&#160;Dohi, Takeyoshi. editor.&#160;Liao, Hongen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54094-6">http://dx.doi.org/10.1007/978-4-431-54094-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Yield for Nano-Scale CMOS ent://SD_ILS/0/SD_ILS:169402 2024-08-16T16:46:30Z 2024-08-16T16:46:30Z Author&#160;Chiang, Charles C. author.&#160;Kawa, Jamil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-08-16T16:46:30Z 2024-08-16T16:46:30Z Author&#160;DasGupta, Pallab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>