|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by Frédéric Lang, Francesco Flammini.
by Lang, Frédéric [editor.] | Flammini, Francesco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani.
by Leavens, Gary T [editor.] | O'Hearn, Peter [editor.] | Rajamani, Sriram K [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
|
|
|
|
Advances in Data Mining - Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Knowledge, Information, and Creativity Support Systems [electronic resource] : 5th International Conference, KICSS 2010, Chiang Mai, Thailand, Novwember 25-27, 2010, Revised Selected Papers / edited by Thanaruk Theeramunkong, Susumu Kunifuji, Virach Sornlertlamvanich, Cholwich Nattee.
by Theeramunkong, Thanaruk [editor.] | Kunifuji, Susumu [editor.] | Sornlertlamvanich, Virach [editor.] | Nattee, Cholwich [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings / edited by Minghua Deng, Rui Jiang, Fengzhu Sun, Xuegong Zhang.
by Deng, Minghua [editor.] | Jiang, Rui [editor.] | Sun, Fengzhu [editor.] | Zhang, Xuegong [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
|
|
|
|
Digital Human Modeling [electronic resource] : Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
|
Advances in Web Mining and Web Usage Analysis [electronic resource] : 6th International Workshop on Knowledge Discovery on the Web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers / edited by Bamshad Mobasher, Olfa Nasraoui, Bing Liu, Brij Masand.
by Mobasher, Bamshad [editor.] | Nasraoui, Olfa [editor.] | Liu, Bing [editor.] | Masand, Brij [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
|
|
|
|
Transactions on Computational Collective Intelligence IX [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings / edited by Evgeny Osipov, Andreas J. Kassler, Thomas Michael Bohnert, Xavier Masip-Bruin.
by Osipov, Evgeny [editor.] | Kassler, Andreas J [editor.] | Bohnert, Thomas Michael [editor.] | Masip-Bruin, Xavier [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings / edited by Chris Biemann, Siegfried Handschuh, André Freitas, Farid Meziane, Elisabeth Métais.
by Biemann, Chris [editor.] | Handschuh, Siegfried [editor.] | Freitas, André [editor.] | Meziane, Farid [editor.] | Métais, Elisabeth [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
|
|
|
|
Transactions on Computational Science XI [electronic resource] : Special Issue on Security in Computing, Part II.
by 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
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / edited by Ron van der Meyden, Leendert van der Torre.
by van der Meyden, Ron [editor.] | van der Torre, Leendert [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings / edited by Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro.
by Aguilera, Marcos K [editor.] | Querzoni, Leonardo [editor.] | Shapiro, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
|
|
|
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20 - 22, 2009. Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings / edited by Tim Dwyer, Helen Purchase, Aidan Delaney.
by Dwyer, Tim [editor.] | Purchase, Helen [editor.] | Delaney, Aidan [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
|
|
|
|
Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings / edited by Ravi Kumar, D Sivakumar.
by Kumar, Ravi [editor.] | Sivakumar, D [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
|
|
|
|
Robot Vision [electronic resource] : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings / edited by Gerald Sommer, Reinhard Klette.
by Sommer, Gerald [editor.] | Klette, Reinhard [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
|
|
|
|
Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings / edited by Manuel Lazo, Alberto Sanfeliu.
by Lazo, Manuel [editor.] | Sanfeliu, Alberto [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
|
|
|
|
Progress in Image Analysis and Processing, ICIAP 2013 [electronic resource] : Naples, Italy, September 9-13, 2013, Proceedings, Part I / edited by Alfredo Petrosino.
by Petrosino, Alfredo [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
|
