|
|
|
Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / edited by Jonathan Borwein, William M. Farmer.
by Borwein, Jonathan [editor.] | Farmer, William M [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 Knowledge Discovery and Data Mining [electronic resource] : 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part II / edited by Dinh Phung, Vincent S. Tseng, Geoffrey I. Webb, Bao Ho, Mohadeseh Ganji, Lida Rashidi.
by Phung, Dinh [editor.] | Tseng, Vincent S [editor.] | Webb, Geoffrey I [editor.] | Ho, Bao [editor.] | Ganji, Mohadeseh [editor.] | Rashidi, Lida [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings / edited by Marc Cavazza, Stéphane Donikian.
by Cavazza, Marc [editor.] | Donikian, Stéphane [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
|
|
|
|
Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.
by Klasing, Ralf [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
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas.
by Michael, Loizos [editor.] | Kakas, Antonis [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
|
|
|
|
Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012, Proceedings / edited by Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf.
by Brambilla, Marco [editor.] | Tokuda, Takehiro [editor.] | Tolksdorf, Robert [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
|
|
|
|
Learning by Playing. Game-based Education System Design and Development [electronic resource] : 4th International Conference on E-learning, Edutainment 2009, Banff, Canada, August 9-11, 2009, Proceedings / edited by Maiga Chang, Rita Kuo, Kinshuk, Gwo-Dong Chen, Michitaka Hirose.
by Chang, Maiga [editor.] | Kuo, Rita [editor.] | Kinshuk [editor.] | Chen, Gwo-Dong [editor.] | Hirose, Michitaka [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
|
|
|
|
Theory and Applications of Satisfiability Testing -- SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.
by Cimatti, Alessandro [editor.] | Sebastiani, Roberto [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
|
|
|
|
Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata.
by Umeda, Masanobu [editor.] | Wolf, Armin [editor.] | Bartenstein, Oskar [editor.] | Geske, Ulrich [editor.] | Seipel, Dietmar [editor.] | Takata, Osamu [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi.
by Muggleton, Stephen [editor.] | Tamaddoni-Nezhad, Alireza [editor.] | Lisi, Francesca A [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
|
|
|
|
New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers / edited by Longbing Cao, Joshua Zhexue Huang, James Bailey, Yun Sing Koh, Jun Luo.
by Cao, Longbing [editor.] | Huang, Joshua Zhexue [editor.] | Bailey, James [editor.] | Koh, Yun Sing [editor.] | Luo, Jun [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 Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by João Leite.
by Leite, João [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
|
|
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Cristian A Linte, Elvis C S Chen, Marie-Odile Berger, John T Moore, David Holmes III.
by Linte, Cristian A [editor.] | Chen, Elvis C S [editor.] | Berger, Marie-Odile [editor.] | Moore, John T [editor.] | Holmes III, David [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
|
|
|
|
New Frontiers in Mining Complex Patterns [electronic resource] : First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Revised Selected Papers / edited by Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew Ras.
by Appice, Annalisa [editor.] | Ceci, Michelangelo [editor.] | Loglisci, Corrado [editor.] | Manco, Giuseppe [editor.] | Masciari, Elio [editor.] | Ras, Zbigniew [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.
by Van Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [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
|
|
|
|
New Frontiers in Mining Complex Patterns [electronic resource] : 4th International Workshop, NFMCP 2015, Held in Conjunction with ECML-PKDD 2015, Porto, Portugal, September 7, 2015, Revised Selected Papers / edited by Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras.
by Ceci, Michelangelo [editor.] | Loglisci, Corrado [editor.] | Manco, Giuseppe [editor.] | Masciari, Elio [editor.] | Ras, Zbigniew W [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
|
|
|
|
Artificial Neural Networks and Machine Learning -- ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II / edited by Alessandro Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm.
by Villa, Alessandro [editor.] | Duch, Włodzisław [editor.] | Érdi, Péter [editor.] | Masulli, Francesco [editor.] | Palm, Günther [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
|
|
|
|
Computer Vision -- ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu.
by Lee, Kyoung Mu [editor.] | Matsushita, Yasuyuki [editor.] | Rehg, James M [editor.] | Hu, Zhanyi [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
|
|
|
|
Convergence and Hybrid Information Technology [electronic resource] : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, Proceedings / edited by Geuk Lee, Daniel Howard, Dominik Ślęzak.
by Lee, Geuk [editor.] | Howard, Daniel [editor.] | Ślęzak, Dominik [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
|
|
|
|
Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe.
by Düsterhöft, Antje [editor.] | Klettke, Meike [editor.] | Schewe, Klaus-Dieter [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
|
