Your search returned 10983 results. Subscribe to this search

|
Neural Networks: Tricks of the Trade [electronic resource] / edited by Grégoire Montavon, Geneviève Orr, Klaus-Robert Müller.

by Montavon, Grégoire [editor.] | Orr, Geneviève [editor.] | Müller, Klaus-Robert [editor.] | SpringerLink (Online service).

Edition: 2nd 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

Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis.

by Konstantinidis, Stavros [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

Scientific and Statistical Database Management [electronic resource] : 21st International Conference, SSDBM 2009, New Orleans, LA, USA, June 2-4, 2009 Proceedings / edited by Marianne Winslett.

by Winslett, Marianne [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

Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar.

by Sako, Kazue [editor.] | Sarkar, Palash [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

Advances in Neural Networks- ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng.

by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [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

String Processing and Information Retrieval [electronic resource] : 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings / edited by Mariano Consens, Gonzalo Navarro.

by Consens, Mariano [editor.] | Navarro, Gonzalo [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

Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis.

by Streitz, Norbert [editor.] | Stephanidis, Constantine [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

Discrete Geometry for Computer Imagery [electronic resource] : 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings / edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi.

by Kuba, Attila [editor.] | Nyúl, László G [editor.] | Palágyi, Kálmán [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

Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings / edited by Frédéric Benhamou.

by Benhamou, Frédéric [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

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II / edited by Luca Aceto, Monika Henzinger, Jiri Sgall.

by Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jiri [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

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / edited by Sergei Artemov, Anil Nerode.

by Artemov, Sergei [editor.] | Nerode, Anil [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

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.

by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [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

Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers / edited by Øyvind Ytrehus.

by Ytrehus, Øyvind [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

Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / edited by H. Jaap van den Herik, Aske Plaat.

by van den Herik, H. Jaap [editor.] | Plaat, Aske [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

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Yin Hujun.

by Wang, Jun [editor.] | Yi, Zhang [editor.] | Zurada, Jacek M [editor.] | Lu, Bao-Liang [editor.] | Hujun, Yin [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

Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi-Sing Leung.

by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi-Sing [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

Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / edited by Jonathan Katz.

by Katz, Jonathan [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

Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / edited by Alex Biryukov, Guang Gong, Douglas R. Stinson.

by Biryukov, Alex [editor.] | Gong, Guang [editor.] | Stinson, Douglas R [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

Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.

by Bjørner, Nikolaj [editor.] | Sofronie-Stokkermans, Viorica [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

Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / edited by Alessandro Abate, Sylvie Boldo.

by Abate, Alessandro [editor.] | Boldo, Sylvie [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