Search Results for - Narrowed by: Online Library - Electronic Library - Computer science. - Computer software. - Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue? 2024-08-28T14:54:10Z Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335072.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335124 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Perny, Patrice. editor.&#160;Pirlot, Marc. editor.&#160;Tsouki&agrave;s, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335124.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Programming and Algorithms Using R ent://SD_ILS/0/SD_ILS:331192 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Erg&uuml;l, &Ouml;zg&uuml;r. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331192.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice X ent://SD_ILS/0/SD_ILS:332135 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Riolo, Rick. editor.&#160;Vladislavleva, Ekaterina. editor.&#160;Ritchie, Marylyn D. editor.&#160;Moore, Jason H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332135.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334990 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Rendell, Alistair P. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334990.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334844 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Zhang, Yuanyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334844.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2024-08-28T14:54:10Z 2024-08-28T14:54:10Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>