|
|
|
Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez.
by Falcone, Yliès [editor.] | Sánchez, César [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
|
|
|
|
Computer Vision Systems [electronic resource] : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings / edited by Mei Chen, Bastian Leibe, Bernd Neumann.
by Chen, Mei [editor.] | Leibe, Bastian [editor.] | Neumann, Bernd [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III / edited by Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo.
by Calders, Toon [editor.] | Esposito, Floriana [editor.] | Hüllermeier, Eyke [editor.] | Meo, Rosa [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
|
|
|
|
Affective Computing and Intelligent Interaction [electronic resource] : Fourth International Conference, ACII 2011, Memphis,TN, USA, October 9-12, 2011; Proceedings, Part II / edited by Sidney D´Mello, Arthur Graesser, Bjoern Schuller, Jean-Claude Martin.
by D´Mello, Sidney [editor.] | Graesser, Arthur [editor.] | Schuller, Bjoern [editor.] | Martin, Jean-Claude [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / edited by Yoav Freund, László Györfi, György Turán, Thomas Zeugmann.
by Freund, Yoav [editor.] | Györfi, László [editor.] | Turán, György [editor.] | Zeugmann, Thomas [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
|
|
|
|
Current Trends in Web Engineering [electronic resource] : 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers / edited by Florian Daniel, Oscar Diaz.
by Daniel, Florian [editor.] | Diaz, Oscar [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.
by Kaufmann, Matt [editor.] | Paulson, Lawrence C [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
|
|
|
|
Brain, Vision, and Artificial Intelligence [electronic resource] : First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings / edited by Massimo De Gregorio, Vito Di Maio, Maria Frucci, Carlo Musio.
by De Gregorio, Massimo [editor.] | Di Maio, Vito [editor.] | Frucci, Maria [editor.] | Musio, Carlo [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
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings / edited by Francisco Escolano, Mario Vento.
by Escolano, Francisco [editor.] | Vento, Mario [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings / edited by José L. Balcázar, Philip M. Long, Frank Stephan.
by Balcázar, José L [editor.] | Long, Philip M [editor.] | Stephan, Frank [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
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings / edited by Pasquale Foggia, Cheng-Lin Liu, Mario Vento.
by Foggia, Pasquale [editor.] | Liu, Cheng-Lin [editor.] | Vento, Mario [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
|
|
|
|
Transactions on Computational Collective Intelligence XXI [electronic resource] : Special Issue on Keyword Search and Big Data / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Rupino da Cunha, Paulo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
AI*IA 2011: Artificial Intelligence Around Man and Beyond [electronic resource] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / edited by Roberto Pirrone, Filippo Sorbello.
by Pirrone, Roberto [editor.] | Sorbello, Filippo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings / edited by Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas R. Roth-Berghofer.
by Dengel, Andreas [editor.] | Berns, Karsten [editor.] | Breuel, Thomas [editor.] | Bomarius, Frank [editor.] | Roth-Berghofer, Thomas R [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
|
|
|
|
Tools for Practical Software Verification [electronic resource] : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [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
|
|
|
|
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum.
by Bondavalli, Andrea [editor.] | Brasileiro, Francisco [editor.] | Rajsbaum, Sergio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings / edited by Mitsunori Ogihara, Jun Tarui.
by Ogihara, Mitsunori [editor.] | Tarui, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Data Analytics for Renewable Energy Integration [electronic resource] : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Stuart Madnick.
by Woon, Wei Lee [editor.] | Aung, Zeyar [editor.] | Madnick, Stuart [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
|
|
|
|
Graphics Recognition. Current Trends and Challenges [electronic resource] : 10th International Workshop, GREC 2013, Bethlehem, PA, USA, August 20-21, 2013, Revised Selected Papers / edited by Bart Lamiroy, Jean-Marc Ogier.
by Lamiroy, Bart [editor.] | Ogier, Jean-Marc [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Günther Pernul.
by Furnell, Steven [editor.] | Lambrinoudakis, Costas [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
