Limit Search Results
Author
SpringerLink (Online service)
(580)
Jain, Lakhmi C. editor.
(16)
Abraham, Ajith. editor.
(7)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(7)
Language
English
(580)
Publication Date
-
2013
(580)
Subject
Artificial intelligence.
(580)
Computer science.
(381)
Engineering.
(198)
Computational Intelligence.
(171)
Information Systems Applications (incl. Internet).
(128)
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
1. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Multimodal Interaction in Image and Video Applications
Multimodal Interaction in Image and Video Applications
Author 
Sappa, Angel D. author. Vitrià, Jordi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334085.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35932-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Author 
Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36008-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Author 
Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36074-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I
Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36124-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part II
Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part II
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334131.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36137-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers
Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers
Author 
Yang, Jian. editor. Fang, Fang. editor. Sun, Changyin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334262.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36669-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action