Your search returned 13673 results. Subscribe to this search

|
Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / edited by Viktor K. Prasanna, Sitharama Iyengar, Paul Spirakis, Matt Welsh.

by Prasanna, Viktor K [editor.] | Iyengar, Sitharama [editor.] | Spirakis, Paul [editor.] | Welsh, Matt [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

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill.

by Hill, Patricia M [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

Parallel Problem Solving from Nature, PPSN XI [electronic resource] : 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II / edited by Robert Schaefer, Carlos Cotta, Joanna Kolodziej, Günter Rudolph.

by Schaefer, Robert [editor.] | Cotta, Carlos [editor.] | Kolodziej, Joanna [editor.] | Rudolph, Günter [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

SDL 2009: Design for Motes and Mobiles [electronic resource] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein.

by Reed, Rick [editor.] | Bilgic, Attila [editor.] | Gotzhein, Reinhard [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

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers / edited by Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo, Yohei Murakami.

by Hattori, Hiromitsu [editor.] | Kawamura, Takahiro [editor.] | Ide, Tsuyoshi [editor.] | Yokoo, Makoto [editor.] | Murakami, Yohei [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

Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings / edited by Emma Hart, Chris McEwan, Jon Timmis, Andy Hone.

by Hart, Emma [editor.] | McEwan, Chris [editor.] | Timmis, Jon [editor.] | Hone, Andy [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

Cyber Security Cryptography and Machine Learning [electronic resource] : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings / edited by Shlomi Dolev, Sachin Lodha.

by Dolev, Shlomi [editor.] | Lodha, Sachin [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

Graph-Theoretic Concepts in Computer Science [electronic resource] : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / edited by Pinar Heggernes.

by Heggernes, Pinar [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Empirical Methods in Natural Language Generation [electronic resource] : Data-oriented Methods and Empirical Evaluation / edited by Emiel Krahmer, Mariet Theune.

by Krahmer, Emiel [editor.] | Theune, Mariet [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

Logic, Language, and Computation [electronic resource] : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers / edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke.

by Aher, Martin [editor.] | Hole, Daniel [editor.] | Jeřábek, Emil [editor.] | Kupke, Clemens [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Information Theoretic Security [electronic resource] : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers / edited by Anderson C.A. Nascimento, Paulo Barreto.

by Nascimento, Anderson C.A [editor.] | Barreto, Paulo [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

Advances in Cryptology -- CRYPTO 2011 [electronic resource] : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011, Proceedings / edited by Phillip Rogaway.

by Rogaway, Phillip [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

Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | de Nicola, Rocco [editor.] | Meseguer, José [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

Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / edited by Stephan Chalup, Alan D. Blair, Marcus Randall.

by Chalup, Stephan [editor.] | Blair, Alan D [editor.] | Randall, Marcus [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

The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rodney Downey, Fedor V. Fomin, Dániel Marx.

by Bodlaender, Hans L [editor.] | Downey, Rodney [editor.] | Fomin, Fedor V [editor.] | Marx, Dániel [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

PRIMA 2017: Principles and Practice of Multi-Agent Systems [electronic resource] : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre.

by An, Bo [editor.] | Bazzan, Ana [editor.] | Leite, João [editor.] | Villata, Serena [editor.] | van der Torre, Leendert [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

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 16th China National Conference, CCL 2017, and 5th International Symposium, NLP-NABD 2017, Nanjing, China, October 13-15, 2017, Proceedings / edited by Maosong Sun, Xiaojie Wang, Baobao Chang, Deyi Xiong.

by Sun, Maosong [editor.] | Wang, Xiaojie [editor.] | Chang, Baobao [editor.] | Xiong, Deyi [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

Fundamentals of Software Engineering [electronic resource] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.

by Dastani, Mehdi [editor.] | Sirjani, Marjan [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

Intelligent Data Engineering and Automated Learning - IDEAL 2017 [electronic resource] : 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings / edited by Hujun Yin, Yang Gao, Songcan Chen, Yimin Wen, Guoyong Cai, Tianlong Gu, Junping Du, Antonio J. Tallón-Ballesteros, Minling Zhang.

by Yin, Hujun [editor.] | Gao, Yang [editor.] | Chen, Songcan [editor.] | Wen, Yimin [editor.] | Cai, Guoyong [editor.] | Gu, Tianlong [editor.] | Du, Junping [editor.] | Tallón-Ballesteros, Antonio J [editor.] | Zhang, Minling [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

Advances in Computer Games [electronic resource] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers / edited by Mark H.M. Winands, H. Jaap van den Herik, Walter A. Kosters.

by Winands, Mark H.M [editor.] | van den Herik, H. Jaap [editor.] | Kosters, Walter A [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