Search Results for Construction. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list2024-12-28T06:08:39ZTools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-12-28T06:08:39Z2024-12-28T06:08:39ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882024-12-28T06:08:39Z2024-12-28T06:08:39ZAuthor Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of algorithms for physical design automationent://SD_ILS/0/SD_ILS:2885402024-12-28T06:08:39Z2024-12-28T06:08:39ZAuthor Alpert, Charles J. Mehta, Dinesh P. Sapatnekar, Sachin S., 1967-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420013481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Partial-update adaptive filters and adaptive signal processing design analysis and implementationent://SD_ILS/0/SD_ILS:1483012024-12-28T06:08:39Z2024-12-28T06:08:39ZAuthor Doğançay, Kutluyıl.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123741967">http://www.sciencedirect.com/science/book/9780123741967</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary algorithms in molecular designent://SD_ILS/0/SD_ILS:3006712024-12-28T06:08:39Z2024-12-28T06:08:39ZAuthor Clark, David E., 1966- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527613168">http://dx.doi.org/10.1002/9783527613168</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>