Search Results for Tools. - Narrowed by: Computer hardware.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bhardware.$002509Computer$002bhardware.$0026ps$003d300$0026isd$003dtrue?2025-12-24T16:06:48ZTools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005212025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999622025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855122025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05960-0">https://doi.org/10.1007/978-3-319-05960-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342992025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334299.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36812-7">http://dx.doi.org/10.1007/978-3-642-36812-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897592025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Becker, Jürgen. editor. Woods, Roger. editor. Athanas, Peter. editor. Morgan, Fearghal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00641-8">http://dx.doi.org/10.1007/978-3-642-00641-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1881832025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Woods, Roger. editor. Compton, Katherine. editor. Bouganis, Christos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78610-8">http://dx.doi.org/10.1007/978-3-540-78610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862792025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71431-6">http://dx.doi.org/10.1007/978-3-540-71431-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Designent://SD_ILS/0/SD_ILS:1666652025-12-24T16:06:48Z2025-12-24T16:06:48ZAuthor Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68953-1">http://dx.doi.org/10.1007/978-0-387-68953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>