Your search returned 2893 results. Subscribe to this search

|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Intelligence Science and Big Data Engineering. Image and Video Data Engineering [electronic resource] : 5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part I / edited by Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang.

by He, Xiaofei [editor.] | Gao, Xinbo [editor.] | Zhang, Yanning [editor.] | Zhou, Zhi-Hua [editor.] | Liu, Zhi-Yong [editor.] | Fu, Baochuan [editor.] | Hu, Fuyuan [editor.] | Zhang, Zhancheng [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Ml�yn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack.

by Emde Boas, Peter van [editor.] | Groen, Frans C. A [editor.] | Italiano, Giuseppe F [editor.] | Nawrocki, Jerzy [editor.] | Sack, Harald [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Investment Strategies Optimization based on a SAX-GA Methodology [electronic resource] / by Ant�onio M.L. Canelas, Rui F.M.F. Neves, Nuno C.G. Horta.

by Canelas, Ant�onio M.L [author.] | Neves, Rui F.M.F [author.] | Horta, Nuno C.G [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Advances in Intelligent Data Analysis XV [electronic resource] : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings / edited by Henrik Bostr�om, Arno Knobbe, Carlos Soares, Panagiotis Papapetrou.

by Bostr�om, Henrik [editor.] | Knobbe, Arno [editor.] | Soares, Carlos [editor.] | Papapetrou, Panagiotis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Trust, Privacy, and Security in Digital Business [electronic resource] : 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Javier Lopez.

by Furnell, Steven [editor.] | Lambrinoudakis, Costas [editor.] | Lopez, Javier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Ultra Low Bit-Rate Speech Coding [electronic resource] / by V. Ramasubramanian, Harish Doddala.

by Ramasubramanian, V [author.] | Doddala, Harish [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Nanopositioning Technologies [electronic resource] : Fundamentals and Applications / edited by Changhai Ru, Xinyu Liu, Yu Sun.

by Ru, Changhai [editor.] | Liu, Xinyu [editor.] | Sun, Yu [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / edited by Jesse Davis, Jan Ramon.

by Davis, Jesse [editor.] | Ramon, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Data Integration in the Life Sciences [electronic resource] : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings / edited by Naveen Ashish, Jose-Luis Ambite.

by Ashish, Naveen [editor.] | Ambite, Jose-Luis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Spectral and Shape Analysis in Medical Imaging [electronic resource] : First International Workshop, SeSAMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised Selected Papers / edited by Martin Reuter, Christian Wachinger, Herv�e Lombaert.

by Reuter, Martin [editor.] | Wachinger, Christian [editor.] | Lombaert, Herv�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Image Analysis [electronic resource] : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / edited by Joni-Kristian K�am�ar�ainen, Markus Koskela.

by K�am�ar�ainen, Joni-Kristian [editor.] | Koskela, Markus [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Computer Vision - ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part I / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling.

by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.

by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III / edited by Toon Calders, Floriana Esposito, Eyke H�ullermeier, Rosa Meo.

by Calders, Toon [editor.] | Esposito, Floriana [editor.] | H�ullermeier, Eyke [editor.] | Meo, Rosa [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings / edited by Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea.

by Glodeanu, Cynthia Vera [editor.] | Kaytoue, Mehdi [editor.] | Sacarea, Christian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks [electronic resource] : Online Environmental Field Reconstruction in Space and Time / by Yunfei Xu, Jongeun Choi, Sarat Dass, Tapabrata Maiti.

by Xu, Yunfei [author.] | Choi, Jongeun [author.] | Dass, Sarat [author.] | Maiti, Tapabrata [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Scalable Uncertainty Management [electronic resource] : 9th International Conference, SUM 2015, Qu�ebec City, QC, Canada, September 16-18, 2015. Proceedings / edited by Christoph Beierle, Alex Dekhtyar.

by Beierle, Christoph [editor.] | Dekhtyar, Alex [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Ubiquitous Computing and Ambient Intelligence [electronic resource] : 10th International Conference, UCAmI 2016, San Bartolom�e de Tirajana, Gran Canaria, Spain, November 29 - December 2, 2016, Part II / edited by Carmelo R. Garc�ia, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.

by Garc�ia, Carmelo R [editor.] | Caballero-Gil, Pino [editor.] | Burmester, Mike [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Computational Methods and Clinical Applications for Spine Imaging [electronic resource] : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / edited by Jianhua Yao, Tomaž Vrtovec, Guoyan Zheng, Alejandro Frangi, Ben Glocker, Shuo Li.

by Yao, Jianhua [editor.] | Vrtovec, Tomaž [editor.] | Zheng, Guoyan [editor.] | Frangi, Alejandro [editor.] | Glocker, Ben [editor.] | Li, Shuo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available