Search Results for Computer science. - Narrowed by: Bouajjani, Ahmed. editor. - Computer Communication Networks.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Yazar$002509Bouajjani$00252C$002bAhmed.$002beditor.$002509Bouajjani$00252C$002bAhmed.$002beditor.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ic$003dtrue$0026ps$003d300?2024-09-06T07:28:47ZNetworked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235502024-09-06T07:28:47Z2024-09-06T07:28:47ZYazar Bouajjani, Ahmed. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26850-7">http://dx.doi.org/10.1007/978-3-319-26850-7</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2249832024-09-06T07:28:47Z2024-09-06T07:28:47ZYazar Bouajjani, Ahmed. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2225972024-09-06T07:28:47Z2024-09-06T07:28:47ZYazar Bouajjani, Ahmed. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>