Limit Search Results
Author
SpringerLink (Online service)
(20)
Bors, Adrian. editor.
(2)
Cossentino, Massimo. editor.
(2)
Hancock, Edwin. editor.
(2)
Smith, William. editor.
(2)
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334919.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Author 
Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334924.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Author 
Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number 
ONLINE(334627.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38577-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Author 
Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Preferred Shelf Number 
ONLINE(334532.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38085-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Author 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334875.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Author 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334877.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies: