|
|
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings / edited by Jürgen Giesl, Reiner Hähnle.
by Giesl, Jürgen [editor.] | Hähnle, Reiner [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Progress in Artificial Life [electronic resource] : Third Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings / edited by Marcus Randall, Hussein A. Abbass, Janet Wiles.
by Randall, Marcus [editor.] | Abbass, Hussein A [editor.] | Wiles, Janet [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 Science - Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings / edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko.
by Hirsch, Edward A [editor.] | Razborov, Alexander A [editor.] | Semenov, Alexei [editor.] | Slissenko, Anatol [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
|
|
|
|
Multi-Agent-Based Simulation XII [electronic resource] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simao Sichman.
by Villatoro, Daniel [editor.] | Sabater-Mir, Jordi [editor.] | Sichman, Jaime Simao [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker.
by Chen, Qiming [editor.] | Hameurlain, Abdelkader [editor.] | Toumani, Farouk [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [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
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 14th International Conference, TSD 2011, Pilsen, Czech Republic, September 1-5, 2011, Proceedings / edited by Ivan Habernal, Vaclav Matousek.
by Habernal, Ivan [editor.] | Matousek, Vaclav [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / edited by Matti Jarvisalo, Allen Van Gelder.
by Jarvisalo, Matti [editor.] | Van Gelder, Allen [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
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar.
by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [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
|
|
|
|
Internet Science [electronic resource] : Second International Conference, INSCI 2015, Brussels, Belgium, May 27-29, 2015, Proceedings / edited by Thanassis Tiropanis, Athena Vakali, Laura Sartori, Pete Burnap.
by Tiropanis, Thanassis [editor.] | Vakali, Athena [editor.] | Sartori, Laura [editor.] | Burnap, Pete [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / edited by Fabrizio Riguzzi, Filip Zelezny.
by Riguzzi, Fabrizio [editor.] | Zelezny, Filip [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
|
|
|
|
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Ke Chen, Yew Soon Ong.
by Wang, Lipo [editor.] | Chen, Ke [editor.] | Ong, Yew Soon [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
|
|
|
|
Advances in Soft Computing and Its Applications [electronic resource] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II / edited by Félix Castro, Alexander Gelbukh, Miguel González.
by Castro, Félix [editor.] | Gelbukh, Alexander [editor.] | González, Miguel [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
|
|
|
|
Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers / edited by Lin Zhang, Lei Ren, Fabrice Kordon.
by Zhang, Lin [editor.] | Ren, Lei [editor.] | Kordon, Fabrice [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
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : Second International Conference, SLSP 2014, Grenoble, France, October 14-16, 2014, Proceedings / edited by Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide.
by Besacier, Laurent [editor.] | Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [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
|
|
|
|
Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff.
by Baldoni, Matteo [editor.] | Son, Tran Cao [editor.] | van Riemsdijk, Birna [editor.] | Winikoff, Michael [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
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings / edited by Cristina Conati, Neil Heffernan, Antonija Mitrovic, M. Felisa Verdejo.
by Conati, Cristina [editor.] | Heffernan, Neil [editor.] | Mitrovic, Antonija [editor.] | Verdejo, M. Felisa [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
|
|
|
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part III / edited by Bogdan Gabrys.
by Gabrys, Bogdan [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
|
|
|
|
Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 -- June 1, 2012, Revised Selected Papers / edited by Takashi Washio, Jun Luo.
by Washio, Takashi [editor.] | Luo, Jun [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
|
