{{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.
Accelerator Programming Using Directives :
4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held In Conjunction With The International Conference For High Performance Computing, Networking, Storage And Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / Edited By Sunita Chandrasekaran, Guido Juckeland.
Springer International Publishing : 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.
Adaptive and Learning Agents :
International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
Adaptive And Learning Agents : International Workshop, ALA 2011, Held At AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers / Edited By Peter Vrancx, Matthew Knudson, Marek Grzeż..
Vrancx, Peter.
Springer Berlin Heidelberg,
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.
Advances in Applied Self-Organizing Systems
Advances In Applied Self-Organizing Systems / Edited By Mikhail Prokopenko.
Prokopenko, Mikhail.
Springer London : 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 Computational Intelligence :
15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 2328, 2016, Proceedings, Part I
Advances In Computational Intelligence : 15th Mexican International Conference On Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 2328, 2016, Proceedings, Part I / Edited By Grigori Sidorov, Oscar Herrera-Alcántara.
Springer International Publishing : Imprint: Springer,
2017.
{{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 Computer Entertainment Technology :
14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings
Advances In Computer Entertainment Technology : 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings / Edited By Adrian David Cheok, Masahiko Inami, Teresa Romăo.
Springer International Publishing : 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.
Advances in Network Science :
12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings
Advances In Network Science : 12th International Conference And School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / Edited By Adam Wierzbicki, Ulrik Brandes, Frank Schweitzer, Dino Pedreschi.
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.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection :
16th International Conference, PAAMS 2018, Toledo, Spain, June 2022, 2018, Proceedings
Advances In Practical Applications Of Agents, Multi-Agent Systems, And Complexity: The PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 2022, 2018, Proceedings / Edited By Yves Demazeau, Bo An, Javier Bajo, Antonio Fernández-Caballero.
Springer International Publishing : 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.
Advances in Soft Computing :
15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 2328, 2016, Proceedings, Part II
Advances In Soft Computing : 15th Mexican International Conference On Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 2328, 2016, Proceedings, Part II / Edited By Obdulia Pichardo-Lagunas, Sabino Miranda-Jiménez.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Agreement Technologies :
Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Agreement Technologies : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / Edited By Carlos Iván Chesńevar, Eva Onaindia, Sascha Ossowski, George Vouros.
Chesńevar, Carlos Iván.,
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.
Ambient Media and Systems :
Third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013, Revised Selected Papers
Ambient Media And Systems : Third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013, Revised Selected Papers / Edited By Constantinos T. Angelis, Dimitrios Fotiadis, Alexandros T. Tzallas.
Angelis, Constantinos T.,
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.
Applications and Usability of Interactive Television :
6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers
Applications And Usability Of Interactive Television : 6th Iberoamerican Conference, JAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers / Edited By María José Abásolo, Jorge Abreu, Pedro Almeida, Telmo Silva.
Springer International Publishing : 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.
Applications and Usability of Interactive TV :
4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015. Revised Selected Papers
Applications And Usability Of Interactive TV : 4th Iberoamerican Conference, JAUTI 2015, And 6th Congress On Interactive Digital TV, CTVDI 2015, Palma De Mallorca, Spain, October 15-16, 2015. Revised Selected Papers / Edited By María José Abásolo, Francisco J. Perales, Antoni Bibiloni.
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.
Applications and Usability of Interactive TV :
5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers
Applications And Usability Of Interactive TV : 5th Iberoamerican Conference, JAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers / Edited By María José Abásolo, Pedro Almeida, Joaquín Pina Amargós.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Applied Reconfigurable Computing :
13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Applied Reconfigurable Computing : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / Edited By Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Artificial Intelligence and Soft Computing :
17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Artificial Intelligence And Soft Computing : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / Edited By Leszek Rutkowski, Rafal Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
Springer International Publishing : 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.
Artificial Intelligence and Soft Computing :
17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
Artificial Intelligence And Soft Computing : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / Edited By Leszek Rutkowski, Rafal Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
Springer International Publishing : 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.
AsiaSim 2013 :
13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
AsiaSim 2013 : 13th International Conference On Systems Simulation, Singapore, November 6-8, 2013. Proceedings / Edited By Gary Tan, Gee Kin Yeo, Stephen John Turner, Yong Meng Teo.
Tan, Gary.,
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.
Automated Technology for Verification and Analysis :
15th International Symposium, ATVA 2017, Pune, India, October 36, 2017, Proceedings
Automated Technology For Verification And Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 36, 2017, Proceedings / Edited By Deepak D'Souza, K. Narayan Kumar.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Autonomous Agents and Multiagent Systems :
AAMAS 2017 Workshops, Best Papers, Săo Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autonomous Agents And Multiagent Systems : AAMAS 2017 Workshops, Best Papers, Săo Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / Edited By Gita Sukthankar, Juan A. Rodriguez-Aguilar.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Big Data Analytics and Knowledge Discovery :
19th International Conference, DaWaK 2017, Lyon, France, August 2831, 2017, Proceedings
Big Data Analytics And Knowledge Discovery : 19th International Conference, DaWaK 2017, Lyon, France, August 2831, 2017, Proceedings / Edited By Ladjel Bellatreche, Sharma Chakravarthy.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Bioinformatics and Biomedical Engineering :
5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2628, 2017, Proceedings, Part I
Bioinformatics And Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2628, 2017, Proceedings, Part I / Edited By Ignacio Rojas, Francisco Ortuńo.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Bioinformatics and Biomedical Engineering :
5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2628, 2017, Proceedings, Part II
Bioinformatics And Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2628, 2017, Proceedings, Part II / Edited By Ignacio Rojas, Francisco Ortuńo.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Bioinformatics and Biomedical Engineering :
6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 2527, 2018, Proceedings, Part I
Bioinformatics And Biomedical Engineering : 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 2527, 2018, Proceedings, Part I / Edited By Ignacio Rojas, Francisco Ortuńo.
Springer International Publishing : 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.
Bioinformatics and Biomedical Engineering :
6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 2527, 2018, Proceedings, Part II
Bioinformatics And Biomedical Engineering : 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 2527, 2018, Proceedings, Part II / Edited By Ignacio Rojas, Francisco Ortuńo.
Springer International Publishing : 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.
Bioinspired Optimization Methods and Their Applications :
8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods And Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / Edited By Peter Koroec, Nouredine Melab, El-Ghazali Talbi.
Springer International Publishing : 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.
Botnets
Botnets / By Heli Tiirmaa-Klaar, Jan Gassen, Elmar Gerhards-Padilla, Peter Martini.
Tiirmaa-Klaar, Heli.,
Springer London : 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.
Break-Glass :
Handling Exceptional Situations in Access Control
Break-Glass : Handling Exceptional Situations In Access Control / By Helmut Petritsch.
Petritsch, Helmut.,
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.
CAN System Engineering :
From Theory to Practical Applications
CAN System Engineering : From Theory To Practical Applications / Edited By Wolfhard Lawrenz.
Lawrenz, Wolfhard.,
Springer London : 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.
Cloud Broker and Cloudlet for Workflow Scheduling
Cloud Broker And Cloudlet For Workflow Scheduling / By Chan-Hyun Youn, Min Chen, Patrizio Dazzi.
Youn, Chan-Hyun.,
Springer Singapore : Imprint: Springer,
2017.
{{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 in Critical Embedded Systems :
First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers
Communication In Critical Embedded Systems : First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers / Edited By Kalinka Branco, Alex Pinto, Daniel Pigatto.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Communications and Networking :
An Introduction
Communications And Networking : An Introduction / By John Cowley.
Cowley, John.
Springer London : 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 Logistics :
9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 13, 2018, Proceedings
Computational Logistics : 9th International Conference, ICCL 2018, Vietri Sul Mare, Italy, October 13, 2018, Proceedings / Edited By Raffaele Cerulli, Andrea Raiconi, Stefan Voß.
Springer International Publishing : 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.
Computational Science ICCS 2018 :
18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
Computational Science ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / Edited By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot.
Springer International Publishing : 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.
Computational Science ICCS 2018 :
18th International Conference, Wuxi, China, June 1113, 2018, Proceedings, Part I
Computational Science ICCS 2018 : 18th International Conference, Wuxi, China, June 1113, 2018, Proceedings, Part I / Edited By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot.
Springer International Publishing : 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.
Computational Science ICCS 2018 :
18th International Conference, Wuxi, China, June 1113, 2018 Proceedings, Part III
Computational Science ICCS 2018 : 18th International Conference, Wuxi, China, June 1113, 2018 Proceedings, Part III / Edited By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M. A. Sloot.
Springer International Publishing : 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.
Computer Aided Verification :
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Computer Aided Verification : 26th International Conference, CAV 2014, Held As Part Of The Vienna Summer Of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / Edited By Armin Biere, Roderick Bloem.
Biere, Armin,
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.
Computer Aided Verification :
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Edited By Daniel Kroening, Corina S. Psreanu.
Springer International Publishing : 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.
Computer Aided Verification :
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Edited By Daniel Kroening, Corina S. Psreanu.
Springer International Publishing : 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.
Computer Aided Verification :
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Edited By Swarat Chaudhuri, Azadeh Farzan.
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 Aided Verification :
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Edited By Swarat Chaudhuri, Azadeh Farzan.
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 and Computing Technologies in Agriculture IX :
9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II
Computer And Computing Technologies In Agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II / Edited By Daoliang Li, Zhenbo Li.
Springer International Publishing : Imprint: Springer,
2016.