Limit Search Results
Author
SpringerLink (Online service)
(1057)
Liu, Honghai. editor.
(26)
Jain, Lakhmi C. editor.
(16)
Filipe, Joaquim. editor.
(11)
Khatib, Oussama. editor.
(9)
Language
Publication Date
-
Subject
Artificial intelligence.
(782)
Artificial Intelligence (incl. Robotics).
(580)
Computer science.
(437)
Engineering.
(353)
Robotics.
(192)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1224 Results Found Subscribe to search results
000000000000DEFAULT
Print
1117. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1118. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1119. 
Cover image for Computational and Robotic Models of the Hierarchical Organization of Behavior
Computational and Robotic Models of the Hierarchical Organization of Behavior
Author 
Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39875-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1120. 
Cover image for E-Commerce and Web Technologies 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings
E-Commerce and Web Technologies 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings
Author 
Huemer, Christian. editor. Lops, Pasquale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334862.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39878-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1121. 
Cover image for Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334835.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39678-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1122. 
Cover image for Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334839.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1123. 
Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1124. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1125. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334843.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1126. 
Cover image for Transactions on Computational Science XIX Special Issue on Computer Graphics
Transactions on Computational Science XIX Special Issue on Computer Graphics
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334847.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39759-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1127. 
Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Author 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334848.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1128. 
Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Author 
Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Preferred Shelf Number 
ONLINE(334852.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action