Your search returned 30123 results. Subscribe to this search

|
Advances on Databases and Information Systems [electronic resource] : 16th East European Conference, ADBIS 2012, Poznan, Poland, September 18-21, 2012, Proceedings / edited by Tadeusz Morzy, Theo Haerder, Robert Wrembel.

by Morzy, Tadeusz [editor.] | Haerder, Theo [editor.] | Wrembel, Robert [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 Computational Intelligence [electronic resource] : Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II / edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang.

by Deng, Hepu [editor.] | Miao, Duoqian [editor.] | Lei, Jingsheng [editor.] | Wang, Fu Lee [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

Chinese Lexical Semantics [electronic resource] : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers / edited by Pengyuan Liu, Qi Su.

by Liu, Pengyuan [editor.] | Su, Qi [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

Static Analysis [electronic resource] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings / edited by Francesco Ranzato.

by Ranzato, Francesco [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

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR & SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings / edited by Edwin R. Hancock, Richard C Wilson, Terry Windeatt, Ilkay Ulusoy, Francisco Escolano.

by Hancock, Edwin R [editor.] | Wilson, Richard C [editor.] | Windeatt, Terry [editor.] | Ulusoy, Ilkay [editor.] | Escolano, Francisco [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

Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / edited by Joe Hurd, Tom Melham.

by Hurd, Joe [editor.] | Melham, Tom [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

Financial Cryptography and Data Security [electronic resource] : 10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised Selected Papers / edited by Giovanni Di Crescenzo, Avi Rubin.

by Di Crescenzo, Giovanni [editor.] | Rubin, Avi [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

Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / edited by Valérie Issarny, Richard E. Schantz.

by Issarny, Valérie [editor.] | Schantz, Richard E [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

Smart Sensing and Context [electronic resource] : Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings / edited by Daniel Roggen, Clemens Lombriser, Gerhard Tröster, Gerd Kortuem, Paul Havinga.

by Roggen, Daniel [editor.] | Lombriser, Clemens [editor.] | Tröster, Gerhard [editor.] | Kortuem, Gerd [editor.] | Havinga, Paul [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

Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / edited by Sébastien Tixeuil, Ted Herman.

by Tixeuil, Sébastien [editor.] | Herman, Ted [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

Affective Computing and Intelligent Interaction [electronic resource] : Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings / edited by Ana Paiva, Rui Prada, Rosalind W. Picard.

by Paiva, Ana [editor.] | Prada, Rui [editor.] | Picard, Rosalind W [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

Interactive Storytelling [electronic resource] : Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings / edited by Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl.

by Aylett, Ruth [editor.] | Lim, Mei Yii [editor.] | Louchart, Sandy [editor.] | Petta, Paolo [editor.] | Riedl, Mark [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

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Vincent G. Duffy.

by Duffy, Vincent G [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

Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.

by Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [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

Information Systems Security [electronic resource] : 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008, Proceedings / edited by R. Sekar, Arun K. Pujari.

by Sekar, R [editor.] | Pujari, Arun K [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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine.

by Vounckx, Johan [editor.] | Azemard, Nadine [editor.] | Maurine, Philippe [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

Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang.

by Bosch, Peter [editor.] | Gabelaia, David [editor.] | Lang, Jérôme [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

Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Král, Carlos Martín-Vide.

by Král, Pavel [editor.] | Martín-Vide, Carlos [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

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings / edited by Roland Büschkes, Pavel Laskov.

by Büschkes, Roland [editor.] | Laskov, Pavel [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

Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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