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 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:
2. 
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:
3. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Author 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332997.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings
Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings
Author 
Prasath, Rajendra. editor. Kathirvalavakumar, T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332998.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Author 
Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number 
ONLINE(334674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38824-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Author 
Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38847-7
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 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:
12. 
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:
Select an Action