Search Results for Computer networks. - Narrowed by: E-Book - Online Library - 2013 - Computer science. - Information Systems Applications (incl. Internet). - Logics and Meanings of Programs. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bnetworks.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-09-11T03:41:59Z Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334822 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Morgenstern, Leora. editor.&#160;Stefaneas, Petros. editor.&#160;L&eacute;vy, Fran&ccedil;ois. editor.&#160;Wyner, Adam. editor.&#160;Paschke, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334728 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Gaag, Linda C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334728.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2024-09-11T03:41:59Z 2024-09-11T03:41:59Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>