Search Results for Electronic. - Narrowed by: Artificial intelligence.

Electronic Commerce Theory and Practice

2025-01-09T20:38:45Z

Author Matsuo, Tokuro. editor. Lee, Juhnyoung. editor. Zhang, Minjie. editor. Ito, Takayuki. editor. Yokoo, Makoto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77809-7
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author David, Esther. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor. Symeonidis, Andreas. editor.
Preferred Shelf Number ONLINE(333897.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34889-1
Format: Electronic Resources
Availability Online Library~1

Electronic Business and Marketing New Trends on its Process and Applications

2025-01-09T20:38:45Z

Author Matsuo, Tokuro. editor. Colomo-Palacios, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334502.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37932-1
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers

2025-01-09T20:38:45Z

Author David, Esther. editor. Kiekintveld, Christopher. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Preferred Shelf Number ONLINE(335021.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40864-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author David, Esther. editor. Larson, Kate. editor. Rogers, Alex. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34200-4
Format: Electronic Resources
Availability Online Library~1

Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers

2025-01-09T20:38:45Z

Author Szomszor, Martin. editor. Kostkova, Patty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23635-8
Format: Electronic Resources
Availability Online Library~1

Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers

2025-01-09T20:38:45Z

Author Kostkova, Patty. editor. Szomszor, Martin. editor. Fowler, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29262-0
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32701-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I

2025-01-09T20:38:45Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20367-1
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings

2025-01-09T20:38:45Z

Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22961-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15237-5
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings

2025-01-09T20:38:45Z

Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15172-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author David, Esther. editor. Gerding, Enrico. editor. Sarne, David. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15117-0
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Fasli, Maria. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72502-2
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Poutré, Han. editor. Sadeh, Norman M. editor. Janson, Sverker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11888727
Format: Electronic Resources
Availability Online Library~1

Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce

2025-01-09T20:38:45Z

Author Falcone, Rino. editor. Barber, Suzanne. editor. Sabater-Mir, Jordi. editor. Singh, Munindar P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11532095
Format: Electronic Resources
Availability Online Library~1

E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings

2025-01-09T20:38:45Z

Author Böhlen, Michael. editor. Gamper, Johann. editor. Polasek, Wolfgang. editor. Wimmer, Maria A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106542
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575726
Format: Electronic Resources
Availability Online Library~1

Data-Driven Approach for Bio-medical and Healthcare

2025-01-09T20:38:45Z

Author Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5184-8
Format: Electronic Resources
Availability Online Library~1

Advances in Data-driven Computing and Intelligent Systems Selected Papers from ADCIS 2022, Volume 2

2025-01-09T20:38:45Z

Author Das, Swagatam. editor. Saha, Snehanshu. editor. Coello Coello, Carlos A. editor. Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0981-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of Fourth Doctoral Symposium on Computational Intelligence DoSCI 2023

2025-01-09T20:38:45Z

Author Swaroop, Abhishek. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3716-5
Format: Electronic Resources
Availability Online Library~1

Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits

2025-01-09T20:38:45Z

Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4017-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of 3rd International Conference on Artificial Intelligence: Advances and Applications ICAIAA 2022

2025-01-09T20:38:45Z

Author Mathur, Garima. editor. Bundele, Mahesh. editor. Tripathi, Ashish. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7041-2
Format: Electronic Resources
Availability Online Library~1

Recent Developments in Electrical and Electronics Engineering Select Proceedings of ICRDEEE 2022

2025-01-09T20:38:45Z

Author Singhal, Poonam. editor. Kalra, Sakshi. editor. Singh, Bhim. editor. Bansal, R. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7993-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of Emerging Trends and Technologies on Intelligent Systems ETTIS 2022

2025-01-09T20:38:45Z

Author Noor, Arti. editor. Saroha, Kriti. editor. Pricop, Emil. editor. Sen, Abhijit. editor. Trivedi, Gaurav. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4182-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 1

2025-01-09T20:38:45Z

Author Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3243-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of World Conference on Artificial Intelligence: Advances and Applications WCAIAA 2023

2025-01-09T20:38:45Z

Author Tripathi, Ashish Kumar. editor. Anand, Darpan. editor. Nagar, Atulya K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5881-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence, Internet of Things, and Society 5.0

2025-01-09T20:38:45Z

Author Hannoon, Azzam. editor. (orcid)0000-0003-0468-7797 Mahmood, Abdullah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43300-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability IX Interoperability in the Era of Artificial Intelligence

2025-01-09T20:38:45Z

Author Archimède, Bernard. editor. Ducq, Yves. editor. Young, Bob. editor. Karray, Hedi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-90387-9
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Blockchain Technology Real-World Applications

2025-01-09T20:38:45Z

Author Panda, Sandeep Kumar. editor. Mishra, Vaibhav. editor. Dash, Sujata Priyambada. editor. Pani, Ashis Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22835-3
Format: Electronic Resources
Availability Online Library~1

Novel & Intelligent Digital Systems: Proceedings of the 2nd International Conference (NiDS 2022)

2025-01-09T20:38:45Z

Author Krouska, Akrivi. editor. Troussas, Christos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17601-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Hardware Accelerators

2025-01-09T20:38:45Z

Author Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22170-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Smart Healthcare

2025-01-09T20:38:45Z

Author Agarwal, Parul. editor. Khanna, Kavita. editor. Elngar, Ahmed A. editor. Obaid, Ahmed J. editor. Polkowski, Zdzislaw. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23602-0
Format: Electronic Resources
Availability Online Library~1

Advanced IoT Sensors, Networks and Systems Select Proceedings of SPIN 2022

2025-01-09T20:38:45Z

Author Dubey, Ashwani Kumar. editor. Sugumaran, Vijayan. editor. Chong, Peter Han Joo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1312-1
Format: Electronic Resources
Availability Online Library~1

Advances in Communication, Devices and Networking Proceedings of ICCDN 2022

2025-01-09T20:38:45Z

Author Dhar, Sourav. editor. Do, Dinh-Thuan. editor. Sur, Samarendra Nath. editor. Liu, Chuan-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1983-3
Format: Electronic Resources
Availability Online Library~1

New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence The DITTET 2023 Collection

2025-01-09T20:38:45Z

Author de la Iglesia, Daniel H. editor. de Paz Santana, Juan F. editor. López Rivero, Alfonso J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38344-1
Format: Electronic Resources
Availability Online Library~1

Springer Handbook of Automation

2025-01-09T20:38:45Z

Author Nof, Shimon Y. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-96729-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data-Driven Computing and Intelligent Systems Selected Papers from ADCIS 2022, Volume 1

2025-01-09T20:38:45Z

Author Das, Swagatam. editor. Saha, Snehanshu. editor. Coello Coello, Carlos A. editor. Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3250-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Healthy Longevity

2025-01-09T20:38:45Z

Author Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35176-1
Format: Electronic Resources
Availability Online Library~1

Explainable AI for Cybersecurity

2025-01-09T20:38:45Z

Author Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46479-9
Format: Electronic Resources
Availability Online Library~1

IoT Based Control Networks and Intelligent Systems Proceedings of 3rd ICICNIS 2022

2025-01-09T20:38:45Z

Author Joby, P. P. editor. Balas, Valentina E. editor. Palanisamy, Ram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5845-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions

2025-01-09T20:38:45Z

Author Iwendi, Celestine. editor. Boulouard, Zakaria. editor. (orcid)0000-0002-4891-3760 Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37164-6
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2025-01-09T20:38:45Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15465-3
Format: Electronic Resources
Availability Online Library~1

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2025-01-09T20:38:45Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2025-01-09T20:38:45Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

An Introduction to Machine Learning

2025-01-09T20:38:45Z

Author Rebala, Gopinath. author. Ravi, Ajay. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15729-6
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming

2025-01-09T20:38:45Z

Author Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24658-7
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2025-01-09T20:38:45Z

Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2025-01-09T20:38:45Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2025-01-09T20:38:45Z

Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Asset Management

2025-01-09T20:38:45Z

Author Xing, Frank. author. Cambria, Erik. author. Welsch, Roy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30263-4
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2025-01-09T20:38:45Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2025-01-09T20:38:45Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2025-01-09T20:38:45Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2025-01-09T20:38:45Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2025-01-09T20:38:45Z

Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2025-01-09T20:38:45Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02628-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers

2025-01-09T20:38:45Z

Author Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627 Ryan, Joe. editor. (orcid)0000-0002-7781-0306 Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78825-8
Format: Electronic Resources
Availability Online Library~1

Planning Universal On-Road Driving Strategies for Automated Vehicles

2025-01-09T20:38:45Z

Author Heinrich, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-21954-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2025-01-09T20:38:45Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2025-01-09T20:38:45Z

Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2025-01-09T20:38:45Z

Author Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2025-01-09T20:38:45Z

Author Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers

2025-01-09T20:38:45Z

Author Lee, Jon. editor. Rinaldi, Giovanni. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96151-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

2025-01-09T20:38:45Z

Author Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04618-7
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2025-01-09T20:38:45Z

Author Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2025-01-09T20:38:45Z

Author De Marsico, Maria. editor. di Baja, Gabriella Sanniti. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93647-5
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2025-01-09T20:38:45Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings

2025-01-09T20:38:45Z

Author Raphael, Benjamin J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89929-9
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2025-01-09T20:38:45Z

Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

2025-01-09T20:38:45Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93764-9
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2025-01-09T20:38:45Z

Author Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources
Availability Online Library~1

Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings

2025-01-09T20:38:45Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91938-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

2025-01-09T20:38:45Z

Author Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77449-7
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers

2025-01-09T20:38:45Z

Author Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78199-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2025-01-09T20:38:45Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

Bilgisayar bilimine giriş

2025-01-09T20:38:45Z

Author Çölkesen, Toros Rifat.
Preferred Shelf Number QA76 B554 2017
Format: Books
Availability Beytepe Library~2

Information Granularity, Big Data, and Computational Intelligence

2025-01-09T20:38:45Z

Author Pedrycz, Witold. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08254-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory

2025-01-09T20:38:45Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18503-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications

2025-01-09T20:38:45Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18476-0
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2025-01-09T20:38:45Z

Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2025-01-09T20:38:45Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2025-01-09T20:38:45Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2025-01-09T20:38:45Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2025-01-09T20:38:45Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings

2025-01-09T20:38:45Z

Author Lingras, Pawan. editor. Wolski, Marcin. editor. Cornelis, Chris. editor. Mitra, Sushmita. editor. Wasilewski, Piotr. editor.
Preferred Shelf Number ONLINE(335087.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41299-8
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings

2025-01-09T20:38:45Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41550-0
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2025-01-09T20:38:45Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources
Availability Online Library~1

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme

2025-01-09T20:38:45Z

Author Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333372.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30910-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XVI

2025-01-09T20:38:45Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number ONLINE(334220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2025-01-09T20:38:45Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2025-01-09T20:38:45Z

Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE(334612.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2025-01-09T20:38:45Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2025-01-09T20:38:45Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334653.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38703-6
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2025-01-09T20:38:45Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334657.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

2025-01-09T20:38:45Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335208.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45318-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers

2025-01-09T20:38:45Z

Author Salerno, Emanuele. editor. Çetin, A. Enis. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32436-9
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers

2025-01-09T20:38:45Z

Author Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34413-8
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings

2025-01-09T20:38:45Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34620-0
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers

2025-01-09T20:38:45Z

Author Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35533-2
Format: Electronic Resources
Availability Online Library~1

The machine question critical perspectives on AI, robots, and ethics

2025-01-09T20:38:45Z

Author Gunkel, David J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276856
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Engineering

2025-01-09T20:38:45Z

Author Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27948-5
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2025-01-09T20:38:45Z

Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

2025-01-09T20:38:45Z

Author Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31866-5
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings

2025-01-09T20:38:45Z

Author Li, Tianrui. editor. Nguyen, Hung Son. editor. Wang, Guoyin. editor. Grzymala-Busse, Jerzy. editor. Janicki, Ryszard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31900-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XV

2025-01-09T20:38:45Z

Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31903-7
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings

2025-01-09T20:38:45Z

Author Yao, JingTao. editor. Yang, Yan. editor. Słowiński, Roman. editor. Greco, Salvatore. editor. Li, Huaxiong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32115-3
Format: Electronic Resources
Availability Online Library~1

Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings

2025-01-09T20:38:45Z

Author Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34862-4
Format: Electronic Resources
Availability Online Library~1

Integration of World Knowledge for Natural Language Understanding

2025-01-09T20:38:45Z

Author Ovchinnikova, Ekaterina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-53-4
Format: Electronic Resources
Availability Online Library~1

Self-adaptive systems for machine intelligence

2025-01-09T20:38:45Z

Author He, Haibo, 1976- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information http://site.ebrary.com/lib/alltitles/Doc?id=10484685
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings

2025-01-09T20:38:45Z

Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19893-9
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings

2025-01-09T20:38:45Z

Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22947-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

2025-01-09T20:38:45Z

Author Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24971-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation

2025-01-09T20:38:45Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Mostafavi, Mir Abolfazl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25249-5
Format: Electronic Resources
Availability Online Library~1

Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings

2025-01-09T20:38:45Z

Author Böse, Jürgen W. editor. Hu, Hao. editor. Jahn, Carlos. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24264-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VIII

2025-01-09T20:38:45Z

Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

2025-01-09T20:38:45Z

Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18026-2
Format: Electronic Resources
Availability Online Library~1

Teamwork in multi-agent systems a formal approach

2025-01-09T20:38:45Z

Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470665237 http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: Electronic Resources
Availability Online Library~1

Computational intelligence and pattern analysis in biology informatics

2025-01-09T20:38:45Z

Author Maulik, Ujjwal. Bandyopadhyay, Sanghamitra, 1968- Wang, Jason T. L. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information ebrary http://site.ebrary.com/id/10419381
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Multi-agent Systems

2025-01-09T20:38:45Z

Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13520-0
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings

2025-01-09T20:38:45Z

Author Dorigo, Marco. editor. Birattari, Mauro. editor. Caro, Gianni A. editor. Doursat, René. editor. Engelbrecht, Andries P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15461-4
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Machine Learning

2025-01-09T20:38:45Z

Author Sammut, Claude. editor. Webb, Geoffrey I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-30164-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VII

2025-01-09T20:38:45Z

Author Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers

2025-01-09T20:38:45Z

Author Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00207-6
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

2025-01-09T20:38:45Z

Author Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00834-4
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02614-0
Format: Electronic Resources
Availability Online Library~1

Reactive Search and Intelligent Optimization

2025-01-09T20:38:45Z

Author Battiti, Roberto. author. Brunato, Mauro. author. Mascia, Franco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09624-7
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantics

2025-01-09T20:38:45Z

Author Sicilia, Miguel-Angel. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77745-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2025-01-09T20:38:45Z

Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Environments Methods, Algorithms and Applications

2025-01-09T20:38:45Z

Author Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-346-0
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2025-01-09T20:38:45Z

Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings

2025-01-09T20:38:45Z

Author Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01020-0
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~1

Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers

2025-01-09T20:38:45Z

Author Cheng, Maggie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02427-6
Format: Electronic Resources
Availability Online Library~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2025-01-09T20:38:45Z

Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Electronic Resources
Availability Online Library~1

One Jump Ahead Computer Perfection at Checkers

2025-01-09T20:38:45Z

Author Schaeffer, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76576-1
Format: Electronic Resources
Availability Online Library~1

Data Mining for Business Applications

2025-01-09T20:38:45Z

Author Cao, Longbing. editor. Yu, Philip S. editor. Zhang, Chengqi. editor. Zhang, Huaifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79420-4
Format: Electronic Resources
Availability Online Library~1

Data Mining and Multi-agent Integration

2025-01-09T20:38:45Z

Author Cao, Longbing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0522-2
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings

2025-01-09T20:38:45Z

Author Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04388-8
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings

2025-01-09T20:38:45Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04441-0
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2025-01-09T20:38:45Z

Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources
Availability Online Library~1

Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers

2025-01-09T20:38:45Z

Author Gimpel, Henner. editor. Jennings, Nicholas R. editor. Kersten, Gregory E. editor. Ockenfels, Axel. editor. Weinhardt, Christof. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77554-6
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2025-01-09T20:38:45Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85110-3
Format: Electronic Resources
Availability Online Library~1

Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

2025-01-09T20:38:45Z

Author Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87608-3
Format: Electronic Resources
Availability Online Library~1

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings

2025-01-09T20:38:45Z

Author Dorigo, Marco. editor. Birattari, Mauro. editor. Blum, Christian. editor. Clerc, Maurice. editor. Stützle, Thomas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87527-7
Format: Electronic Resources
Availability Online Library~1

Complexity of Constraints An Overview of Current Research Themes

2025-01-09T20:38:45Z

Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Electronic Resources
Availability Online Library~1

The Semantic Web Real-World Applications from Industry

2025-01-09T20:38:45Z

Author Cardoso, Jorge. editor. Hepp, Martin. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-48531-7
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Techniques and Applications

2025-01-09T20:38:45Z

Author Chen, Hsinchun. editor. Yang, Christopher C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69209-6
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers

2025-01-09T20:38:45Z

Author Monmarché, Nicolas. editor. Talbi, El-Ghazali. editor. Collet, Pierre. editor. Schoenauer, Marc. editor. Lutton, Evelyne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79305-2
Format: Electronic Resources
Availability Online Library~1

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

2025-01-09T20:38:45Z

Author Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87827-8
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

2025-01-09T20:38:45Z

Author Maniezzo, Vittorio. editor. Battiti, Roberto. editor. Watson, Jean-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92695-5
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice V

2025-01-09T20:38:45Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources
Availability Online Library~1

Toward Artificial Sapience Principles and Methods for Wise Systems

2025-01-09T20:38:45Z

Author Mayorga, Rene V. editor. Perlovsky, Leonid I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-999-6
Format: Electronic Resources
Availability Online Library~1

Semantic Service Provisioning

2025-01-09T20:38:45Z

Author Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78617-7
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Enabling Semantic Web Services The Web Service Modeling Ontology

2025-01-09T20:38:45Z

Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Electronic Resources
Availability Online Library~1

Ontology Matching

2025-01-09T20:38:45Z

Author Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49612-0
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services Concepts, Technologies, and Applications

2025-01-09T20:38:45Z

Author Studer, Rudi. editor. Grimm, Stephan. editor. Abecker, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-70894-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

2025-01-09T20:38:45Z

Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings

2025-01-09T20:38:45Z

Author Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75514-2
Format: Electronic Resources
Availability Online Library~1

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

2025-01-09T20:38:45Z

Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75538-8
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers

2025-01-09T20:38:45Z

Author Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77345-0
Format: Electronic Resources
Availability Online Library~1

Linear Genetic Programming

2025-01-09T20:38:45Z

Author Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-31030-5
Format: Electronic Resources
Availability Online Library~1

Ontology Alignment Bridging the Semantic Gap

2025-01-09T20:38:45Z

Author Ehrig, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36501-5
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IV

2025-01-09T20:38:45Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

2025-01-09T20:38:45Z

Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36797-2
Format: Electronic Resources
Availability Online Library~1

Ontologies A Handbook of Principles, Concepts and Applications in Information Systems

2025-01-09T20:38:45Z

Author Sharman, Raj. editor. Kishore, Rajiv. editor. Ramesh, Ram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-37022-4
Format: Electronic Resources
Availability Online Library~1

Foreign-Exchange-Rate Forecasting With Artificial Neural Networks

2025-01-09T20:38:45Z

Author Yu, Lean. author. Wang, Shouyang. author. Lai, Kin Keung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71720-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Knowledge Engineering

2025-01-09T20:38:45Z

Author Kendal, S. L. author. Creen, M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-667-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2025-01-09T20:38:45Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

2025-01-09T20:38:45Z

Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72823-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2025-01-09T20:38:45Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

2025-01-09T20:38:45Z

Author Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11856290
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings

2025-01-09T20:38:45Z

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.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11890584
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers

2025-01-09T20:38:45Z

Author Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922155
Format: Electronic Resources
Availability Online Library~1

Semantic Management of Middleware

2025-01-09T20:38:45Z

Author Oberle, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27631-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice III

2025-01-09T20:38:45Z

Author Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28111-8
Format: Electronic Resources
Availability Online Library~1

Canadian Semantic Web

2025-01-09T20:38:45Z

Author Koné, Mamadou Tadiou. editor. Lemire, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34347-1
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers

2025-01-09T20:38:45Z

Author Talbi, El-Ghazali. editor. Liardet, Pierre. editor. Collet, Pierre. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11740698
Format: Electronic Resources
Availability Online Library~1

Soft Computing in Ontologies and Semantic Web

2025-01-09T20:38:45Z

Author Ma, Zongmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33473-6
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754602
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757375
Format: Electronic Resources
Availability Online Library~1

Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings

2025-01-09T20:38:45Z

Author Dorigo, Marco. editor. Gambardella, Luca Maria. editor. Birattari, Mauro. editor. Martinoli, Alcherio. editor. Poli, Riccardo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11839088
Format: Electronic Resources
Availability Online Library~1

Towards a New Evolutionary Computation Advances in the Estimation of Distribution Algorithms

2025-01-09T20:38:45Z

Author Lozano, Jose A. editor. Larrañaga, Pedro. editor. Inza, Iñaki. editor. Bengoetxea, Endika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32494-1
Format: Electronic Resources
Availability Online Library~1

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

2025-01-09T20:38:45Z

Author Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31240-4
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services, Processes and Applications

2025-01-09T20:38:45Z

Author Cardoso, Jorge. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34685-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining for Computer Security Methods and Applications

2025-01-09T20:38:45Z

Author Maloof, Marcus A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-253-5
Format: Electronic Resources
Availability Online Library~1

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2025-01-09T20:38:45Z

Author Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11674399
Format: Electronic Resources
Availability Online Library~1

Adaptive Business Intelligence

2025-01-09T20:38:45Z

Author Michalewicz, Zbigniew. author. Schmidt, Martin. author. Michalewicz, Matthew. author. Chiriac, Constantin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32929-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice II

2025-01-09T20:38:45Z

Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101112
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Bramer, Max. editor. Terziyan, Vagan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29248-9
Format: Electronic Resources
Availability Online Library~1

Information Sharing on the Semantic Web

2025-01-09T20:38:45Z

Author Stuckenschmidt, Heiner. author. Harmelen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138282
Format: Electronic Resources
Availability Online Library~1

Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics

2025-01-09T20:38:45Z

Author Corrochano, Eduardo Bayro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28247-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2025-01-09T20:38:45Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings

2025-01-09T20:38:45Z

Author Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106458
Format: Electronic Resources
Availability Online Library~1

Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

2025-01-09T20:38:45Z

Author Kimmel, Ron. editor. Sochen, Nir A. editor. Weickert, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107185
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137294
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
Format: Electronic Resources
Availability Online Library~1

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

2025-01-09T20:38:45Z

Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136920
Format: Electronic Resources
Availability Online Library~1

Agent Intelligence Through Data Mining

2025-01-09T20:38:45Z

Author Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136000
Format: Electronic Resources
Availability Online Library~1

Genetic Programming IV Routine Human-Competitive Machine Intelligence

2025-01-09T20:38:45Z

Author Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137549
Format: Electronic Resources
Availability Online Library~1

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

2025-01-09T20:38:45Z

Author Tomassini, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29938-6
Format: Electronic Resources
Availability Online Library~1

Differential Evolution A Practical Approach to Global Optimization

2025-01-09T20:38:45Z

Author Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31306-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2025-01-09T20:38:45Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings

2025-01-09T20:38:45Z

Author Blesa, María J. editor. Blum, Christian. editor. Roli, Andrea. editor. Sampels, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546245
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

2025-01-09T20:38:45Z

Author Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593577
Format: Electronic Resources
Availability Online Library~1

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China

2025-01-09T20:38:45Z

Author Shi, Zhongzhi. editor. He, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100804
Format: Electronic Resources
Availability Online Library~1

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

2025-01-09T20:38:45Z

Author Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101135
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming Languages, Platforms and Applications

2025-01-09T20:38:45Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137449
Format: Electronic Resources
Availability Online Library~1

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2025-01-09T20:38:45Z

Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101185
Format: Electronic Resources
Availability Online Library~1

Design of logic-based intelligent systems

2025-01-09T20:38:45Z

Author Truemper, K., 1942- John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html
Format: Electronic Resources
Availability Online Library~1

Computationalism new directions

2025-01-09T20:38:45Z

Author Scheutz, Matthias.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431
Format: Electronic Resources
Availability Online Library~1

Designing sociable robots

2025-01-09T20:38:45Z

Author Breazeal, Cynthia L.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267230
Format: Electronic Resources
Availability Online Library~1

Mind and mechanism

2025-01-09T20:38:45Z

Author McDermott, Drew V.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267306
Format: Electronic Resources
Availability Online Library~1

Understanding intelligence

2025-01-09T20:38:45Z

Author Pfeifer, Rolf, 1947- Scheier, Christian.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267319
Format: Electronic Resources
Availability Online Library~1

Parallel processing for artificial intelligence 3

2025-01-09T20:38:45Z

Author Geller, James. Kitano, Hiroaki, 1961- Suttner, Christian B.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444824868
Format: Electronic Resources
Availability Online Library~1

Advanced Robotics and Intelligent Machines

2025-01-09T20:38:45Z

Author Gray, J. O., ed. Caldwell, D. G., ed.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCE051E
Format: Electronic Resources
Availability Online Library~1

Artificial life an overview

2025-01-09T20:38:45Z

Author Langton, Christopher G.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842
Format: Electronic Resources
Availability Online Library~1