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
580 Results Found Subscribe to search results
000000000000DEFAULT
Print
457. 
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:
458. 
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:
459. 
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:
460. 
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:
461. 
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:
462. 
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:
463. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
464. 
Cover image for Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Author 
Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
465. 
Cover image for Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Author 
Yamamoto, Sakae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334757.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39226-9
Format: 
Availability 
Online Library~1
Available:
Copies:
466. 
Cover image for Design, User Experience, and Usability. User Experience in Novel Technological Environments Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Design, User Experience, and Usability. User Experience in Novel Technological Environments Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334761.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39238-2
Format: 
Availability 
Online Library~1
Available:
Copies:
467. 
Cover image for Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334762.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39241-2
Format: 
Availability 
Online Library~1
Available:
Copies:
468. 
Cover image for Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings
Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings
Author 
Bursa, Miroslav. editor. Khuri, Sami. editor. Renda, M. Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334891.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40093-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action