|
|
|
Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Zhen Ji.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Ji, Zhen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings / edited by Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini.
by Jacobson, Michael [editor.] | Locasto, Michael [editor.] | Mohassel, Payman [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
