Search Results for Computer science. - Narrowed by: Computer aided design. - Computer system performance. - Software engineering. 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$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-16T15:21:42Z Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197421 2024-08-16T15:21:42Z 2024-08-16T15:21:42Z Author&#160;Helfert, Markus. editor.&#160;Donnellan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334682 2024-08-16T15:21:42Z 2024-08-16T15:21:42Z Author&#160;Schirner, Gunar. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE(334682.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190898 2024-08-16T15:21:42Z 2024-08-16T15:21:42Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Amann, Michael. editor.&#160;Keckeisen, Michael. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification of Programmable Embedded Architectures A Top-Down Approach ent://SD_ILS/0/SD_ILS:165277 2024-08-16T15:21:42Z 2024-08-16T15:21:42Z Author&#160;Mishra, Prabhat. author.&#160;Dutt, Nikil D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>