Search Results for Computer science. - Narrowed by: E-Book - Online Library - Artificial intelligence. - Systems and Data Security. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Systems$002band$002bData$002bSecurity.$002509Systems$002band$002bData$002bSecurity.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-08-10T22:02:34Z Transactions on Computational Science XVII ent://SD_ILS/0/SD_ILS:334063 2024-08-10T22:02:34Z 2024-08-10T22:02:34Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334063.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35840-1">http://dx.doi.org/10.1007/978-3-642-35840-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-08-10T22:02:34Z 2024-08-10T22:02:34Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335044 2024-08-10T22:02:34Z 2024-08-10T22:02:34Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Eder, Johann. editor.&#160;Bellahsene, Zohra. editor.<br/>Preferred Shelf Number&#160;ONLINE(335044.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41030-7">http://dx.doi.org/10.1007/978-3-642-41030-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Outlier Analysis ent://SD_ILS/0/SD_ILS:332026 2024-08-10T22:02:34Z 2024-08-10T22:02:34Z Author&#160;Aggarwal, Charu C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332026.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6396-2">http://dx.doi.org/10.1007/978-1-4614-6396-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SmartData Privacy Meets Evolutionary Robotics ent://SD_ILS/0/SD_ILS:332030 2024-08-10T22:02:34Z 2024-08-10T22:02:34Z Author&#160;Harvey, Inman. editor.&#160;Cavoukian, Ann. editor.&#160;Tomko, George. editor.&#160;Borrett, Don. editor.&#160;Kwan, Hon. editor.<br/>Preferred Shelf Number&#160;ONLINE(332030.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6409-9">http://dx.doi.org/10.1007/978-1-4614-6409-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>