Search Results for Testing. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-22T18:35:22Z Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486130 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Gaston, Christophe. editor. (orcid)0000-0001-6865-5108&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:485622 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interconnect Reliability in Advanced Memory Device Packaging ent://SD_ILS/0/SD_ILS:526838 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Gan, Chong Leong,. author.&#160;Huang, Chen-Yu,. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity ent://SD_ILS/0/SD_ILS:595415 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Carey, Marcus J. (Cybersecurity professional), author.&#160;Jin, Jennifer, author.<br/>Preferred Shelf Number&#160;QA76.9 .A25 C368 2019<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643357">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643357</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610854 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Felderer, Michael. editor. (orcid)0000-0003-3818-4442&#160;M&eacute;ndez Fern&aacute;ndez, Daniel. editor.&#160;Turhan, Burak. editor.&#160;Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425&#160;Sarro, Federica. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612557 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Proen&ccedil;a, Jos&eacute;. editor.&#160;Lumpe, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Design and Test 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613347 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Kaushik, Brajesh Kumar. editor.&#160;Dasgupta, Sudeb. editor.&#160;Singh, Virendra. editor. (orcid)0000-0002-9113-5167&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7470-7">https://doi.org/10.1007/978-981-10-7470-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer technology and computer programming : new research and strategies ent://SD_ILS/0/SD_ILS:540718 2026-03-22T18:35:22Z 2026-03-22T18:35:22Z Author&#160;Antonakos, James L.<br/>Preferred Shelf Number&#160;QA76.6 .C66 2011<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466562592">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>