Search Results for Robotics. - Narrowed by: Electronic Library - Artificial intelligence. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobotics.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list 2024-08-10T21:50:44Z Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399786 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X&#160;Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X&#160;Salichs, Miguel A. editor.&#160;Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100&#160;He, Hongsheng. editor. (orcid)0000-0002-2810-865X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399243 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399970 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399986 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508&#160;Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596&#160;Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99582-3">https://doi.org/10.1007/978-3-319-99582-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334756 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Neto, Pedro. editor.&#160;Moreira, Ant&oacute;nio Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335018 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335019 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335019.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197390 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. 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-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197392 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. 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-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197394 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. 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-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195963 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Mutlu, Bilge. editor.&#160;Bartneck, Christoph. editor.&#160;Ham, Jaap. editor.&#160;Evers, Vanessa. editor.&#160;Kanda, Takayuki. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25504-5">http://dx.doi.org/10.1007/978-3-642-25504-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194878 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Obdr&#382;&aacute;lek, David. editor.&#160;Gottscheber, Achim. 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-21975-7">http://dx.doi.org/10.1007/978-3-642-21975-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193092 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Vadakkepat, Prahlad. editor.&#160;Kim, Jong-Hwan. editor.&#160;Jesse, Norbert. editor.&#160;Mamun, Abdullah Al. editor.&#160;Kiong, Tan Kok. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15810-0">http://dx.doi.org/10.1007/978-3-642-15810-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193542 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ge, Shuzhi Sam. editor.&#160;Li, Haizhou. editor.&#160;Cabibihan, John-John. editor.&#160;Tan, Yeow Kee. 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-17248-9">http://dx.doi.org/10.1007/978-3-642-17248-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Robotics Mobile Robot Design and Applications with Embedded Systems ent://SD_ILS/0/SD_ILS:185977 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Br&auml;unl, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70534-5">http://dx.doi.org/10.1007/978-3-540-70534-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Robotics Mobile Robot Design and Applications with Embedded Systems ent://SD_ILS/0/SD_ILS:184009 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Br&auml;unl, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34319-9">http://dx.doi.org/10.1007/3-540-34319-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience ent://SD_ILS/0/SD_ILS:182982 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Wermter, Stefan. editor.&#160;Palm, G&uuml;nther. editor.&#160;Elshaw, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b139051">http://dx.doi.org/10.1007/b139051</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ent://SD_ILS/0/SD_ILS:332795 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332795.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems ent://SD_ILS/0/SD_ILS:335123 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Bertin, Emmanuel. editor.&#160;Crespi, Noel. editor.&#160;Magedanz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335123.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41569-2">http://dx.doi.org/10.1007/978-3-642-41569-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing Principles, Design and Implementation ent://SD_ILS/0/SD_ILS:331115 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lalanda, Philippe. author.&#160;McCann, Julie A. author.&#160;Diaconescu, Ada. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Neuroevolution Through Erlang ent://SD_ILS/0/SD_ILS:331512 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Sher, Gene I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332965 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Nugent, Christopher. editor.&#160;Coronato, Antonio. editor.&#160;Bravo, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334142 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Escalona, Mar&iacute;a Jos&eacute;. editor.&#160;Cordeiro, Jos&eacute;. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334142.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SmartShadow: Models and Methods for Pervasive Computing ent://SD_ILS/0/SD_ILS:334190 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Wu, Zhaohui. author.&#160;Pan, Gang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36382-5">http://dx.doi.org/10.1007/978-3-642-36382-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Mashups Intelligent Reuse of Web Resources ent://SD_ILS/0/SD_ILS:334195 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Endres-Niggemeyer, Brigitte. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334195.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36403-7">http://dx.doi.org/10.1007/978-3-642-36403-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2012: Robot Soccer World Cup XVI ent://SD_ILS/0/SD_ILS:334765 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Chen, Xiaoping. editor.&#160;Stone, Peter. editor.&#160;Sucar, Luis Enrique. editor.&#160;Zant, Tijn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334765.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39250-4">http://dx.doi.org/10.1007/978-3-642-39250-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334804 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Biswas, Jit. editor.&#160;Kobayashi, Hisato. editor.&#160;Wong, Lawrence. editor.&#160;Abdulrazak, Bessam. editor.&#160;Mokhtari, Mounir. editor.<br/>Preferred Shelf Number&#160;ONLINE(334804.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-08-10T21:50:44Z 2024-08-10T21:50:44Z 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/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z 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/> Theoretical Aspects of Computing &ndash; ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334840 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334840.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures ent://SD_ILS/0/SD_ILS:334841 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334841.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334955 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334955.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334979 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Son, Tran Cao. editor.&#160;Torroni, Paolo. editor.&#160;Torre, Leon. editor.&#160;Woltran, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE(334979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Second International Conference, TPNC 2013, C&aacute;ceres, Spain, December 3-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335178 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335178.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</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-10T21:50:44Z 2024-08-10T21:50:44Z 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/> Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335210 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Cossentino, Massimo. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335210.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z 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/> 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-10T21:50:44Z 2024-08-10T21:50:44Z 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/> Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335048 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Shaikh, Faisal Karim. editor.&#160;Chowdhry, Bhawani Shankar. editor.&#160;Ammari, Habib M. editor.&#160;Uqaili, Muhammad Aslam. editor.&#160;Shah, Assadullah. editor.<br/>Preferred Shelf Number&#160;ONLINE(335048.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41054-3">http://dx.doi.org/10.1007/978-3-642-41054-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology-Driven Software Development ent://SD_ILS/0/SD_ILS:333408 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Pan, Jeff Z. editor.&#160;Staab, Steffen. editor.&#160;A&szlig;mann, Uwe. editor.&#160;Ebert, J&uuml;rgen. editor.&#160;Zhao, Yuting. editor.<br/>Preferred Shelf Number&#160;ONLINE(333408.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012 ent://SD_ILS/0/SD_ILS:333535 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333535.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Requirements Knowledge ent://SD_ILS/0/SD_ILS:333846 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Maalej, Walid. editor.&#160;Thurimella, Anil Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333846.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34419-0">http://dx.doi.org/10.1007/978-3-642-34419-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334494 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Baldoni, Matteo. editor.&#160;Dennis, Louise. editor.&#160;Mascardi, Viviana. editor.&#160;Vasconcelos, Wamberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334494.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334609 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Franch, Xavier. editor.&#160;Soffer, Pnina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334609.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38490-5">http://dx.doi.org/10.1007/978-3-642-38490-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334652 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Dastani, Mehdi. editor.&#160;H&uuml;bner, Jomi F. editor.&#160;Logan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334652.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334655 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Salinesi, Camille. editor.&#160;Norrie, Moira C. editor.&#160;Pastor, &Oacute;scar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334655.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38709-8">http://dx.doi.org/10.1007/978-3-642-38709-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334750 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Daniel, Florian. editor.&#160;Dolog, Peter. editor.&#160;Li, Qing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334750.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39200-9">http://dx.doi.org/10.1007/978-3-642-39200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334859 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Cossentino, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Personal Web A Research Agenda ent://SD_ILS/0/SD_ILS:334876 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Chignell, Mark. editor.&#160;Cordy, James R. editor.&#160;Kealey, Ryan. editor.&#160;Ng, Joanna. editor.&#160;Yesha, Yelena. editor.<br/>Preferred Shelf Number&#160;ONLINE(334876.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39995-4">http://dx.doi.org/10.1007/978-3-642-39995-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334950 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334951 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334951.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334952 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334952.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335064 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;H&#345;eb&iacute;&#269;ek, Ji&#345;&iacute;. editor.&#160;Schimak, Gerald. editor.&#160;Kub&aacute;sek, Miroslav. editor.&#160;Rizzoli, Andrea E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335169 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Boella, Guido. editor.&#160;Elkind, Edith. editor.&#160;Savarimuthu, Bastin Tony Roy. editor.&#160;Dignum, Frank. editor.&#160;Purvis, Martin K. editor.<br/>Preferred Shelf Number&#160;ONLINE(335169.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44927-7">http://dx.doi.org/10.1007/978-3-642-44927-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335196 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;McMillan, Ken. editor.&#160;Middeldorp, Aart. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335196.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335198 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Moschitti, Alessandro. editor.&#160;Plank, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335198.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orl&eacute;ans, France, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335125 2024-08-10T21:50:44Z 2024-08-10T21:50:44Z Author&#160;Duchier, Denys. editor.&#160;Parmentier, Yannick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335125.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>