|
|
|
Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.
by Janhunen, Tomi [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.
by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web [electronic resource] : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I / edited by Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig.
by Blomqvist, Eva [editor.] | Maynard, Diana [editor.] | Gangemi, Aldo [editor.] | Hoekstra, Rinke [editor.] | Hitzler, Pascal [editor.] | Hartig, Olaf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Flexible Query Answering Systems [electronic resource] : 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 / edited by Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz-Arroyo, Troels Andreasen, Henning Christiansen.
by Legind Larsen, Henrik [editor.] | Pasi, Gabriella [editor.] | Ortiz-Arroyo, Daniel [editor.] | Andreasen, Troels [editor.] | Christiansen, Henning [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Databases in Networked Information Systems [electronic resource] : 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings / edited by Aastha Madaan, Shinji Kikuchi, Subhash Bhalla.
by Madaan, Aastha [editor.] | Kikuchi, Shinji [editor.] | Bhalla, Subhash [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / edited by Shichao Zhang, Ray Jarvis.
by Zhang, Shichao [editor.] | Jarvis, Ray [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-12, 2008 Proceedings / edited by Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.
by Lipp, Peter [editor.] | Sadeghi, Ahmad-Reza [editor.] | Koch, Klaus-Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / edited by Vassil N. Alexandrov, G. Dick van Albada, Peter M.A. Sloot, J. J. Dongarra.
by Alexandrov, Vassil N [editor.] | van Albada, G. Dick [editor.] | Sloot, Peter M.A [editor.] | Dongarra, J. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Entertainment Computing - ICEC 2006 [electronic resource] : 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings / edited by Matthias Rauterberg, Marco Combetto.
by Rauterberg, Matthias [editor.] | Combetto, Marco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; 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 Web-based Learning - ICWL 2012 [electronic resource] : 11th International Conference, Sinaia, Romania, September 2-4, 2012. Proceedings / edited by Elvira Popescu, Qing Li, Ralf Klamma, Howard Leung, Marcus Specht.
by Popescu, Elvira [editor.] | Li, Qing [editor.] | Klamma, Ralf [editor.] | Leung, Howard [editor.] | Specht, Marcus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things [electronic resource] : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li.
by Daniel, Florian [editor.] | Dolog, Peter [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Software Technologies -- Ada-Europe 2013 [electronic resource] : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk.
by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
by Barthe, Gilles [editor.] | Burdy, Lilian [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | Muntean, Traian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / edited by Corina S Pasareanu, Gwen Salaün.
by Pasareanu, Corina S [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] : Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / edited by Rajendra Prasath, Anil Kumar Vuppala, T. Kathirvalavakumar.
by Prasath, Rajendra [editor.] | Vuppala, Anil Kumar [editor.] | Kathirvalavakumar, T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers / edited by Leonard Bolc, Juliusz Lech Kulikowski, Konrad Wojciechowski.
by Bolc, Leonard [editor.] | Kulikowski, Juliusz Lech [editor.] | Wojciechowski, Konrad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen.
by Maragria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Hybrid Artificial Intelligence Systems [electronic resource] : Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008, Proceedings / edited by Emilio Corchado, Ajith Abraham.
by Corchado, Emilio [editor.] | Abraham, Ajith [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
