Your search returned 10983 results. Subscribe to this search

|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers / edited by Ana Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe.

by Fred, Ana [editor.] | Dietz, Jan L.G [editor.] | Aveiro, David [editor.] | Liu, Kecheng [editor.] | Filipe, Joaquim [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

Swarm Intelligence Based Optimization [electronic resource] : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot.

by Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [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

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz.

by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany M [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

Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / edited by Carlos Mart�in-Vide, Takaaki Mizuki, Miguel A. Vega-Rodr�iguez.

by Mart�in-Vide, Carlos [editor.] | Mizuki, Takaaki [editor.] | Vega-Rodr�iguez, Miguel A [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

Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Joan Gabestany.

by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Gabestany, Joan [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

Service-Oriented Computing [electronic resource] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri.

by Sheng, Quan Z [editor.] | Stroulia, Eleni [editor.] | Tata, Samir [editor.] | Bhiri, Sami [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

Probability Logics [electronic resource] : Probability-Based Formalization of Uncertain Reasoning / by Zoran Ognjanović, Miodrag Rašković, Zoran Marković.

by Ognjanović, Zoran [author.] | Rašković, Miodrag [author.] | Marković, Zoran [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

Data Privacy Management and Security Assurance [electronic resource] : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / edited by Giovanni Livraga, Vicen�c Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri.

by Livraga, Giovanni [editor.] | Torra, Vicen�c [editor.] | Aldini, Alessandro [editor.] | Martinelli, Fabio [editor.] | Suri, Neeraj [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

The Semantic Web: Semantics and Big Data [electronic resource] : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph.

by Cimiano, Philipp [editor.] | Corcho, Oscar [editor.] | Presutti, Valentina [editor.] | Hollink, Laura [editor.] | Rudolph, Sebastian [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

Optimization Techniques in Computer Vision [electronic resource] : Ill-Posed Problems and Regularization / by Mongi A. Abidi, Andrei V. Gribok, Joonki Paik.

by Abidi, Mongi A [author.] | Gribok, Andrei V [author.] | Paik, Joonki [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

User Modeling, Adaptation, and Personalization [electronic resource] : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings / edited by Sandra Carberry, Stephan Weibelzahl, Alessandro Micarelli, Giovanni Semeraro.

by Carberry, Sandra [editor.] | Weibelzahl, Stephan [editor.] | Micarelli, Alessandro [editor.] | Semeraro, Giovanni [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

Advanced Concepts for Intelligent Vision Systems [electronic resource] : 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings / edited by Jacques Blanc-Talon, Cosimo Distante, Wilfried Philips, Dan Popescu, Paul Scheunders.

by Blanc-Talon, Jacques [editor.] | Distante, Cosimo [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [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

Patch-Based Techniques in Medical Imaging [electronic resource] : Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / edited by Guorong Wu, Pierrick Coup�e, Yiqiang Zhan, Brent C. Munsell, Daniel Rueckert.

by Wu, Guorong [editor.] | Coup�e, Pierrick [editor.] | Zhan, Yiqiang [editor.] | Munsell, Brent C [editor.] | Rueckert, Daniel [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 in Systems Biology [electronic resource] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti.

by Bartocci, Ezio [editor.] | Lio, Pietro [editor.] | Paoletti, Nicola [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

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicen�c Torra.

by Torra, Vicen�c [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

Similarity Search and Applications [electronic resource] : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / edited by Laurent Amsaleg, Michael E. Houle, Erich Schubert.

by Amsaleg, Laurent [editor.] | Houle, Michael E [editor.] | Schubert, Erich [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

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 [electronic resource] : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II / edited by Sebastien Ourselin, Leo Joskowicz, Mert R. Sabuncu, Gozde Unal, William Wells.

by Ourselin, Sebastien [editor.] | Joskowicz, Leo [editor.] | Sabuncu, Mert R [editor.] | Unal, Gozde [editor.] | Wells, William [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

Parallel Problem Solving from Nature - PPSN XIV [electronic resource] : 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / edited by Julia Handl, Emma Hart, Peter R. Lewis, Manuel L�opez-Ib�a�nez, Gabriela Ochoa, Ben Paechter.

by Handl, Julia [editor.] | Hart, Emma [editor.] | Lewis, Peter R [editor.] | L�opez-Ib�a�nez, Manuel [editor.] | Ochoa, Gabriela [editor.] | Paechter, Ben [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

Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.

by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [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