Search Results for Data protection - Narrowed by: Machine theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dData$002bprotection$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-04-12T22:39:16Z Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:601811 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Ernst, Gidon. editor. (orcid)0000-0002-3289-5764&#160;G&uuml;demann, Matthias. editor. (orcid)0000-0002-1002-6023&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;Nafz, Florian. editor. (orcid)0000-0001-5725-4827&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Analysis for Software Verification and Security ent://SD_ILS/0/SD_ILS:611157 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Bultan, Tevfik. author.&#160;Yu, Fang. author.&#160;Alkhalaf, Muath. author.&#160;Aydin, Abdulbaki. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613759 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Bl&ouml;mer, Johannes. editor.&#160;Kotsireas, Ilias S. editor.&#160;Kutsia, Temur. editor. (orcid)0000-0003-4084-7380&#160;Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618255 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64468-4">https://doi.org/10.1007/978-3-319-64468-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618306 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64471-4">https://doi.org/10.1007/978-3-319-64471-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers ent://SD_ILS/0/SD_ILS:611115 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Loreti, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014 ent://SD_ILS/0/SD_ILS:617306 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589&#160;Thoai, Nam. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49175-1">https://doi.org/10.1007/978-3-662-49175-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611458 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;Lecomte, Thierry. editor.&#160;Pinger, Ralf. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Subjective Logic A Formalism for Reasoning Under Uncertainty ent://SD_ILS/0/SD_ILS:615866 2026-04-12T22:39:16Z 2026-04-12T22:39:16Z Author&#160;J&oslash;sang, Audun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42337-1">https://doi.org/10.1007/978-3-319-42337-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>