{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Abdominal Imaging. Computational and Clinical Applications :
6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.
Abdominal Imaging. Computational And Clinical Applications : 6th International Workshop, ABDI 2014, Held In Conjunction With MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / Edited By Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini.
Yoshida, Hiroyuki.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Adaptive Resource Management and Scheduling for Cloud Computing :
First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Adaptive Resource Management And Scheduling For Cloud Computing : First International Workshop, ARMS-CC 2014, Held In Conjunction With ACM Symposium On Principles Of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers / Edited By Florin Pop, Maria Potop-Butucaru.
Pop, Florin,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advanced Methods, Techniques, and Applications in Modeling and Simulation :
Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, And Applications In Modeling And Simulation : Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings / Edited By Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park.
Kim, J. H.
Springer Japan : Imprint: Springer,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advanced Real-Time Manipulation of Video Streams
Advanced Real-Time Manipulation Of Video Streams / By Jan Herling.
Herling, Jan.,
Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Ildar Batyrshin, Miguel González Mendoza.
Batyrshin, Ildar.
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advances in Artificial Life and Evolutionary Computation :
9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Advances In Artificial Life And Evolutionary Computation : 9th Italian Workshop, WIVACE 2014, Vietri Sul Mare, Italy, May 14-15, Revised Selected Papers / Edited By Clara Pizzuti, Giandomenico Spezzano.
Pizzuti, Clara,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advances in Communication Networking :
20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers
Advances In Communication Networking : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / Edited By Yvon Kermarrec.
Kermarrec, Yvon,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advances in Cryptology CRYPTO 2013 :
33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Advances In Cryptology CRYPTO 2013 : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I / Edited By Ran Canetti, Juan A. Garay.
Canetti, Ran.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Ran Canetti, Juan A. Garay.
Canetti, Ran.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Xiaoyi Jiang, Olga Regina Pereira Bellon, Dmitry Goldgof, Takeshi Oishi.
Jiang, Xiaoyi.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Advancing the Impact of Design Science: Moving from Theory to Practice :
9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings
Advancing The Impact Of Design Science: Moving From Theory To Practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings / Edited By Monica Chiarini Tremblay, Debra VanderMeer, Marcus Rothenberger, Ashish Gupta, Victoria Yoon.
Tremblay, Monica Chiarini,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Agent-Based Approaches in Economic and Social Complex Systems VII :
Post-Proceedings of The AESCS International Workshop 2012
Agent-Based Approaches In Economic And Social Complex Systems VII : Post-Proceedings Of The AESCS International Workshop 2012 / Edited By Tadahiko Murata, Takao Terano, Shingo Takahashi.
Murata, Tadahiko,
Springer Japan : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By David L. Dowe.
Dowe, David L.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam.
Cai, Leizhen.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Algorithms and Computation :
25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Algorithms And Computation : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings / Edited By Hee-Kap Ahn, Chan-Su Shin.
Ahn, Hee-Kap,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Altmetrics for Research Outputs Measurement and Scholarly Information Management :
International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers
Altmetrics For Research Outputs Measurement And Scholarly Information Management : International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers / Edited By Mojisola Erdt, Aravind Sesagiri Raamkumar, Edie Rasmussen, Yin-Leng Theng.
Springer Singapore : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes.
Linte, Cristian A.
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Blogosphere and its Exploration
Blogosphere And Its Exploration / By Christoph Meinel, Justus Broß, Philipp Berger, Patrick Hennig.
Meinel, Christoph,
Springer Berlin Heidelberg : Imprint: Springer,
2015.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Building Sustainable Information Systems :
Proceedings of the 2012 International Conference on Information Systems Development
Building Sustainable Information Systems : Proceedings Of The 2012 International Conference On Information Systems Development / Edited By Henry Linger, Julie Fisher, Andrew Barnden, Chris Barry, Michael Lang, Christoph Schneider.
Linger, Henry.,
Springer US : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Business Process Management :
14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Business Process Management : 14th International Conference, BPM 2016, Rio De Janeiro, Brazil, September 18-22, 2016. Proceedings / Edited By Marcello La Rosa, Peter Loos, Oscar Pastor.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Categories and Types in Logic, Language, and Physics :
Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Categories And Types In Logic, Language, And Physics : Essays Dedicated To Jim Lambek On The Occasion Of His 90th Birthday / Edited By Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.
Casadio, C.
Springer Berlin Heidelberg : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Georges Gonthier, Michael Norrish.
Gonthier, Georges.,
Springer International Publishing : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Communication Technologies for Vehicles :
5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve dAscq, France, May 14-15, 2013. Proceedings
Communication Technologies For Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve DAscq, France, May 14-15, 2013. Proceedings / Edited By Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.
Berbineau, Marion.
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computational History and Data-Driven Humanities :
Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers
Computational History And Data-Driven Humanities : Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers / Edited By Bojan Bozic, Gavin Mendel-Gleason, Christophe Debruyne, Declan O'Sullivan.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computational Intelligence Systems in Industrial Engineering :
With Recent Theory and Applications
Computational Intelligence Systems In Industrial Engineering : With Recent Theory And Applications / Edited By Cengiz Kahraman.
Kahraman, Cengiz.
Atlantis Press : Imprint: Atlantis Press,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computational Topology in Image Context :
6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
Computational Topology In Image Context : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / Edited By Alexandra Bac, Jean-Luc Mari.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Analysis of Images and Patterns :
15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Computer Analysis Of Images And Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II / Edited By Richard Wilson, Edwin Hancock, Adrian Bors, William Smith.
Wilson, Richard
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Richard Wilson, Edwin Hancock, Adrian Bors, William Smith.
Wilson, Richard
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Vision ECCV 2012 :
12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV
Computer Vision ECCV 2012 : 12th European Conference On Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV / Edited By Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid.
Fitzgibbon, A. W.
Springer Berlin Heidelberg : Imprint: Springer,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Vision, Imaging and Computer Graphics -- Theory and Applications :
International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers
Computer Vision, Imaging And Computer Graphics -- Theory And Applications : International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers / Edited By Sebastiano Battiato, Sabine Coquillart, Robert S. Laramee, Andreas Kerren, José Braz.
Battiato, Sebastiano,
Springer Berlin Heidelberg : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Vision Systems :
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Computer Vision Systems : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings / Edited By Mei Chen, Bastian Leibe, Bernd Neumann.
Chen, Mei
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By P. L. Patrick Rau.
Rau, P. L. Patrick.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Cross-Cultural Design. Methods, Practice, and Case Studies :
5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Cross-Cultural Design. Methods, Practice, And Case Studies : 5th International Conference, CCD 2013, Held As Part Of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / Edited By P. L. Patrick Rau.
Rau, P. L. Patrick.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Quan Z. Sheng, Jesper Kjeldskov.
Sheng, Quan Z.,
Springer International Publishing : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Massimo Felici.
Felici, Massimo.,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Data Analytics :
Models and Algorithms for Intelligent Data Analysis
Data Analytics : Models And Algorithms For Intelligent Data Analysis / By Thomas A. Runkler.
Runkler, Thomas A.
Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Data Warehousing and Knowledge Discovery :
16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings
Data Warehousing And Knowledge Discovery : 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings / Edited By Ladjel Bellatreche, Mukesh K. Mohania.
Bellatreche, Ladjel,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Database Systems for Advanced Applications :
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I
Database Systems For Advanced Applications : 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I / Edited By Sourav S. Bhowmick, Curtis E. Dyreson, Christian S. Jensen, Mong Li Lee, Agus Muliantara, Bernhard Thalheim.
Bhowmick, Sourav S.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Database Systems for Advanced Applications :
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II
Database Systems For Advanced Applications : 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II / Edited By Sourav S. Bhowmick, Curtis E. Dyreson, Christian S. Jensen, Mong Li Lee, Agus Muliantara, Bernhard Thalheim.
Bhowmick, Sourav S.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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 / Edited By Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.
Baldoni, Matteo,
Springer Berlin Heidelberg : Imprint: Springer,
2013.
