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 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:
2. 
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:
3. 
Cover image for High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
Author 
Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.
Preferred Shelf Number 
ONLINE(335142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41717-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Author 
Dowe, David L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335173.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44958-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Author 
Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author 
Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Molecular Biology Not Only for Bioinformaticians
Molecular Biology Not Only for Bioinformaticians
Author 
Widłak, Wiesława. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335211.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45361-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Author 
Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334486.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action