Limit Search Results
Author
SpringerLink (Online service)
(1350)
Liu, Honghai. editor.
(26)
Jain, Lakhmi C. editor.
(16)
Kacprzyk, Janusz. editor.
(13)
Filipe, Joaquim. editor.
(11)
Language
Publication Date
-
Subject
Artificial intelligence.
(876)
Artificial Intelligence (incl. Robotics).
(580)
Robotics.
(452)
Computer science.
(438)
Engineering.
(353)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1517 Results Found Subscribe to search results
000000000000DEFAULT
Print
1153. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1154. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1155. 
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:
1156. 
Cover image for Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers
Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers
Author 
Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334898.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40140-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1157. 
Cover image for Case-Based Reasoning A Textbook
Case-Based Reasoning A Textbook
Author 
Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1158. 
Cover image for Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II
Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II
Author 
Decker, Hendrik. editor. Lhotská, Lenka. editor. Link, Sebastian. editor. Basl, Josef. editor. Tjoa, A Min. editor.
Preferred Shelf Number 
ONLINE(334903.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40173-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1159. 
Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Author 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number 
ONLINE(334915.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1160. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334917.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1161. 
Cover image for Soft Computing for Image and Multimedia Data Processing
Soft Computing for Image and Multimedia Data Processing
Author 
Bhattacharyya, Siddhartha. author. Maulik, Ujjwal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334918.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40255-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1162. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334919.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1163. 
Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings
Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings
Author 
Hong, Bonghee. editor. Meng, Xiaofeng. editor. Chen, Lei. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number 
ONLINE(334920.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1164. 
Cover image for Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I
Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I
Author 
Decker, Hendrik. editor. Lhotská, Lenka. editor. Link, Sebastian. editor. Basl, Josef. editor. Tjoa, A Min. editor.
Preferred Shelf Number 
ONLINE(334923.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action