Limit Search Results
Author
SpringerLink (Online service)
(199)
Freeman, Adam. author.
(4)
Olsson, Mikael. author.
(4)
Beckner, Mark. author.
(3)
Rollins, Mark. author.
(3)
Language
English
(199)
Publication Date
-
2013
(199)
Subject
Computer science.
(199)
Artificial Intelligence (incl. Robotics).
(20)
Artificial intelligence.
(20)
Computer vision.
(9)
Software engineering.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
199 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334888.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40084-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Author 
Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335028.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Author 
Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335052.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41071-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Author 
Felici, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41205-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Author 
Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41227-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers
Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers
Author 
Sheng, Quan Z. editor. Kjeldskov, Jesper. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333019.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-04244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Author 
Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.
Preferred Shelf Number 
ONLINE(334576.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334735.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39182-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Author 
Vieira, Marco. editor. Cunha, João Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38789-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action