Your search returned 13673 results. Subscribe to this search

|
Genetic Programming [electronic resource] : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Miguel Nicolau, Krzysztof Krawiec, Malcolm I. Heywood, Mauro Castelli, Pablo García-Sánchez, Juan J. Merelo, Victor Manuel Rivas Santos, Kevin Sim.

by Nicolau, Miguel [editor.] | Krawiec, Krzysztof [editor.] | Heywood, Malcolm I [editor.] | Castelli, Mauro [editor.] | García-Sánchez, Pablo [editor.] | Merelo, Juan J [editor.] | Rivas Santos, Victor Manuel [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service).

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

Financial Cryptography and Data Security [electronic resource] : FC 2011 Workshops, RLCPS and WECSR, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis, Sven Dietrich, Kazue Sako.

by Danezis, George [editor.] | Dietrich, Sven [editor.] | Sako, Kazue [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

Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang.

by Calmet, Jaques [editor.] | Ida, Tetsuo [editor.] | Wang, Dongming [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

Financial Cryptography and Data Security [electronic resource] : FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers / edited by Jim Blythe.

by Blythe, Jim [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

Information Security and Privacy [electronic resource] : 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings / edited by Willy Susilo, Yi Mu, Jennifer Seberry.

by Susilo, Willy [editor.] | Mu, Yi [editor.] | Seberry, Jennifer [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

Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings / edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen.

by Calude, Cristian S [editor.] | Calude, Elena [editor.] | Dinneen, Michael J [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

Comparative Genomics [electronic resource] : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings / edited by Aoife McLysaght, Daniel H. Huson.

by McLysaght, Aoife [editor.] | Huson, Daniel H [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

Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings / edited by Michael O'Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcázar, Ivanoe De Falco, Antonio Della Cioppa, Ernesto Tarantino.

by O'Neill, Michael [editor.] | Vanneschi, Leonardo [editor.] | Gustafson, Steven [editor.] | Esparcia Alcázar, Anna Isabel [editor.] | De Falco, Ivanoe [editor.] | Della Cioppa, Antonio [editor.] | Tarantino, Ernesto [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

Mobile Web and Intelligent Information Systems [electronic resource] : 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings / edited by Muhammad Younas, Irfan Awan, Irena Holubova.

by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Holubova, Irena [editor.] | SpringerLink (Online service).

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

Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [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

Applied Algorithms [electronic resource] : First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings / edited by Prosenjit Gupta, Christos Zaroliagis.

by Gupta, Prosenjit [editor.] | Zaroliagis, Christos [editor.] | SpringerLink (Online service).

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

Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / edited by Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama.

by Bacardit, Jaume [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | Kovacs, Tim [editor.] | Llorà, Xavier [editor.] | Takadama, Keiki [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

Advances in Information Retrieval [electronic resource] : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006, Proceedings / edited by Mounia Lalmas, Andrew MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky.

by Lalmas, Mounia [editor.] | MacFarlane, Andrew [editor.] | Rüger, Stefan [editor.] | Tombros, Anastasios [editor.] | Tsikrika, Theodora [editor.] | Yavlinsky, Alexei [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

Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings / edited by Paul S. Andrews, Jon Timmis, Nick D. L. Owens, Uwe Aickelin, Emma Hart, Andrew Hone, Andy Tyrrell.

by Andrews, Paul S [editor.] | Timmis, Jon [editor.] | Owens, Nick D. L [editor.] | Aickelin, Uwe [editor.] | Hart, Emma [editor.] | Hone, Andrew [editor.] | Tyrrell, Andy [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

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [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

Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann.

by Schmid, Ute [editor.] | Kitzelmann, Emanuel [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

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers / edited by Riccardo Rizzo, Paulo J.G. Lisboa.

by Rizzo, Riccardo [editor.] | Lisboa, Paulo J.G [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

Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / edited by Helmut Seidl.

by Seidl, Helmut [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

Data Integration in the Life Sciences [electronic resource] : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings / edited by Marcos Da Silveira, Cédric Pruski, Reinhard Schneider.

by Da Silveira, Marcos [editor.] | Pruski, Cédric [editor.] | Schneider, Reinhard [editor.] | SpringerLink (Online service).

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

Advanced Data Mining and Applications [electronic resource] : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings / edited by Gao Cong, Wen-Chih Peng, Wei Emma Zhang, Chengliang Li, Aixin Sun.

by Cong, Gao [editor.] | Peng, Wen-Chih [editor.] | Zhang, Wei Emma [editor.] | Li, Chengliang [editor.] | Sun, Aixin [editor.] | SpringerLink (Online service).

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