Search Results for Testing. - Narrowed by: Computers.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300?2025-12-24T20:23:39ZTheory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4846552025-12-24T20:23:39Z2025-12-24T20:23:39ZAuthor Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861302025-12-24T20:23:39Z2025-12-24T20:23:39ZAuthor Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856222025-12-24T20:23:39Z2025-12-24T20:23:39ZAuthor Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interconnect Reliability in Advanced Memory Device Packagingent://SD_ILS/0/SD_ILS:5268382025-12-24T20:23:39Z2025-12-24T20:23:39ZAuthor Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26708-6">https://doi.org/10.1007/978-3-031-26708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer technology and computer programming : new research and strategiesent://SD_ILS/0/SD_ILS:5407182025-12-24T20:23:39Z2025-12-24T20:23:39ZAuthor Antonakos, James L.<br/>Preferred Shelf Number QA76.6 .C66 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466562592">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>