Search Results for - Narrowed by: Software engineering. - Computer science. - Performance and Reliability.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Performance$002band$002bReliability.$002509Performance$002band$002bReliability.$0026ps$003d300?2024-06-19T15:26:19ZComputer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2231712024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Xu, Weixia. editor.<br/><a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format: Electronic Resources<br/>Low-Power Design and Power-Aware Verificationent://SD_ILS/0/SD_ILS:2256902024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Khondkar, Progyna. author.<br/><a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format: Electronic Resources<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:2247502024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar O'Regan, Gerard. author.<br/><a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Buhr, Peter A. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25703-7">http://dx.doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236192024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Qiang, Weizhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28430-9">http://dx.doi.org/10.1007/978-3-319-28430-9</a><br/>Format: Electronic Resources<br/>Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231742024-06-19T15:26:19Z2024-06-19T15:26:19ZYazar Malyshkin, Victor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21909-7">http://dx.doi.org/10.1007/978-3-319-21909-7</a><br/>Format: Electronic Resources<br/>