Search Results for COMPUTERS -- Computer Engineering. - Narrowed by: Numerical analysis. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTERS$002b--$002bComputer$002bEngineering.$0026qf$003dSUBJECT$002509Subject$002509Numerical$002banalysis.$002509Numerical$002banalysis.$0026ps$003d300?dt=list 2026-04-12T05:16:50Z Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611748 2026-04-12T05:16:50Z 2026-04-12T05:16:50Z Author&#160;Gaspers, Serge. editor.&#160;Walsh, Toby. 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-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616323 2026-04-12T05:16:50Z 2026-04-12T05:16:50Z Author&#160;Malyshkin, Victor. 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-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617956 2026-04-12T05:16:50Z 2026-04-12T05:16:50Z Author&#160;Chen, Guoliang. editor.&#160;Shen, Hong. editor.&#160;Chen, Mingrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6442-5">https://doi.org/10.1007/978-981-10-6442-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>