Search Results for Computer hardware. - Narrowed by: Computing Milieux.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bhardware.$0026qf$003dSUBJECT$002509Konu$002509Computing$002bMilieux.$002509Computing$002bMilieux.$0026ic$003dtrue$0026ps$003d300?
2024-07-10T13:16:35Z
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:428107
2024-07-10T13:16:35Z
2024-07-10T13:16:35Z
Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073<br/><a href="https://doi.org/10.1007/978-3-030-34356-9">https://doi.org/10.1007/978-3-030-34356-9</a><br/>Format: Electronic Resources<br/>
Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:223279
2024-07-10T13:16:35Z
2024-07-10T13:16:35Z
Yazar Joux, Antoine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89339-6">https://doi.org/10.1007/978-3-319-89339-6</a><br/>Format: Electronic Resources<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:226480
2024-07-10T13:16:35Z
2024-07-10T13:16:35Z
Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279<br/><a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:221422
2024-07-10T13:16:35Z
2024-07-10T13:16:35Z
Yazar Majumdar, Rupak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>