Limit Search Results
Author
SpringerLink (Online service)
(205)
Riolo, Rick. editor.
(7)
Shehory, Onn. editor.
(7)
Blum, Christian. editor.
(5)
Fages, François. editor.
(5)
Language
Publication Date
-
Subject
Computer science.
(158)
Electronic data processing.
(143)
Computer software.
(83)
Computational complexity.
(44)
Information systems.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
218 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Electronic Commerce Theory and Practice
Electronic Commerce Theory and Practice
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: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Electronic Business and Marketing New Trends on its Process and Applications
Electronic Business and Marketing New Trends on its Process and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers
Electronic Healthcare 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers
Electronic Healthcare Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings
Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I
Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings
Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce
Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce
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: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for An Introduction to Machine Learning
An Introduction to Machine Learning
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Answer Set Programming
Answer Set Programming
Author 
Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Intelligent Asset Management
Intelligent Asset Management
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings
Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers
Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Planning Universal On-Road Driving Strategies for Automated Vehicles
Planning Universal On-Road Driving Strategies for Automated Vehicles
Author 
Heinrich, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-21954-3
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings
Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Bilgisayar bilimine giriş
Bilgisayar bilimine giriş
Author 
Çölkesen, Toros Rifat.
Preferred Shelf Number 
QA76 B554 2017
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
67. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
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: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Transactions on Rough Sets XVI
Transactions on Rough Sets XVI
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: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Advances in Computer Science and Engineering
Advances in Computer Science and Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Transactions on Rough Sets XV
Transactions on Rough Sets XV
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: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings
Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Integration of World Knowledge for Natural Language Understanding
Integration of World Knowledge for Natural Language Understanding
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: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for The machine question critical perspectives on AI, robots, and ethics
The machine question critical perspectives on AI, robots, and ethics
Author 
Gunkel, David J.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276856
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation
Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation
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: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Genetic Programming Theory and Practice VIII
Genetic Programming Theory and Practice VIII
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: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings
Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Self-adaptive systems for machine intelligence
Self-adaptive systems for machine intelligence
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: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
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: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings
Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
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: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Encyclopedia of Machine Learning
Encyclopedia of Machine Learning
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: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
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: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Computational intelligence and pattern analysis in biology informatics
Computational intelligence and pattern analysis in biology informatics
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: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Data Mining and Multi-agent Integration
Data Mining and Multi-agent Integration
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: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
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: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Reactive Search and Intelligent Optimization
Reactive Search and Intelligent Optimization
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: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Metadata and Semantics
Metadata and Semantics
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: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for One Jump Ahead Computer Perfection at Checkers
One Jump Ahead Computer Perfection at Checkers
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Data Mining for Business Applications
Data Mining for Business Applications
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: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Genetic Programming Theory and Practice VI
Genetic Programming Theory and Practice VI
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: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Intelligent Environments Methods, Algorithms and Applications
Intelligent Environments Methods, Algorithms and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings
Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Toward Artificial Sapience Principles and Methods for Wise Systems
Toward Artificial Sapience Principles and Methods for Wise Systems
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: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers
Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Semantic Service Provisioning
Semantic Service Provisioning
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers
Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
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: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Complexity of Constraints An Overview of Current Research Themes
Complexity of Constraints An Overview of Current Research Themes
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: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for The Semantic Web Real-World Applications from Industry
The Semantic Web Real-World Applications from Industry
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: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Genetic Programming Theory and Practice V
Genetic Programming Theory and Practice V
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: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Intelligence and Security Informatics Techniques and Applications
Intelligence and Security Informatics Techniques and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings
Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for An Introduction to Knowledge Engineering
An Introduction to Knowledge Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Semantic Web Services Concepts, Technologies, and Applications
Semantic Web Services Concepts, Technologies, and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Linear Genetic Programming
Linear Genetic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Ontology Alignment Bridging the Semantic Gap
Ontology Alignment Bridging the Semantic Gap
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: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
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: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Ontologies A Handbook of Principles, Concepts and Applications in Information Systems
Ontologies A Handbook of Principles, Concepts and Applications in Information Systems
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: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Genetic Programming Theory and Practice IV
Genetic Programming Theory and Practice IV
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: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Foreign-Exchange-Rate Forecasting With Artificial Neural Networks
Foreign-Exchange-Rate Forecasting With Artificial Neural Networks
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: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Enabling Semantic Web Services The Web Service Modeling Ontology
Enabling Semantic Web Services The Web Service Modeling Ontology
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: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Ontology Matching
Ontology Matching
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: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings
Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers
Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Adaptive Business Intelligence
Adaptive Business Intelligence
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: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings
Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
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: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Semantic Management of Middleware
Semantic Management of Middleware
Author 
Oberle, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27631-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Genetic Programming Theory and Practice III
Genetic Programming Theory and Practice III
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: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Canadian Semantic Web
Canadian Semantic Web
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: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Semantic Web Services, Processes and Applications
Semantic Web Services, Processes and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Machine Learning and Data Mining for Computer Security Methods and Applications
Machine Learning and Data Mining for Computer Security Methods and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Soft Computing in Ontologies and Semantic Web
Soft Computing in Ontologies and Semantic Web
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: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings
Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Towards a New Evolutionary Computation Advances in the Estimation of Distribution Algorithms
Towards a New Evolutionary Computation Advances in the Estimation of Distribution Algorithms
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: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers
Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Information Sharing on the Semantic Web
Information Sharing on the Semantic Web
Author 
Stuckenschmidt, Heiner. author. Harmelen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138282
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Genetic Programming Theory and Practice II
Genetic Programming Theory and Practice II
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: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Author 
Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101135
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China
Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China
Author 
Shi, Zhongzhi. editor. He, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100804
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Agent Intelligence Through Data Mining
Agent Intelligence Through Data Mining
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: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Multi-Agent Programming Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Genetic Programming IV Routine Human-Competitive Machine Intelligence
Genetic Programming IV Routine Human-Competitive Machine Intelligence
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: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
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: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
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: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
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: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
Author 
Tomassini, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29938-6
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings
Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Author 
Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11593577
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Design of logic-based intelligent systems
Design of logic-based intelligent systems
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: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Computationalism new directions
Computationalism new directions
Author 
Scheutz, Matthias.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Designing sociable robots
Designing sociable robots
Author 
Breazeal, Cynthia L.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267230
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Mind and mechanism
Mind and mechanism
Author 
McDermott, Drew V.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267306
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Understanding intelligence
Understanding intelligence
Author 
Pfeifer, Rolf, 1947- Scheier, Christian.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267319
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Parallel processing for artificial intelligence 3
Parallel processing for artificial intelligence 3
Author 
Geller, James. Kitano, Hiroaki, 1961- Suttner, Christian B.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444824868
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Advanced Robotics and Intelligent Machines
Advanced Robotics and Intelligent Machines
Author 
Gray, J. O., ed. Caldwell, D. G., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE051E
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Artificial life an overview
Artificial life an overview
Author 
Langton, Christopher G.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842
Format: 
Availability 
Online Library~1
Available:
Copies: