|
|
|
Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Anthony Anjorin, Huáscar Espinoza.
by Anjorin, Anthony [editor.] | Espinoza, Huáscar [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers / edited by Andreas Brandstädt, Dieter Kratsch, Haiko Müller.
by Brandstädt, Andreas [editor.] | Kratsch, Dieter [editor.] | Müller, Haiko [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
|
|
|
|
Computer Vision -- ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI / edited by Kostas Daniilidis, Petros Maragos, Nikos Paragios.
by Daniilidis, Kostas [editor.] | Maragos, Petros [editor.] | Paragios, Nikos [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
|
|
|
|
Multiple Classifier Systems [electronic resource] : 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings / edited by Zhi-Hua Zhou, Fabio Roli, Josef Kittler.
by Zhou, Zhi-Hua [editor.] | Roli, Fabio [editor.] | Kittler, Josef [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
|
|
|
|
Online Communities and Social Computing [electronic resource] : Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris.
by Ozok, A. Ant [editor.] | Zaphiris, Panayiotis [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
|
|
|
|
Multiple Classifier Systems [electronic resource] : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings / edited by Friedhelm Schwenker, Fabio Roli, Josef Kittler.
by Schwenker, Friedhelm [editor.] | Roli, Fabio [editor.] | Kittler, Josef [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
|
|
|
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.
by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot.
by Cousot, Radhia [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
|
|
|
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur.
by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [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
|
|
|
|
Network-Based Information Systems [electronic resource] : 2nd Internatonal Conference, NBiS 2008, Turin, Italy, September 1-5, 2008, Proceedings / edited by Makoto Takizawa, Leonard Barolli, Tomoya Enokido.
by Takizawa, Makoto [editor.] | Barolli, Leonard [editor.] | Enokido, Tomoya [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
|
|
|
|
Similarity Search and Applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012, Proceedings / edited by Gonzalo Navarro, Vladimir Pestov.
by Navarro, Gonzalo [editor.] | Pestov, Vladimir [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / edited by Monika Heiner, Adelinde M. Uhrmacher.
by Heiner, Monika [editor.] | Uhrmacher, Adelinde M [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
|
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
by Barthe, Gilles [editor.] | Datta, Anupam [editor.] | Etalle, Sandro [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
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings / edited by David W. Aha, Jean Lieber.
by Aha, David W [editor.] | Lieber, Jean [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
|
|
|
|
Intelligence Science and Big Data Engineering [electronic resource] : 7th International Conference, IScIDE 2017, Dalian, China, September 22-23, 2017, Proceedings / edited by Yi Sun, Huchuan Lu, Lihe Zhang, Jian Yang, Hua Huang.
by Sun, Yi [editor.] | Lu, Huchuan [editor.] | Zhang, Lihe [editor.] | Yang, Jian [editor.] | Huang, Hua [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
|
|
|
|
Managing Knowledge in a World of Networks [electronic resource] : 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings / edited by Steffen Staab, Vojtech Svatek.
by Staab, Steffen [editor.] | Svatek, Vojtech [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
|
|
|
|
Web-Age Information Management [electronic resource] : 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou.
by Wang, Jianyong [editor.] | Xiong, Hui [editor.] | Ishikawa, Yoshiharu [editor.] | Xu, Jianliang [editor.] | Zhou, Junfeng [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
|
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky.
by Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [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
|
|
|
|
Agents and Data Mining Interaction [electronic resource] : 9th International Workshop, ADMI 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir Gorodetsky, Jörg P. Müller, Philip S. Yu.
by Cao, Longbing [editor.] | Zeng, Yifeng [editor.] | Symeonidis, Andreas L [editor.] | Gorodetsky, Vladimir [editor.] | Müller, Jörg P [editor.] | Yu, Philip S [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
|
|
|
|
Database and XML Technologies [electronic resource] : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings / edited by Zohra Bellahsène, Ela Hunt, Michael Rys, Rainer Unland.
by Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Rys, Michael [editor.] | Unland, Rainer [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
|
