Your search returned 6741 results. Subscribe to this search

|
Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.

by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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

Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil.

by Scholz, Sven-Bodo [editor.] | Chitil, Olaf [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

Health Information Science [electronic resource] : First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings / edited by Jing He, Xiaohui Liu, Elizabeth Krupinski, Guandong Xu.

by He, Jing [editor.] | Liu, Xiaohui [editor.] | Krupinski, Elizabeth [editor.] | Xu, Guandong [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

Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings / edited by Henri Prade, V.S. Subrahmanian.

by Prade, Henri [editor.] | Subrahmanian, V.S [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

Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Fredric Gey, Julio Gonzalo, Henning Mueller, Gareh Jones, Michael Kluck, Bernardo Magnini, Maarten de Rijke.

by Gey, Fredric [editor.] | Gonzalo, Julio [editor.] | Mueller, Henning [editor.] | Jones, Gareh [editor.] | Kluck, Michael [editor.] | Magnini, Bernardo [editor.] | de Rijke, Maarten [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

Semantic Processing of Legal Texts [electronic resource] : Where the Language of Law Meets the Law of Language / edited by Enrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia.

by Francesconi, Enrico [editor.] | Montemagni, Simonetta [editor.] | Peters, Wim [editor.] | Tiscornia, Daniela [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

Intelligent Robotics and Applications [electronic resource] : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part I / edited by Sabina Jeschke, Honghai Liu, Daniel Schilberg.

by Jeschke, Sabina [editor.] | Liu, Honghai [editor.] | Schilberg, Daniel [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

Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego.

by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [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

Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013, Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge.

by Ma, Minhua [editor.] | Fradinho Oliveira, Manuel [editor.] | Petersen, Sobah [editor.] | Baalsrud Hauge, Jannicke [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

Conceptual Modeling - ER 2011 [electronic resource] : 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok Wang Ling.

by Jeusfeld, Manfred [editor.] | Delcambre, Lois [editor.] | Ling, Tok Wang [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 Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / edited by James Delgrande, Wolfgang Faber.

by Delgrande, James [editor.] | Faber, Wolfgang [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

Computational Collective Intelligence [electronic resource] : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part II / edited by Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jędrzejowicz, Bogdan Trawiński, Gottfried Vossen.

by Nguyen, Ngoc Thanh [editor.] | Papadopoulos, George A [editor.] | Jędrzejowicz, Piotr [editor.] | Trawiński, Bogdan [editor.] | Vossen, Gottfried [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 Information and Database Systems [electronic resource] : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II / edited by Ngoc-Thanh Nguyen, Bogdan Trawiński, Hamido Fujita, Tzung-Pei Hong.

by Nguyen, Ngoc-Thanh [editor.] | Trawiński, Bogdan [editor.] | Fujita, Hamido [editor.] | Hong, Tzung-Pei [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

Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings / edited by Francesco Masulli, Sushmita Mitra, Gabriella Pasi.

by Masulli, Francesco [editor.] | Mitra, Sushmita [editor.] | Pasi, Gabriella [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

Theoretical Computer Science and Discrete Mathematics [electronic resource] : First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers / edited by S. Arumugam, Jay Bagga, Lowell W. Beineke, B.S. Panda.

by Arumugam, S [editor.] | Bagga, Jay [editor.] | Beineke, Lowell W [editor.] | Panda, B.S [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

User Modeling 2005 [electronic resource] : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings / edited by Liliana Ardissono, Paul Brna, Antonija Mitrovic.

by Ardissono, Liliana [editor.] | Brna, Paul [editor.] | Mitrovic, Antonija [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

Advances in Information Retrieval [electronic resource] : 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings / edited by Giambattista Amati, Claudio Carpineto, Giovanni Romano.

by Amati, Giambattista [editor.] | Carpineto, Claudio [editor.] | Romano, Giovanni [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

Numerical Analysis and Its Applications [electronic resource] : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [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 Self-Organizing Maps [electronic resource] : 7th International Workshop, WSOM 2009, St. Augustine, Florida, June 8-10, 2009. Proceedings / edited by J.C. Principe, Risto Miikkulainen.

by Principe, J.C [editor.] | Miikkulainen, Risto [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

Medical Computer Vision [electronic resource] : Recognition Techniques and Applications in Medical Imaging / edited by Bjoern Menze, Georg Langs, Zhuowen Tu, Antonio Criminisi.

by Menze, Bjoern [editor.] | Langs, Georg [editor.] | Tu, Zhuowen [editor.] | Criminisi, Antonio [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