Search Results for Electronic - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElectronic$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T16:22:40Z Electronic Commerce Theory and Practice ent://SD_ILS/0/SD_ILS:187982 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Matsuo, Tokuro. editor.&#160;Lee, Juhnyoung. editor.&#160;Zhang, Minjie. editor.&#160;Ito, Takayuki. editor.&#160;Yokoo, Makoto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77809-7">http://dx.doi.org/10.1007/978-3-540-77809-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333897 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;David, Esther. editor.&#160;Robu, Valentin. editor.&#160;Shehory, Onn. editor.&#160;Stein, Sebastian. editor.&#160;Symeonidis, Andreas. editor.<br/>Preferred Shelf Number&#160;ONLINE(333897.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34889-1">http://dx.doi.org/10.1007/978-3-642-34889-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Business and Marketing New Trends on its Process and Applications ent://SD_ILS/0/SD_ILS:334502 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Matsuo, Tokuro. editor.&#160;Colomo-Palacios, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334502.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37932-1">http://dx.doi.org/10.1007/978-3-642-37932-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335021 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;David, Esther. editor.&#160;Kiekintveld, Christopher. editor.&#160;Robu, Valentin. editor.&#160;Shehory, Onn. editor.&#160;Stein, Sebastian. editor.<br/>Preferred Shelf Number&#160;ONLINE(335021.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40864-9">http://dx.doi.org/10.1007/978-3-642-40864-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195400 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Szomszor, Martin. editor.&#160;Kostkova, Patty. 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-23635-8">http://dx.doi.org/10.1007/978-3-642-23635-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers ent://SD_ILS/0/SD_ILS:197491 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;David, Esther. editor.&#160;Larson, Kate. editor.&#160;Rogers, Alex. editor.&#160;Shehory, Onn. editor.&#160;Stein, Sebastian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34200-4">http://dx.doi.org/10.1007/978-3-642-34200-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Healthcare 4th International Conference, eHealth 2011, M&aacute;laga, Spain, November 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196658 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kostkova, Patty. editor.&#160;Szomszor, Martin. editor.&#160;Fowler, David. 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-29262-0">http://dx.doi.org/10.1007/978-3-642-29262-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advancing Democracy, Government and Governance Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197261 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;K&#337;, Andrea. editor.&#160;Leitner, Christine. editor.&#160;Leitold, Herbert. editor.&#160;Prosser, Alexander. 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-32701-8">http://dx.doi.org/10.1007/978-3-642-32701-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:194345 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Shen, Gang. editor.&#160;Huang, Xiong. 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-20367-1">http://dx.doi.org/10.1007/978-3-642-20367-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195194 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Andersen, Kim Normann. editor.&#160;Francesconi, Enrico. editor.&#160;Gr&ouml;nlund, &Aring;ke. editor.&#160;Engers, Tom 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-22961-9">http://dx.doi.org/10.1007/978-3-642-22961-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 &ndash; September 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192884 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Andersen, Kim Normann. editor.&#160;Francesconi, Enrico. editor.&#160;Gr&ouml;nlund, &Aring;ke. editor.&#160;Engers, Tom 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-15172-9">http://dx.doi.org/10.1007/978-3-642-15172-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192905 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ketter, Wolfgang. editor.&#160;Poutr&eacute;, Han. editor.&#160;Sadeh, Norman. editor.&#160;Shehory, Onn. editor.&#160;Walsh, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15237-5">http://dx.doi.org/10.1007/978-3-642-15237-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:192866 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;David, Esther. editor.&#160;Gerding, Enrico. editor.&#160;Sarne, David. editor.&#160;Shehory, Onn. 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-15117-0">http://dx.doi.org/10.1007/978-3-642-15117-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:189109 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Collins, John. editor.&#160;Faratin, Peyman. editor.&#160;Parsons, Simon. editor.&#160;Rodriguez-Aguilar, Juan A. editor.&#160;Sadeh, Norman M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:186556 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Fasli, Maria. editor.&#160;Shehory, Onn. 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-540-72502-2">http://dx.doi.org/10.1007/978-3-540-72502-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:184902 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Poutr&eacute;, Han. editor.&#160;Sadeh, Norman M. editor.&#160;Janson, Sverker. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888727">http://dx.doi.org/10.1007/11888727</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce ent://SD_ILS/0/SD_ILS:182945 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Falcone, Rino. editor.&#160;Barber, Suzanne. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Singh, Munindar P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11532095">http://dx.doi.org/10.1007/11532095</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183643 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Faratin, Peyman. editor.&#160;Rodr&iacute;guez-Aguilar, Juan A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11575726">http://dx.doi.org/10.1007/11575726</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183244 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;B&ouml;hlen, Michael. editor.&#160;Gamper, Johann. editor.&#160;Polasek, Wolfgang. editor.&#160;Wimmer, Maria A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106542">http://dx.doi.org/10.1007/b106542</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485944 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cybenko, George. editor. (orcid)0000-0001-7734-2912&#160;Pym, David. editor. (orcid)0000-0002-6504-5838&#160;Fila, Barbara. editor. (orcid)0000-0002-1824-7621&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:482889 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482869 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Oliveira, Jos&eacute; N. editor. (orcid)0000-0002-0196-4229&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484706 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Alferes, Jos&eacute; J&uacute;lio. editor.&#160;Johansson, Moa. editor. (orcid)0000-0002-1097-8278&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483131 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Leone, Nicola. editor.&#160;Manna, Marco. editor. (orcid)0000-0003-3323-9328&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6&ndash;10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483789 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Porkol&aacute;b, Zolt&aacute;n. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482984 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Machine Learning ent://SD_ILS/0/SD_ILS:483135 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Rebala, Gopinath. author.&#160;Ravi, Ajay. author.&#160;Churiwala, Sanjay. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15729-6">https://doi.org/10.1007/978-3-030-15729-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Answer Set Programming ent://SD_ILS/0/SD_ILS:483668 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lifschitz, Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483739 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Franch, Xavier. editor. (orcid)0000-0001-9733-8830&#160;M&auml;nnist&ouml;, Tomi. editor. (orcid)0000-0001-7470-5183&#160;Mart&iacute;nez-Fern&aacute;ndez, Silverio. editor. (orcid)0000-0001-9928-133X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483982 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lujak, Marin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485265 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Mesnard, Fred. editor.&#160;Stuckey, Peter J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485271 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Van Horn, David. editor.&#160;Hughes, John. editor. (orcid)0000-0001-8042-0969&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485870 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Asset Management ent://SD_ILS/0/SD_ILS:485970 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Xing, Frank. author.&#160;Cambria, Erik. author.&#160;Welsch, Roy. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30263-4">https://doi.org/10.1007/978-3-030-30263-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485980 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Massink, Mieke. editor. (orcid)0000-0001-5089-002X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398944 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lee, Jon. editor.&#160;Rinaldi, Giovanni. editor.&#160;Mahjoub, A. Ridha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96151-4">https://doi.org/10.1007/978-3-319-96151-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399667 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Tang, Shaojie. editor.&#160;Du, Ding-Zhu. editor.&#160;Woodruff, David. editor.&#160;Butenko, Sergiy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04618-7">https://doi.org/10.1007/978-3-030-04618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niter&oacute;i, Brazil, October 30 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400087 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Alves, Ronnie. editor. (orcid)0000-0003-4139-0562&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01722-4">https://doi.org/10.1007/978-3-030-01722-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401466 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;van Hoeve, Willem-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Chen, Jianer. editor.&#160;Lu, Pinyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78455-7">https://doi.org/10.1007/978-3-319-78455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400132 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99253-2">https://doi.org/10.1007/978-3-319-99253-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400152 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;De Marsico, Maria. editor.&#160;di Baja, Gabriella Sanniti. editor.&#160;Fred, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93647-5">https://doi.org/10.1007/978-3-319-93647-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400763 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Raphael, Benjamin J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89929-9">https://doi.org/10.1007/978-3-319-89929-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401534 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Baetens, Jan M. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401958 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Christensen, Anders L. editor. (orcid)0000-0002-9994-2908&#160;Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400042 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99259-4">https://doi.org/10.1007/978-3-319-99259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400054 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X&#160;Oguz, Ipek. editor. (orcid)0000-0002-1403-2420&#160;Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02628-8">https://doi.org/10.1007/978-3-030-02628-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400703 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627&#160;Ryan, Joe. editor. (orcid)0000-0002-7781-0306&#160;Smyth, William F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78825-8">https://doi.org/10.1007/978-3-319-78825-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Planning Universal On-Road Driving Strategies for Automated Vehicles ent://SD_ILS/0/SD_ILS:400740 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Heinrich, Steffen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-21954-3">https://doi.org/10.1007/978-3-658-21954-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2&ndash;5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401236 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Deville, Yannick. editor. (orcid)0000-0002-8769-2446&#160;Gannot, Sharon. editor. (orcid)0000-0002-2885-170X&#160;Mason, Russell. editor. (orcid)0000-0002-6030-9603&#160;Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075&#160;Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93764-9">https://doi.org/10.1007/978-3-319-93764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401663 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Jansson, Jesper. editor. (orcid)0000-0001-6859-8932&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91938-6">https://doi.org/10.1007/978-3-319-91938-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401744 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122&#160;L&oacute;pez-Ib&aacute;&ntilde;ez, Manuel. editor. (orcid)0000-0001-9974-1295&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77449-7">https://doi.org/10.1007/978-3-319-77449-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 &ndash; November 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401747 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243&#160;Hancock, Edwin. editor. (orcid)0000-0003-4496-2028&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78199-0">https://doi.org/10.1007/978-3-319-78199-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401755 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Moss, Lawrence S. editor.&#160;de Queiroz, Ruy. editor.&#160;Martinez, Maricarmen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 13th International Conference, &Eacute;volution Artificielle, EA 2017, Paris, France, October 25&ndash;27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401974 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lutton, Evelyne. editor.&#160;Legrand, Pierrick. editor.&#160;Parrend, Pierre. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Schoenauer, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78133-4">https://doi.org/10.1007/978-3-319-78133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bilgisayar bilimine giri&#351; ent://SD_ILS/0/SD_ILS:391795 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;&Ccedil;&ouml;lkesen, Toros Rifat.<br/>Preferred Shelf Number&#160;QA76 B554 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484531 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Kroening, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487419 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cohen, Ernie. editor.&#160;Rybalchenko, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:489416 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Agha, Gul. editor.&#160;Igarashi, Atsushi. editor.&#160;Kobayashi, Naoki. editor.&#160;Masuhara, Hidehiko. editor.&#160;Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334121 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bar-Noy, Amotz. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334121.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36092-3">http://dx.doi.org/10.1007/978-3-642-36092-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334612 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Festa, Paola. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE(334612.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38516-2">http://dx.doi.org/10.1007/978-3-642-38516-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334615 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bonifaci, Vincenzo. editor.&#160;Demetrescu, Camil. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334615.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334653 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334653.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335087 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lingras, Pawan. editor.&#160;Wolski, Marcin. editor.&#160;Cornelis, Chris. editor.&#160;Mitra, Sushmita. editor.&#160;Wasilewski, Piotr. editor.<br/>Preferred Shelf Number&#160;ONLINE(335087.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41299-8">http://dx.doi.org/10.1007/978-3-642-41299-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335122 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;Navarro-Arribas, Guillermo. editor.&#160;Meg&iacute;as, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335122.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41550-0">http://dx.doi.org/10.1007/978-3-642-41550-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XVI ent://SD_ILS/0/SD_ILS:334220 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Peters, James F. editor.&#160;Skowron, Andrzej. editor.&#160;Ramanna, Sheela. editor.&#160;Suraj, Zbigniew. editor.&#160;Wang, Xin. editor.<br/>Preferred Shelf Number&#160;ONLINE(334220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36505-8">http://dx.doi.org/10.1007/978-3-642-36505-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334362 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Li, Kang. editor.&#160;Li, Shaoyuan. editor.&#160;Li, Dewei. editor.&#160;Niu, Qun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334362.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37105-9">http://dx.doi.org/10.1007/978-3-642-37105-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334370 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Purshouse, Robin C. editor.&#160;Fleming, Peter J. editor.&#160;Fonseca, Carlos M. editor.&#160;Greco, Salvatore. editor.&#160;Shaw, Jane. editor.<br/>Preferred Shelf Number&#160;ONLINE(334370.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37140-0">http://dx.doi.org/10.1007/978-3-642-37140-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334549 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gomes, Carla. editor.&#160;Sellmann, Meinolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334549.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essential Speech and Language Technology for Dutch Results by the STEVIN-programme ent://SD_ILS/0/SD_ILS:333372 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Spyns, Peter. editor.&#160;Odijk, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333372.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30910-6">http://dx.doi.org/10.1007/978-3-642-30910-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334657 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334657.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335176 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335176.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications ent://SD_ILS/0/SD_ILS:335208 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Abraham, Ajith. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335208.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45318-2">http://dx.doi.org/10.1007/978-3-642-45318-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197146 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Herik, H. Jaap. editor.&#160;Plaat, Aske. 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-31866-5">http://dx.doi.org/10.1007/978-3-642-31866-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197150 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Li, Tianrui. editor.&#160;Nguyen, Hung Son. editor.&#160;Wang, Guoyin. editor.&#160;Grzymala-Busse, Jerzy. editor.&#160;Janicki, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31900-6">http://dx.doi.org/10.1007/978-3-642-31900-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XV ent://SD_ILS/0/SD_ILS:197151 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Peters, James F. editor.&#160;Skowron, Andrzej. 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-31903-7">http://dx.doi.org/10.1007/978-3-642-31903-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197515 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hamadi, Youssef. editor.&#160;Schoenauer, Marc. 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-34413-8">http://dx.doi.org/10.1007/978-3-642-34413-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197533 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;L&oacute;pez, Beatriz. editor.&#160;Villaret, Mateu. 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-34620-0">http://dx.doi.org/10.1007/978-3-642-34620-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Even, Guy. editor.&#160;Rawitz, Dror. 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-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 &ndash; June1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196776 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Beldiceanu, Nicolas. editor.&#160;Jussien, Narendra. editor.&#160;Pinson, &Eacute;ric. 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-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197063 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gramlich, Bernhard. editor.&#160;Miller, Dale. editor.&#160;Sattler, Uli. 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-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The machine question critical perspectives on AI, robots, and ethics ent://SD_ILS/0/SD_ILS:220103 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gunkel, David J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276856">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276856</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of World Knowledge for Natural Language Understanding ent://SD_ILS/0/SD_ILS:207041 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ovchinnikova, Ekaterina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-53-4">http://dx.doi.org/10.2991/978-94-91216-53-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Engineering ent://SD_ILS/0/SD_ILS:196307 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Zeng, Dehuai. 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-27948-5">http://dx.doi.org/10.1007/978-3-642-27948-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings ent://SD_ILS/0/SD_ILS:197180 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Yao, JingTao. editor.&#160;Yang, Yan. editor.&#160;S&#322;owi&#324;ski, Roman. editor.&#160;Greco, Salvatore. editor.&#160;Li, Huaxiong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32115-3">http://dx.doi.org/10.1007/978-3-642-32115-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197217 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Salerno, Emanuele. editor.&#160;&Ccedil;etin, A. Enis. editor.&#160;Salvetti, Ovidio. 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-32436-9">http://dx.doi.org/10.1007/978-3-642-32436-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197613 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hao, Jin-Kao. editor.&#160;Legrand, Pierrick. editor.&#160;Collet, Pierre. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Lutton, Evelyne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35533-2">http://dx.doi.org/10.1007/978-3-642-35533-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194193 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Takahashi, Ricardo H. C. editor.&#160;Deb, Kalyanmoy. editor.&#160;Wanner, Elizabeth F. editor.&#160;Greco, Salvatore. 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-19893-9">http://dx.doi.org/10.1007/978-3-642-19893-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings ent://SD_ILS/0/SD_ILS:195190 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Tjoa, A Min. 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-22947-3">http://dx.doi.org/10.1007/978-3-642-22947-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195584 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;B&ouml;se, J&uuml;rgen W. editor.&#160;Hu, Hao. editor.&#160;Jahn, Carlos. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24264-9">http://dx.doi.org/10.1007/978-3-642-24264-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-adaptive systems for machine intelligence ent://SD_ILS/0/SD_ILS:298873 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;He, Haibo, 1976-&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118025604">An electronic book accessible through the World Wide Web; click for information</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10484685">http://site.ebrary.com/lib/alltitles/Doc?id=10484685</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice VIII ent://SD_ILS/0/SD_ILS:172966 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Riolo, Rick. editor.&#160;McConaghy, Trent. editor.&#160;Vladislavleva, Ekaterina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7747-2">http://dx.doi.org/10.1007/978-1-4419-7747-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193781 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Banerjee, Mohua. editor.&#160;Seth, Anil. 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-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194659 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Achterberg, Tobias. editor.&#160;Beck, J. Christopher. 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-21311-3">http://dx.doi.org/10.1007/978-3-642-21311-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195807 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Song, Dawei. editor.&#160;Melucci, Massimo. editor.&#160;Frommholz, Ingo. editor.&#160;Zhang, Peng. editor.&#160;Wang, Lei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24971-6">http://dx.doi.org/10.1007/978-3-642-24971-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation ent://SD_ILS/0/SD_ILS:195890 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Mostafavi, Mir Abolfazl. 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-25249-5">http://dx.doi.org/10.1007/978-3-642-25249-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Machine Learning ent://SD_ILS/0/SD_ILS:165702 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Sammut, Claude. editor.&#160;Webb, Geoffrey I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-30164-8">http://dx.doi.org/10.1007/978-0-387-30164-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice VII ent://SD_ILS/0/SD_ILS:172304 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Riolo, Rick. editor.&#160;O'Reilly, Una-May. editor.&#160;McConaghy, Trent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1626-6">http://dx.doi.org/10.1007/978-1-4419-1626-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification and Verification of Multi-agent Systems ent://SD_ILS/0/SD_ILS:172741 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dastani, Mehdi. editor.&#160;Hindriks, Koen V. editor.&#160;Meyer, John-Jules Charles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192977 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dorigo, Marco. editor.&#160;Birattari, Mauro. editor.&#160;Caro, Gianni A. editor.&#160;Doursat, Ren&eacute;. editor.&#160;Engelbrecht, Andries P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15461-4">http://dx.doi.org/10.1007/978-3-642-15461-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192362 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lodi, Andrea. editor.&#160;Milano, Michela. editor.&#160;Toth, Paolo. 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-13520-0">http://dx.doi.org/10.1007/978-3-642-13520-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational intelligence and pattern analysis in biology informatics ent://SD_ILS/0/SD_ILS:298463 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Maulik, Ujjwal.&#160;Bandyopadhyay, Sanghamitra, 1968-&#160;Wang, Jason T. L.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470872352">An electronic book accessible through the World Wide Web; click for information</a> ebrary <a href="http://site.ebrary.com/id/10419381">http://site.ebrary.com/id/10419381</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teamwork in multi-agent systems a formal approach ent://SD_ILS/0/SD_ILS:298099 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dunin-K&#553;plicz, Barbara.&#160;Verbrugge, Rineke.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reactive Search and Intelligent Optimization ent://SD_ILS/0/SD_ILS:164721 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Battiti, Roberto. author.&#160;Brunato, Mauro. author.&#160;Mascia, Franco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09624-7">http://dx.doi.org/10.1007/978-0-387-09624-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining for Business Applications ent://SD_ILS/0/SD_ILS:167676 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cao, Longbing. editor.&#160;Yu, Philip S. editor.&#160;Zhang, Chengqi. editor.&#160;Zhang, Huaifeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-79420-4">http://dx.doi.org/10.1007/978-0-387-79420-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice VI ent://SD_ILS/0/SD_ILS:167829 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Worzel, Bill. editor.&#160;Soule, Terence. editor.&#160;Riolo, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-87623-8">http://dx.doi.org/10.1007/978-0-387-87623-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Environments Methods, Algorithms and Applications ent://SD_ILS/0/SD_ILS:175824 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Monekosso, Dorothy. editor.&#160;Remagnino, Paolo. editor.&#160;Kuno, Yoshinori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-346-0">http://dx.doi.org/10.1007/978-1-84800-346-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189613 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Rahwan, Iyad. editor.&#160;Moraitis, Pavlos. 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-00207-6">http://dx.doi.org/10.1007/978-3-642-00207-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190167 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hoeve, Willem-Jan. editor.&#160;Hooker, John N. 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-01929-6">http://dx.doi.org/10.1007/978-3-642-01929-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190376 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Carette, Jacques. editor.&#160;Dixon, Lucas. editor.&#160;Coen, Claudio Sacerdoti. editor.&#160;Watt, Stephen 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-02614-0">http://dx.doi.org/10.1007/978-3-642-02614-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190930 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Godo, Llu&iacute;s. editor.&#160;Pugliese, Andrea. 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-04388-8">http://dx.doi.org/10.1007/978-3-642-04388-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> One Jump Ahead Computer Perfection at Checkers ent://SD_ILS/0/SD_ILS:167375 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Schaeffer, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76576-1">http://dx.doi.org/10.1007/978-0-387-76576-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantics ent://SD_ILS/0/SD_ILS:167518 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Sicilia, Miguel-Angel. editor.&#160;Lytras, Miltiadis D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-77745-0">http://dx.doi.org/10.1007/978-0-387-77745-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189859 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ehrgott, Matthias. editor.&#160;Fonseca, Carlos M. editor.&#160;Gandibleux, Xavier. editor.&#160;Hao, Jin-Kao. editor.&#160;Sevaux, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01020-0">http://dx.doi.org/10.1007/978-3-642-01020-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190517 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Archibald, Margaret. editor.&#160;Brattka, Vasco. editor.&#160;Goranko, Valentin. editor.&#160;L&ouml;we, Benedikt. 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-03092-5">http://dx.doi.org/10.1007/978-3-642-03092-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190568 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Oddi, Angelo. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. 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-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining and Multi-agent Integration ent://SD_ILS/0/SD_ILS:171987 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cao, Longbing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0522-2">http://dx.doi.org/10.1007/978-1-4419-0522-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189439 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ramanujam, R. editor.&#160;Sarukkai, Sundar. 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-540-92701-3">http://dx.doi.org/10.1007/978-3-540-92701-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction Third International Symposium, QI 2009, Saarbr&uuml;cken, Germany, March 25-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189806 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bruza, Peter. editor.&#160;Sofge, Donald. editor.&#160;Lawless, William. editor.&#160;Rijsbergen, Keith. editor.&#160;Klusch, Matthias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00834-4">http://dx.doi.org/10.1007/978-3-642-00834-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190318 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cheng, Maggie. 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-02427-6">http://dx.doi.org/10.1007/978-3-642-02427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wroc&#322;aw, Poland, October 5-7, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190949 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Chen, Shyi-Ming. 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-04441-0">http://dx.doi.org/10.1007/978-3-642-04441-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice V ent://SD_ILS/0/SD_ILS:167322 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Riolo, Rick. editor.&#160;Soule, Terence. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Toward Artificial Sapience Principles and Methods for Wise Systems ent://SD_ILS/0/SD_ILS:175664 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Mayorga, Rene V. editor.&#160;Perlovsky, Leonid I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-999-6">http://dx.doi.org/10.1007/978-1-84628-999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185378 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Perron, Laurent. editor.&#160;Trick, Michael A. 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-540-68155-7">http://dx.doi.org/10.1007/978-3-540-68155-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188500 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kleine B&uuml;ning, Hans. editor.&#160;Zhao, Xishun. 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-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188881 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Herik, H. Jaap. editor.&#160;Xu, Xinhe. editor.&#160;Ma, Zongmin. editor.&#160;Winands, Mark H. 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-540-87608-3">http://dx.doi.org/10.1007/978-3-540-87608-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188917 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kapur, Deepak. 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-540-87827-8">http://dx.doi.org/10.1007/978-3-540-87827-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189340 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;Soliman, Sylvain. 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-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185946 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hodges, Wilfrid. editor.&#160;Queiroz, Ruy. 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-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Service Provisioning ent://SD_ILS/0/SD_ILS:188186 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kuropka, Dominik. editor.&#160;Staab, Steffen. editor.&#160;Tr&ouml;ger, Peter. editor.&#160;Weske, Mathias. 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-540-78617-7">http://dx.doi.org/10.1007/978-3-540-78617-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:189437 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Maniezzo, Vittorio. editor.&#160;Battiti, Roberto. editor.&#160;Watson, Jean-Paul. 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-540-92695-5">http://dx.doi.org/10.1007/978-3-540-92695-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187910 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gimpel, Henner. editor.&#160;Jennings, Nicholas R. editor.&#160;Kersten, Gregory E. editor.&#160;Ockenfels, Axel. editor.&#160;Weinhardt, Christof. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77554-6">http://dx.doi.org/10.1007/978-3-540-77554-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188388 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Monmarch&eacute;, Nicolas. editor.&#160;Talbi, El-Ghazali. editor.&#160;Collet, Pierre. editor.&#160;Schoenauer, Marc. editor.&#160;Lutton, Evelyne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79305-2">http://dx.doi.org/10.1007/978-3-540-79305-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web Real-World Applications from Industry ent://SD_ILS/0/SD_ILS:166408 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cardoso, Jorge. editor.&#160;Hepp, Martin. editor.&#160;Lytras, Miltiadis D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-48531-7">http://dx.doi.org/10.1007/978-0-387-48531-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligence and Security Informatics Techniques and Applications ent://SD_ILS/0/SD_ILS:185738 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Chen, Hsinchun. editor.&#160;Yang, Christopher C. 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-540-69209-6">http://dx.doi.org/10.1007/978-3-540-69209-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188596 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Autexier, Serge. editor.&#160;Campbell, John. editor.&#160;Rubio, Julio. editor.&#160;Sorge, Volker. editor.&#160;Suzuki, Masakazu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188861 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dorigo, Marco. editor.&#160;Birattari, Mauro. editor.&#160;Blum, Christian. editor.&#160;Clerc, Maurice. editor.&#160;St&uuml;tzle, Thomas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87527-7">http://dx.doi.org/10.1007/978-3-540-87527-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complexity of Constraints An Overview of Current Research Themes ent://SD_ILS/0/SD_ILS:189461 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Creignou, Nadia. editor.&#160;Kolaitis, Phokion G. editor.&#160;Vollmer, Heribert. 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-540-92800-3">http://dx.doi.org/10.1007/978-3-540-92800-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology Alignment Bridging the Semantic Gap ent://SD_ILS/0/SD_ILS:166153 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ehrig, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36501-5">http://dx.doi.org/10.1007/978-0-387-36501-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Semantic Web Services The Web Service Modeling Ontology ent://SD_ILS/0/SD_ILS:184092 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Fensel, Dieter. author.&#160;Lausen, Holger. author.&#160;Bruijn, Jos. author.&#160;Stollberg, Michael. author.&#160;Roman, Dumitru. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology Matching ent://SD_ILS/0/SD_ILS:185236 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Euzenat, J&eacute;r&ocirc;me. author.&#160;Shvaiko, Pavel. 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-49612-0">http://dx.doi.org/10.1007/978-3-540-49612-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Knowledge Engineering ent://SD_ILS/0/SD_ILS:175503 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kendal, S. L. author.&#160;Creen, M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-667-4">http://dx.doi.org/10.1007/978-1-84628-667-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186529 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hentenryck, Pascal. editor.&#160;Wolsey, Laurence. 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-540-72397-4">http://dx.doi.org/10.1007/978-3-540-72397-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187097 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Geraets, Frank. editor.&#160;Kroon, Leo. editor.&#160;Schoebel, Anita. editor.&#160;Wagner, Dorothea. editor.&#160;Zaroliagis, Christos D. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74247-0">http://dx.doi.org/10.1007/978-3-540-74247-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30&ndash;September 1, 2006 Revised Selected Papers ent://SD_ILS/0/SD_ILS:187846 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Burke, Edmund K. editor.&#160;Rudov&aacute;, Hana. 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-540-77345-0">http://dx.doi.org/10.1007/978-3-540-77345-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear Genetic Programming ent://SD_ILS/0/SD_ILS:165774 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Brameier, Markus F. author.&#160;Banzhaf, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-31030-5">http://dx.doi.org/10.1007/978-0-387-31030-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition ent://SD_ILS/0/SD_ILS:166176 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Coello, Carlos A. Coello. author.&#160;Lamont, Gary B. author.&#160;Veldhuizen, David A. Van. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontologies A Handbook of Principles, Concepts and Applications in Information Systems ent://SD_ILS/0/SD_ILS:166193 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Sharman, Raj. editor.&#160;Kishore, Rajiv. editor.&#160;Ramesh, Ram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-37022-4">http://dx.doi.org/10.1007/978-0-387-37022-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice IV ent://SD_ILS/0/SD_ILS:166493 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Riolo, Rick. editor.&#160;Soule, Terence. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foreign-Exchange-Rate Forecasting With Artificial Neural Networks ent://SD_ILS/0/SD_ILS:166864 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Yu, Lean. author.&#160;Wang, Shouyang. author.&#160;Lai, Kin Keung. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71720-3">http://dx.doi.org/10.1007/978-0-387-71720-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187434 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bartz-Beielstein, Thomas. editor.&#160;Blesa Aguilera, Mar&iacute;a Jos&eacute;. editor.&#160;Blum, Christian. editor.&#160;Naujoks, Boris. editor.&#160;Roli, Andrea. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75514-2">http://dx.doi.org/10.1007/978-3-540-75514-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:187441 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Herik, H. Jaap. editor.&#160;Ciancarini, Paolo. editor.&#160;Donkers, H. H. L. M. (Jeroen). 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-540-75538-8">http://dx.doi.org/10.1007/978-3-540-75538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Services Concepts, Technologies, and Applications ent://SD_ILS/0/SD_ILS:186089 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Studer, Rudi. editor.&#160;Grimm, Stephan. editor.&#160;Abecker, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-70894-4">http://dx.doi.org/10.1007/3-540-70894-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186103 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Obayashi, Shigeru. editor.&#160;Deb, Kalyanmoy. editor.&#160;Poloni, Carlo. editor.&#160;Hiroyasu, Tomoyuki. editor.&#160;Murata, Tadahiko. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70928-2">http://dx.doi.org/10.1007/978-3-540-70928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem A. 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-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186660 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Sgallari, Fiorella. editor.&#160;Murli, Almerico. editor.&#160;Paragios, Nikos. 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-540-72823-8">http://dx.doi.org/10.1007/978-3-540-72823-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:186979 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Azevedo, Francisco. editor.&#160;Barahona, Pedro. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. 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-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Management of Middleware ent://SD_ILS/0/SD_ILS:165417 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Oberle, Daniel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-27631-9">http://dx.doi.org/10.1007/0-387-27631-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Canadian Semantic Web ent://SD_ILS/0/SD_ILS:166024 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kon&eacute;, Mamadou Tadiou. editor.&#160;Lemire, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-34347-1">http://dx.doi.org/10.1007/978-0-387-34347-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice III ent://SD_ILS/0/SD_ILS:165469 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Yu, Tina. editor.&#160;Riolo, Rick. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers ent://SD_ILS/0/SD_ILS:183401 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Herik, H. Jaap. editor.&#160;Bj&ouml;rnsson, Yngvi. editor.&#160;Netanyahu, Nathan S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11674399">http://dx.doi.org/10.1007/11674399</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards a New Evolutionary Computation Advances in the Estimation of Distribution Algorithms ent://SD_ILS/0/SD_ILS:183404 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Lozano, Jose A. editor.&#160;Larra&ntilde;aga, Pedro. editor.&#160;Inza, I&ntilde;aki. editor.&#160;Bengoetxea, Endika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32494-1">http://dx.doi.org/10.1007/3-540-32494-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Business Intelligence ent://SD_ILS/0/SD_ILS:183557 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Michalewicz, Zbigniew. author.&#160;Schmidt, Martin. author.&#160;Michalewicz, Matthew. author.&#160;Chiriac, Constantin. 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-32929-9">http://dx.doi.org/10.1007/978-3-540-32929-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184496 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Biere, Armin. editor.&#160;Gomes, Carla P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Data Mining for Computer Security Methods and Applications ent://SD_ILS/0/SD_ILS:175344 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Maloof, Marcus A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-253-5">http://dx.doi.org/10.1007/1-84628-253-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Computing in Ontologies and Semantic Web ent://SD_ILS/0/SD_ILS:183755 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Ma, Zongmin. 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-540-33473-6">http://dx.doi.org/10.1007/978-3-540-33473-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183780 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Talbi, El-Ghazali. editor.&#160;Liardet, Pierre. editor.&#160;Collet, Pierre. editor.&#160;Lutton, Evelyne. editor.&#160;Schoenauer, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11740698">http://dx.doi.org/10.1007/11740698</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183971 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hnich, Brahim. editor.&#160;Carlsson, Mats. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184003 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Beck, J. Christopher. editor.&#160;Smith, Barbara M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184750 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Calmet, Jacques. editor.&#160;Ida, Tetsuo. editor.&#160;Wang, Dongming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11856290">http://dx.doi.org/10.1007/11856290</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:185148 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Herik, H. Jaap. editor.&#160;Hsu, Shun-Chin. editor.&#160;Hsu, Tsan-sheng. editor.&#160;Donkers, H. H. L. M. (Jeroen). editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11922155">http://dx.doi.org/10.1007/11922155</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods ent://SD_ILS/0/SD_ILS:165805 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Nikolaev, Nikolay Y. author.&#160;Iba, Hitoshi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31240-4">http://dx.doi.org/10.1007/0-387-31240-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Services, Processes and Applications ent://SD_ILS/0/SD_ILS:166058 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Cardoso, Jorge. editor.&#160;Sheth, Amit P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-34685-4">http://dx.doi.org/10.1007/978-0-387-34685-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184685 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Dorigo, Marco. editor.&#160;Gambardella, Luca Maria. editor.&#160;Birattari, Mauro. editor.&#160;Martinoli, Alcherio. editor.&#160;Poli, Riccardo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11839088">http://dx.doi.org/10.1007/11839088</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184942 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Almeida, Francisco. editor.&#160;Blesa Aguilera, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Moreno Vega, Jos&eacute; Marcos. editor.&#160;P&eacute;rez P&eacute;rez, Melqu&iacute;ades. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11890584">http://dx.doi.org/10.1007/11890584</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21&ndash;23, 2004, Beijing, China ent://SD_ILS/0/SD_ILS:164865 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Shi, Zhongzhi. editor.&#160;He, Qing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b100804">http://dx.doi.org/10.1007/b100804</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Intelligence Through Data Mining ent://SD_ILS/0/SD_ILS:165180 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Symeonidis, Andreas L. author.&#160;Mitkas, Pericles A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Applications of Semantic Web Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25&ndash;27, 2005, Jyv&auml;skyl&auml;, Finland ent://SD_ILS/0/SD_ILS:165621 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bramer, Max. editor.&#160;Terziyan, Vagan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29248-9">http://dx.doi.org/10.1007/0-387-29248-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice II ent://SD_ILS/0/SD_ILS:164879 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;O&rsquo;Reilly, Una-May. editor.&#160;Yu, Tina. editor.&#160;Riolo, Rick. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems ent://SD_ILS/0/SD_ILS:164931 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Peja&#347;, Jerzy. editor.&#160;Piegat, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b101135">http://dx.doi.org/10.1007/b101135</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming IV Routine Human-Competitive Machine Intelligence ent://SD_ILS/0/SD_ILS:165278 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Koza, John R. author.&#160;Keane, Martin A. author.&#160;Streeter, Matthew J. author.&#160;Mydlowec, William. author.&#160;Yu, Jessen. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137549">http://dx.doi.org/10.1007/b137549</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Programming Languages, Platforms and Applications ent://SD_ILS/0/SD_ILS:165269 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics ent://SD_ILS/0/SD_ILS:181692 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Corrochano, Eduardo Bayro. 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-28247-5">http://dx.doi.org/10.1007/3-540-28247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time ent://SD_ILS/0/SD_ILS:182186 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Tomassini, Marco. 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-29938-6">http://dx.doi.org/10.1007/3-540-29938-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182966 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Coello Coello, Carlos A. editor.&#160;Hern&aacute;ndez Aguirre, Arturo. editor.&#160;Zitzler, Eckart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106458">http://dx.doi.org/10.1007/b106458</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Sharing on the Semantic Web ent://SD_ILS/0/SD_ILS:181077 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Stuckenschmidt, Heiner. author.&#160;Harmelen, Frank. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138282">http://dx.doi.org/10.1007/b138282</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling ent://SD_ILS/0/SD_ILS:170051 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Liu, Jiming. author.&#160;Jin, Xiaolong. author.&#160;Tsui, Kwok Ching. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183080 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Kimmel, Ron. editor.&#160;Sochen, Nir A. editor.&#160;Weickert, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107185">http://dx.doi.org/10.1007/b107185</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183180 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Li, Hongbo. editor.&#160;Olver, Peter J. editor.&#160;Sommer, Gerald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137294">http://dx.doi.org/10.1007/b137294</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183239 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Faltings, Boi V. editor.&#160;Petcu, Adrian. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183251 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bart&aacute;k, Roman. editor.&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Differential Evolution A Practical Approach to Global Optimization ent://SD_ILS/0/SD_ILS:182598 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Price, Kenneth V. author.&#160;Storn, Rainer M. author.&#160;Lampinen, Jouni A. 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-31306-0">http://dx.doi.org/10.1007/3-540-31306-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182984 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11546245">http://dx.doi.org/10.1007/11546245</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183363 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Burke, Edmund. editor.&#160;Trick, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11593577">http://dx.doi.org/10.1007/11593577</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of logic-based intelligent systems ent://SD_ILS/0/SD_ILS:301732 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Truemper, K., 1942-&#160;John Wiley &amp; Sons, Inc.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109868497">e-book</a> Wiley InterScience <a href="http://dx.doi.org/10.1002/9780471723943">An electronic book accessible through the World Wide Web; click for information</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html">http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computationalism new directions ent://SD_ILS/0/SD_ILS:219916 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Scheutz, Matthias.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing sociable robots ent://SD_ILS/0/SD_ILS:219930 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Breazeal, Cynthia L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267230">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267230</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mind and mechanism ent://SD_ILS/0/SD_ILS:219928 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;McDermott, Drew V.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267306">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267306</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding intelligence ent://SD_ILS/0/SD_ILS:219863 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Pfeifer, Rolf, 1947-&#160;Scheier, Christian.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267319">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267319</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel processing for artificial intelligence 3 ent://SD_ILS/0/SD_ILS:254061 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Geller, James.&#160;Kitano, Hiroaki, 1961-&#160;Suttner, Christian B.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444824868">http://www.sciencedirect.com/science/book/9780444824868</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Robotics and Intelligent Machines ent://SD_ILS/0/SD_ILS:247704 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Gray, J. O., ed.&#160;Caldwell, D. G., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCE051E">http://dx.doi.org/10.1049/PBCE051E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial life an overview ent://SD_ILS/0/SD_ILS:219849 2024-12-23T16:22:40Z 2024-12-23T16:22:40Z Author&#160;Langton, Christopher G.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>