Your search returned 6741 results. Subscribe to this search

|
Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai,China, November 13-17, 2011, Proceedings, Part III / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.

by Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [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

Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.

by Siegler, Simon [editor.] | Wasser, Nathan [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

Practical Aspects of Knowledge Management [electronic resource] : 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008, Proceedings / edited by Takahira Yamaguchi.

by Yamaguchi, Takahira [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

Pattern Recognition: Applications and Methods [electronic resource] : 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Ana Fred, Maria De Marsico, Mário Figueiredo.

by Fred, Ana [editor.] | De Marsico, Maria [editor.] | Figueiredo, Mário [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

Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings / edited by Petr Sojka, Aleš Horak, Ivan Kopecek.

by Sojka, Petr [editor.] | Horak, Aleš [editor.] | Kopecek, Ivan [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

Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich.

by Avron, Arnon [editor.] | Dershowitz, Nachum [editor.] | Rabinovich, Alexander [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

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / edited by Ajoy K. Datta, Maria Gradinariu.

by Datta, Ajoy K [editor.] | Gradinariu, Maria [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

Multimodal Signals: Cognitive and Algorithmic Issues [electronic resource] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008, Revised Selected and Invited Papers / edited by Anna Esposito, Amir Hussain, Maria Marinaro, Raffaele Martone.

by Esposito, Anna [editor.] | Hussain, Amir [editor.] | Marinaro, Maria [editor.] | Martone, Raffaele [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

Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns.

by Damm, Werner [editor.] | Hermanns, Holger [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

Computable Models of the Law [electronic resource] : Languages, Dialogues, Games, Ontologies / edited by Giovanni Sartor, Núria Casellas, Rossella Rubino.

by Sartor, Giovanni [editor.] | Casellas, Núria [editor.] | Rubino, Rossella [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

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I / edited by Rajiv Khosla.

by Khosla, Rajiv [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

Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers / edited by Carlos A. Coello-Coello.

by Coello-Coello, Carlos A [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

Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.

by Banerjee, Mohua [editor.] | S., Krishna [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

Economics of Converged, Internet-Based Networks [electronic resource] : 7th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, Paris, France, October 24, 2011, Proceedings / edited by Johanne Cohen, Patrick Maillé, Burkhard Stiller.

by Cohen, Johanne [editor.] | Maillé, Patrick [editor.] | Stiller, Burkhard [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

Pattern Recognition and Image Analysis [electronic resource] : Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Part II / edited by Sameer Singh, Maneesha Singh, Chid Apte, Petra Perner.

by Singh, Sameer [editor.] | Singh, Maneesha [editor.] | Apte, Chid [editor.] | Perner, Petra [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

Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.

by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [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

Advances in Information Retrieval [electronic resource] : 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings / edited by Paul Clough, Colum Foley, Cathal Gurrin, Gareth Jones, Wessel Kraaij, Hyowon Lee, Vanessa Murdock.

by Clough, Paul [editor.] | Foley, Colum [editor.] | Gurrin, Cathal [editor.] | Jones, Gareth [editor.] | Kraaij, Wessel [editor.] | Lee, Hyowon [editor.] | Murdock, Vanessa [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

Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 / edited by João Gama, Vitor Santos Costa, Alipio Jorge, Pavel Brazdil.

by Gama, João [editor.] | Santos Costa, Vitor [editor.] | Jorge, Alipio [editor.] | Brazdil, Pavel [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

Human-Computer Interaction - INTERACT 2005 [electronic resource] : IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings / edited by Maria Francesca Costabile, Fabio Paternò.

by Costabile, Maria Francesca [editor.] | Paternò, Fabio [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

Knowledge Science, Engineering and Management [electronic resource] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / edited by Jérôme Lang, Fangzhen Lin, Ju Wang.

by Lang, Jérôme [editor.] | Lin, Fangzhen [editor.] | Wang, Ju [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