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.$0026ps$003d300?
2024-11-02T07:27:43Z
Electronic Commerce Theory and Practice
ent://SD_ILS/0/SD_ILS:187982
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Matsuo, Tokuro. editor. Lee, Juhnyoung. editor. Zhang, Minjie. editor. Ito, Takayuki. editor. Yokoo, Makoto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Business and Marketing New Trends on its Process and Applications
ent://SD_ILS/0/SD_ILS:334502
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Matsuo, Tokuro. editor. Colomo-Palacios, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334502.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author David, Esther. editor. Kiekintveld, Christopher. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor.<br/>Preferred Shelf Number ONLINE(335021.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author David, Esther. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor. Symeonidis, Andreas. editor.<br/>Preferred Shelf Number ONLINE(333897.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196658
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kostkova, Patty. editor. Szomszor, Martin. editor. Fowler, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author David, Esther. editor. Larson, Kate. editor. Rogers, Alex. editor. Shehory, Onn. editor. Stein, Sebastian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Szomszor, Martin. editor. Kostkova, Patty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195194
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author David, Esther. editor. Gerding, Enrico. editor. Sarne, David. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192884
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Fasli, Maria. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Poutré, Han. editor. Sadeh, Norman M. editor. Janson, Sverker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888727">http://dx.doi.org/10.1007/11888727</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Falcone, Rino. editor. Barber, Suzanne. editor. Sabater-Mir, Jordi. editor. Singh, Munindar P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532095">http://dx.doi.org/10.1007/11532095</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Böhlen, Michael. editor. Gamper, Johann. editor. Polasek, Wolfgang. editor. Wimmer, Maria A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106542">http://dx.doi.org/10.1007/b106542</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575726">http://dx.doi.org/10.1007/11575726</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Machine Learning
ent://SD_ILS/0/SD_ILS:483135
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Rebala, Gopinath. author. Ravi, Ajay. author. Churiwala, Sanjay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Answer Set Programming
ent://SD_ILS/0/SD_ILS:483668
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483789
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lujak, Marin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483739
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485870
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Asset Management
ent://SD_ILS/0/SD_ILS:485970
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Xing, Frank. author. Cambria, Erik. author. Welsch, Roy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399297
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400087
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory – 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401195
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401827
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:398944
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lee, Jon. editor. Rinaldi, Giovanni. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399667
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400042
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400132
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Raphael, Benjamin J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401236
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401747
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401974
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Oguz, Ipek. editor. (orcid)0000-0002-1403-2420 Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400152
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author De Marsico, Maria. editor. di Baja, Gabriella Sanniti. editor. Fred, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627 Ryan, Joe. editor. (orcid)0000-0002-7781-0306 Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Planning Universal On-Road Driving Strategies for Automated Vehicles
ent://SD_ILS/0/SD_ILS:400740
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Heinrich, Steffen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401466
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401663
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401534
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401744
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory – 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Bilgisayar bilimine giriş
ent://SD_ILS/0/SD_ILS:391795
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Çölkesen, Toros Rifat.<br/>Preferred Shelf Number QA76 B554 2017<br/>Format: Books<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
ent://SD_ILS/0/SD_ILS:333372
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333372.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Preferred Shelf Number ONLINE(334612.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334615.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334653.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334121.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XVI
ent://SD_ILS/0/SD_ILS:334220
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.<br/>Preferred Shelf Number ONLINE(334220.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334362.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.<br/>Preferred Shelf Number ONLINE(334370.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335176.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334657.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lingras, Pawan. editor. Wolski, Marcin. editor. Cornelis, Chris. editor. Mitra, Sushmita. editor. Wasilewski, Piotr. editor.<br/>Preferred Shelf Number ONLINE(335087.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335208.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335122.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Engineering
ent://SD_ILS/0/SD_ILS:196307
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Zeng, Dehuai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 – June1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196776
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Li, Tianrui. editor. Nguyen, Hung Son. editor. Wang, Guoyin. editor. Grzymala-Busse, Jerzy. editor. Janicki, Ryszard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XV
ent://SD_ILS/0/SD_ILS:197151
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Yao, JingTao. editor. Yang, Yan. editor. Słowiński, Roman. editor. Greco, Salvatore. editor. Li, Huaxiong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Salerno, Emanuele. editor. Çetin, A. Enis. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of World Knowledge for Natural Language Understanding
ent://SD_ILS/0/SD_ILS:207041
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ovchinnikova, Ekaterina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The machine question critical perspectives on AI, robots, and ethics
ent://SD_ILS/0/SD_ILS:220103
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gunkel, David J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Mostafavi, Mir Abolfazl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VIII
ent://SD_ILS/0/SD_ILS:172966
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Böse, Jürgen W. editor. Hu, Hao. editor. Jahn, Carlos. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Self-adaptive systems for machine intelligence
ent://SD_ILS/0/SD_ILS:298873
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author He, Haibo, 1976- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Multi-agent Systems
ent://SD_ILS/0/SD_ILS:172741
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dorigo, Marco. editor. Birattari, Mauro. editor. Caro, Gianni A. editor. Doursat, René. editor. Engelbrecht, Andries P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VII
ent://SD_ILS/0/SD_ILS:172304
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Machine Learning
ent://SD_ILS/0/SD_ILS:165702
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Sammut, Claude. editor. Webb, Geoffrey I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Teamwork in multi-agent systems a formal approach
ent://SD_ILS/0/SD_ILS:298099
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational intelligence and pattern analysis in biology informatics
ent://SD_ILS/0/SD_ILS:298463
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Maulik, Ujjwal. Bandyopadhyay, Sanghamitra, 1968- Wang, Jason T. L. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining and Multi-agent Integration
ent://SD_ILS/0/SD_ILS:171987
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cao, Longbing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189806
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reactive Search and Intelligent Optimization
ent://SD_ILS/0/SD_ILS:164721
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Battiti, Roberto. author. Brunato, Mauro. author. Mascia, Franco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantics
ent://SD_ILS/0/SD_ILS:167518
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Sicilia, Miguel-Angel. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
One Jump Ahead Computer Perfection at Checkers
ent://SD_ILS/0/SD_ILS:167375
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Schaeffer, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining for Business Applications
ent://SD_ILS/0/SD_ILS:167676
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cao, Longbing. editor. Yu, Philip S. editor. Zhang, Chengqi. editor. Zhang, Huaifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice VI
ent://SD_ILS/0/SD_ILS:167829
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Environments Methods, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:175824
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cheng, Maggie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190949
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Toward Artificial Sapience Principles and Methods for Wise Systems
ent://SD_ILS/0/SD_ILS:175664
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Mayorga, Rene V. editor. Perlovsky, Leonid I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gimpel, Henner. editor. Jennings, Nicholas R. editor. Kersten, Gregory E. editor. Ockenfels, Axel. editor. Weinhardt, Christof. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Service Provisioning
ent://SD_ILS/0/SD_ILS:188186
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Monmarché, Nicolas. editor. Talbi, El-Ghazali. editor. Collet, Pierre. editor. Schoenauer, Marc. editor. Lutton, Evelyne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Maniezzo, Vittorio. editor. Battiti, Roberto. editor. Watson, Jean-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Complexity of Constraints An Overview of Current Research Themes
ent://SD_ILS/0/SD_ILS:189461
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web Real-World Applications from Industry
ent://SD_ILS/0/SD_ILS:166408
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cardoso, Jorge. editor. Hepp, Martin. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice V
ent://SD_ILS/0/SD_ILS:167322
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence and Security Informatics Techniques and Applications
ent://SD_ILS/0/SD_ILS:185738
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Chen, Hsinchun. editor. Yang, Christopher C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dorigo, Marco. editor. Birattari, Mauro. editor. Blum, Christian. editor. Clerc, Maurice. editor. Stützle, Thomas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Knowledge Engineering
ent://SD_ILS/0/SD_ILS:175503
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kendal, S. L. author. Creen, M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services Concepts, Technologies, and Applications
ent://SD_ILS/0/SD_ILS:186089
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Studer, Rudi. editor. Grimm, Stephan. editor. Abecker, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Genetic Programming
ent://SD_ILS/0/SD_ILS:165774
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology Alignment Bridging the Semantic Gap
ent://SD_ILS/0/SD_ILS:166153
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ehrig, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
ent://SD_ILS/0/SD_ILS:166176
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologies A Handbook of Principles, Concepts and Applications in Information Systems
ent://SD_ILS/0/SD_ILS:166193
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Sharman, Raj. editor. Kishore, Rajiv. editor. Ramesh, Ram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice IV
ent://SD_ILS/0/SD_ILS:166493
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foreign-Exchange-Rate Forecasting With Artificial Neural Networks
ent://SD_ILS/0/SD_ILS:166864
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Yu, Lean. author. Wang, Shouyang. author. Lai, Kin Keung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Enabling Semantic Web Services The Web Service Modeling Ontology
ent://SD_ILS/0/SD_ILS:184092
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology Matching
ent://SD_ILS/0/SD_ILS:185236
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187846
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Business Intelligence
ent://SD_ILS/0/SD_ILS:183557
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Michalewicz, Zbigniew. author. Schmidt, Martin. author. Michalewicz, Matthew. author. Chiriac, Constantin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11856290">http://dx.doi.org/10.1007/11856290</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Almeida, Francisco. editor. Blesa Aguilera, María J. editor. Blum, Christian. editor. Moreno Vega, José Marcos. editor. Pérez Pérez, Melquíades. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11890584">http://dx.doi.org/10.1007/11890584</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
ent://SD_ILS/0/SD_ILS:165805
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Management of Middleware
ent://SD_ILS/0/SD_ILS:165417
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Oberle, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice III
ent://SD_ILS/0/SD_ILS:165469
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Canadian Semantic Web
ent://SD_ILS/0/SD_ILS:166024
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Koné, Mamadou Tadiou. editor. Lemire, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services, Processes and Applications
ent://SD_ILS/0/SD_ILS:166058
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Cardoso, Jorge. editor. Sheth, Amit P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Data Mining for Computer Security Methods and Applications
ent://SD_ILS/0/SD_ILS:175344
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Maloof, Marcus A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11674399">http://dx.doi.org/10.1007/11674399</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing in Ontologies and Semantic Web
ent://SD_ILS/0/SD_ILS:183755
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Ma, Zongmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Dorigo, Marco. editor. Gambardella, Luca Maria. editor. Birattari, Mauro. editor. Martinoli, Alcherio. editor. Poli, Riccardo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11839088">http://dx.doi.org/10.1007/11839088</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11922155">http://dx.doi.org/10.1007/11922155</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a New Evolutionary Computation Advances in the Estimation of Distribution Algorithms
ent://SD_ILS/0/SD_ILS:183404
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Lozano, Jose A. editor. Larrañaga, Pedro. editor. Inza, Iñaki. editor. Bengoetxea, Endika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Talbi, El-Ghazali. editor. Liardet, Pierre. editor. Collet, Pierre. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11740698">http://dx.doi.org/10.1007/11740698</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Sharing on the Semantic Web
ent://SD_ILS/0/SD_ILS:181077
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Stuckenschmidt, Heiner. author. Harmelen, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138282">http://dx.doi.org/10.1007/b138282</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Blesa, María J. editor. Blum, Christian. editor. Roli, Andrea. editor. Sampels, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546245">http://dx.doi.org/10.1007/11546245</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice II
ent://SD_ILS/0/SD_ILS:164879
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
ent://SD_ILS/0/SD_ILS:164931
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101135">http://dx.doi.org/10.1007/b101135</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China
ent://SD_ILS/0/SD_ILS:164865
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Shi, Zhongzhi. editor. He, Qing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100804">http://dx.doi.org/10.1007/b100804</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Intelligence Through Data Mining
ent://SD_ILS/0/SD_ILS:165180
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Programming Languages, Platforms and Applications
ent://SD_ILS/0/SD_ILS:165269
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming IV Routine Human-Competitive Machine Intelligence
ent://SD_ILS/0/SD_ILS:165278
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137549">http://dx.doi.org/10.1007/b137549</a><br/>Format: Electronic Resources<br/>Availability 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–27, 2005, Jyväskylä, Finland
ent://SD_ILS/0/SD_ILS:165621
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Bramer, Max. editor. Terziyan, Vagan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Differential Evolution A Practical Approach to Global Optimization
ent://SD_ILS/0/SD_ILS:182598
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Corrochano, Eduardo Bayro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
ent://SD_ILS/0/SD_ILS:182186
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Tomassini, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Kimmel, Ron. editor. Sochen, Nir A. editor. Weickert, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107185">http://dx.doi.org/10.1007/b107185</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106458">http://dx.doi.org/10.1007/b106458</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137294">http://dx.doi.org/10.1007/b137294</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11593577">http://dx.doi.org/10.1007/11593577</a><br/>Format: Electronic Resources<br/>Availability 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-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of logic-based intelligent systems
ent://SD_ILS/0/SD_ILS:301732
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Truemper, K., 1942- John Wiley & Sons, Inc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computationalism new directions
ent://SD_ILS/0/SD_ILS:219916
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Scheutz, Matthias.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Designing sociable robots
ent://SD_ILS/0/SD_ILS:219930
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Breazeal, Cynthia L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Mind and mechanism
ent://SD_ILS/0/SD_ILS:219928
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author McDermott, Drew V.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding intelligence
ent://SD_ILS/0/SD_ILS:219863
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Pfeifer, Rolf, 1947- Scheier, Christian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel processing for artificial intelligence 3
ent://SD_ILS/0/SD_ILS:254061
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Geller, James. Kitano, Hiroaki, 1961- Suttner, Christian B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444824868">http://www.sciencedirect.com/science/book/9780444824868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Robotics and Intelligent Machines
ent://SD_ILS/0/SD_ILS:247704
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Gray, J. O., ed. Caldwell, D. G., ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE051E">http://dx.doi.org/10.1049/PBCE051E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial life an overview
ent://SD_ILS/0/SD_ILS:219849
2024-11-02T07:27:43Z
2024-11-02T07:27:43Z
Author Langton, Christopher G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>