Search Results for Computer science. - Narrowed by: Bouajjani, Ahmed. editor. - Computer Communication Networks. SirsiDynix Enterprise https://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:47Z Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23550 2024-09-06T07:28:47Z 2024-09-06T07:28:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15&ndash;17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:224983 2024-09-06T07:28:47Z 2024-09-06T07:28:47Z Yazar&#160;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:&#160;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&acirc;tel, Switzerland, June 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222597 2024-09-06T07:28:47Z 2024-09-06T07:28:47Z Yazar&#160;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:&#160;Electronic Resources<br/>