Search Results for Research Enterprise. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dResearch$002bEnterprise.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-21T09:26:16ZTheory and Models for Cyber Situation Awarenessent://SD_ILS/0/SD_ILS:6160452026-03-21T09:26:16Z2026-03-21T09:26:16ZAuthor Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61152-5">https://doi.org/10.1007/978-3-319-61152-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Security Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162292026-03-21T09:26:16Z2026-03-21T09:26:16ZAuthor Chang, Victor. editor. Ramachandran, Muthu. editor. Walters, Robert J. editor. Wills, Gary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54380-2">https://doi.org/10.1007/978-3-319-54380-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-21T09:26:16Z2026-03-21T09:26:16ZAuthor Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>