Your search returned 1188 results. Subscribe to this search

|
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [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

AI 2012: Advances in Artificial Intelligence [electronic resource] : 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings / edited by Michael Thielscher, Dongmo Zhang.

by Thielscher, Michael [editor.] | Zhang, Dongmo [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

Genetic Programming [electronic resource] : 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings / edited by Marc Ebner, Michael O'Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar.

by Ebner, Marc [editor.] | O'Neill, Michael [editor.] | Ekárt, Anikó [editor.] | Vanneschi, Leonardo [editor.] | Esparcia-Alcázar, Anna Isabel [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

Information Processing in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, Jonathan Oliver, Martin Albrecht Trefzer.

by Lones, Michael A [editor.] | Smith, Stephen L [editor.] | Teichmann, Sarah [editor.] | Naef, Felix [editor.] | Oliver, Jonathan [editor.] | Trefzer, Martin Albrecht [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

Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / edited by Michael Codish, Eijiro Sumii.

by Codish, Michael [editor.] | Sumii, Eijiro [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

Intelligent Virtual Agents [electronic resource] : 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings / edited by Zsófia Ruttkay, Michael Kipp, Anton Nijholt, Hannes Högni Vilhjálmsson.

by Ruttkay, Zsófia [editor.] | Kipp, Michael [editor.] | Nijholt, Anton [editor.] | Vilhjálmsson, Hannes Högni [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

Intelligence and Security Informatics [electronic resource] : 11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen.

by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [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

Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems / edited by M. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.

by Papazoglou, M [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [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

Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier.

by Yoshida, Hiroyuki [editor.] | Warfield, Simon [editor.] | Vannier, Michael [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

Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010, Proceedings / edited by Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler.

by Goesele, Michael [editor.] | Roth, Stefan [editor.] | Kuijper, Arjan [editor.] | Schiele, Bernt [editor.] | Schindler, Konrad [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

Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / edited by Edmund Burke, Michael Trick.

by Burke, Edmund [editor.] | Trick, Michael [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

Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@IAT10 2010Melbourne, Australia, December 1, 2009Toronto, Canada, August 31, 2010Revised Selected Papers / edited by Christian Guttmann, Frank Dignum, Michael Georgeff.

by Guttmann, Christian [editor.] | Dignum, Frank [editor.] | Georgeff, Michael [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

Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.

by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-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

Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / edited by Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs.

by Bougé, Luc [editor.] | Forsell, Martti [editor.] | Larsson Träff, Jesper [editor.] | Streit, Achim [editor.] | Ziegler, Wolfgang [editor.] | Alexander, Michael [editor.] | Childs, Stephen [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

Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe.

by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Matyáš, Vashek [editor.] | Roe, Michael [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

Medical Computer Vision: Algorithms for Big Data [electronic resource] : International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers / edited by Bjoern Menze, Georg Langs, Albert Montillo, Michael Kelm, Henning Müller, Shaoting Zhang, Weidong (Tom) Cai, Dimitris Metaxas.

by Menze, Bjoern [editor.] | Langs, Georg [editor.] | Montillo, Albert [editor.] | Kelm, Michael [editor.] | Müller, Henning [editor.] | Zhang, Shaoting [editor.] | Cai, Weidong (Tom) [editor.] | Metaxas, Dimitris [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

Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.

by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [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

Discovery Science [electronic resource] : 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / edited by Jean-Francois Boulicaut, Michael R. Berthold, Tamás Horváth.

by Boulicaut, Jean-Francois [editor.] | Berthold, Michael R [editor.] | Horváth, Tamás [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

Cooperative Information Agents X [electronic resource] : 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings / edited by Matthias Klusch, Michael Rovatsos, Terry R. Payne.

by Klusch, Matthias [editor.] | Rovatsos, Michael [editor.] | Payne, Terry R [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

Computer Vision - ECCV 2014 Workshops [electronic resource] : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II / edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother.

by Agapito, Lourdes [editor.] | Bronstein, Michael M [editor.] | Rother, Carsten [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