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 Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
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 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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Author 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action