Your search returned 500 results. Subscribe to this search

|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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

Hybrid Metaheuristics [electronic resource] : 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings / edited by Christian Blum, Carlos Cotta, Antonio José Fernández Leiva, José E. Gallardo Ruiz, Andrea Roli, Michael Sampels.

by Blum, Christian [editor.] | Cotta, Carlos [editor.] | Fernández Leiva, Antonio José [editor.] | Gallardo Ruiz, José E [editor.] | Roli, Andrea [editor.] | Sampels, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný.

by Blockeel, Hendrik [editor.] | Kersting, Kristian [editor.] | Nijssen, Siegfried [editor.] | Železný, Filip [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Knowledge Discovery in Databases: PKDD 2006 [electronic resource] : 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings / edited by Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou.

by Fürnkranz, Johannes [editor.] | Scheffer, Tobias [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Subspace, Latent Structure and Feature Selection [electronic resource] : Statistical and Optimization Perspectives Workshop, SLSFS 2005 Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers / edited by Craig Saunders, Marko Grobelnik, Steve Gunn, John Shawe-Taylor.

by Saunders, Craig [editor.] | Grobelnik, Marko [editor.] | Gunn, Steve [editor.] | Shawe-Taylor, John [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings / edited by Alexander Dudin, Koen De Turck.

by Dudin, Alexander [editor.] | De Turck, Koen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers / edited by Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Laura Leal-Taixé, Bodo Rosenhahn.

by Dellaert, Frank [editor.] | Frahm, Jan-Michael [editor.] | Pollefeys, Marc [editor.] | Leal-Taixé, Laura [editor.] | Rosenhahn, Bodo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings / edited by José Luis Oliveira, Víctor Maojo, Fernando Martin-Sanchez, António Sousa Pereira.

by Oliveira, José Luis [editor.] | Maojo, Víctor [editor.] | Martin-Sanchez, Fernando [editor.] | Sousa Pereira, António [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / edited by Claudia Angelini, Paola MV Rancoita, Stefano Rovetta.

by Angelini, Claudia [editor.] | Rancoita, Paola MV [editor.] | Rovetta, Stefano [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný.

by Blockeel, Hendrik [editor.] | Kersting, Kristian [editor.] | Nijssen, Siegfried [editor.] | Železný, Filip [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings / edited by Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause.

by Maglaveras, Nicos [editor.] | Chouvarda, Ioanna [editor.] | Koutkias, Vassilis [editor.] | Brause, Rüdiger [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings / edited by Anupam Gupta, Klaus Jansen, José D.P. Rolim, ROCCO SERVEDIO.

by Gupta, Anupam [editor.] | Jansen, Klaus [editor.] | Rolim, José D.P [editor.] | SERVEDIO, ROCCO [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings / edited by Jagath C.- Rajapakse, Bertil Schmidt, Gwenn Volkert.

by Rajapakse, Jagath C.- [editor.] | Schmidt, Bertil [editor.] | Volkert, Gwenn [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Advances in Knowledge Discovery and Data Mining [electronic resource] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings / edited by Thanaruk Theeramunkong, Boonserm Kijsirikul, Nick Cercone, Tu-Bao Ho.

by Theeramunkong, Thanaruk [editor.] | Kijsirikul, Boonserm [editor.] | Cercone, Nick [editor.] | Ho, Tu-Bao [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas.

by Madsen, Tatiana K [editor.] | Nielsen, Jimmy J [editor.] | Pratas, Nuno K [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt.

by Agha, Gul [editor.] | Van Houdt, Benny [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Machine Learning and Knowledge Discovery in Databases, Part III [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis.

by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt.

by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Knottenbelt, William [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklos Telek.

by Al-Begain, Khalid [editor.] | Heindl, Armin [editor.] | Telek, Miklos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available