Limit Search Results
Author
SpringerLink (Online service)
(416)
Leondes, Cornelius T.
(9)
Kim, Tai-hoon. editor.
(8)
Stephanidis, Constantine. editor.
(7)
Braz, José. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(174)
Artificial intelligence.
(105)
Computer Applications.
(67)
Computational intelligence.
(53)
Computer vision.
(52)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
584 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Personal Satellite Services 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers
Personal Satellite Services 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers
Author 
Pillai, Prashant. editor. Shorey, Rajeev. editor. Ferro, Erina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334292.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36787-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Author 
Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334296.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36803-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334381.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number 
ONLINE(334384.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Technological Innovation for the Internet of Things 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings
Technological Innovation for the Internet of Things 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings
Author 
Camarinha-Matos, Luis M. editor. Tomic, Slavisa. editor. Graça, Paula. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334402.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334425.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37419-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Corchado, Juan M. editor. Bajo, Javier. editor. Kozlak, Jaroslaw. editor. Pawlewski, Pawel. editor. Molina, Jose M. editor.
Preferred Shelf Number 
ONLINE(334525.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38061-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334528.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38073-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action