Search Results for Computer science. - Narrowed by: Electronic Library - Artificial intelligence. - Computer simulation. - Computer software. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-09-11T19:39:06Z Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Hu, Hao. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.&#160;Vo&szlig;, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193863 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Bosse, Tibor. editor.&#160;Geller, Armando. editor.&#160;Jonker, Catholijn M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18345-4">http://dx.doi.org/10.1007/978-3-642-18345-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193325 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193326 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190310 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Pr&iacute;ncipe, Jos&eacute; C. editor.&#160;Miikkulainen, Risto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02397-2">http://dx.doi.org/10.1007/978-3-642-02397-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-09-11T19:39:06Z 2024-09-11T19:39:06Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>