Limit Search Results
Author
SpringerLink (Online service)
(54)
Bravo, José. editor.
(2)
Chen, Yingyi. editor.
(2)
Das, Swagatam. editor.
(2)
Dash, Shubhransu Sekhar. editor.
(2)
Language
Publication Date
-
2013
(54)
Subject
Artificial intelligence.
(54)
Computer science.
(54)
Computer Communication Networks.
(50)
Information Systems Applications (incl. Internet).
(30)
Information Storage and Retrieval.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Human Factors in Augmented Reality Environments
Human Factors in Augmented Reality Environments
Author 
Huang, Weidong. editor. Alem, Leila. editor. Livingston, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331450.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4205-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers
Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers
Author 
Riaño, David. editor. Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor.
Preferred Shelf Number 
ONLINE(333006.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03916-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers
Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers
Author 
Cao, Longbing. editor. Motoda, Hiroshi. editor. Srivastava, Jaideep. editor. Lim, Ee-Peng. editor. King, Irwin. editor.
Preferred Shelf Number 
ONLINE(333012.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-04048-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Transactions on Computational Science XVII
Transactions on Computational Science XVII
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334063.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for RoboCup 2012: Robot Soccer World Cup XVI
RoboCup 2012: Robot Soccer World Cup XVI
Author 
Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334765.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39250-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for 3D Surface Reconstruction Multi-Scale Hierarchical Approaches
3D Surface Reconstruction Multi-Scale Hierarchical Approaches
Author 
Bellocchio, Francesco. author. Borghese, N. Alberto. author. Ferrari, Stefano. author. Piuri, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331824.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Semantic Web-based Intelligent Geospatial Web Services
Semantic Web-based Intelligent Geospatial Web Services
Author 
Yue, Peng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action