|
|
|
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.
by Voronkov, Andrei [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings / edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng.
by Li, Jinyan [editor.] | Li, Xue [editor.] | Wang, Shuliang [editor.] | Li, Jianxin [editor.] | Sheng, Quan Z [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / edited by Steven Schockaert, Pierre Senellart.
by Schockaert, Steven [editor.] | Senellart, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Shape Understanding System - Knowledge Implementation and Learning [electronic resource] / by Zbigniew Les, Magdalena Les.
by Les, Zbigniew [author.] | Les, Magdalena [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / edited by Alessandro Crimi, Bjoern Menze, Oskar Maier, Mauricio Reyes, Heinz Handels.
by Crimi, Alessandro [editor.] | Menze, Bjoern [editor.] | Maier, Oskar [editor.] | Reyes, Mauricio [editor.] | Handels, Heinz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Machine Learning Meets Medical Imaging [electronic resource] : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert.
by Bhatia, Kanwal [editor.] | Lombaert, Herve [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Quantum Interaction [electronic resource] : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers / edited by Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine.
by Atmanspacher, Harald [editor.] | Haven, Emmanuel [editor.] | Kitto, Kirsty [editor.] | Raine, Derek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Recent Advances in Information Hiding and Applications [electronic resource] / edited by Jeng-Shyang Pan, Hsiang-Cheh Huang, Lakhmi C Jain, Yao Zhao.
by Pan, Jeng-Shyang [editor.] | Huang, Hsiang-Cheh [editor.] | Jain, Lakhmi C [editor.] | Zhao, Yao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics [electronic resource] : Theory and Applications / edited by Oscar Castillo, Patricia Melin.
by Castillo, Oscar [editor.] | Melin, Patricia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Machine Learning, Optimization, and Big Data [electronic resource] : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers / edited by Panos M. Pardalos, Piero Conca, Giovanni Giuffrida, Giuseppe Nicosia.
by Pardalos, Panos M [editor.] | Conca, Piero [editor.] | Giuffrida, Giovanni [editor.] | Nicosia, Giuseppe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings / edited by Pawan Lingras, Marcin Wolski, Chris Cornelis, Sushmita Mitra, Piotr Wasilewski.
by Lingras, Pawan [editor.] | Wolski, Marcin [editor.] | Cornelis, Chris [editor.] | Mitra, Sushmita [editor.] | Wasilewski, Piotr [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings / edited by Christopher J. O. Baker, Greg Butler, Igor Jurisica.
by Baker, Christopher J. O [editor.] | Butler, Greg [editor.] | Jurisica, Igor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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 Storytelling [electronic resource] : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, Proceedings / edited by Frank Nack, Andrew S. Gordon.
by Nack, Frank [editor.] | Gordon, Andrew S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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 Technologies and Applications [electronic resource] : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / edited by Atsuyuki Morishima, Rong Zhang, Wenjie Zhang, Lijun Chang, Tom Z. J Fu, Kuien Liu, Xiaoyan Yang, Jia Zhu, Zhiwei Zhang.
by Morishima, Atsuyuki [editor.] | Zhang, Rong [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | Fu, Tom Z. J [editor.] | Liu, Kuien [editor.] | Yang, Xiaoyan [editor.] | Zhu, Jia [editor.] | Zhang, Zhiwei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
The ADI Model Problem [electronic resource] / by Eugene Wachspress.
by Wachspress, Eugene [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Speech and Language Technologies for Iberian Languages [electronic resource] : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings / edited by Alberto Abad, Alfonso Ortega, Ant�onio Teixeira, Carmen Garc�ia Mateo, Carlos D. Mart�inez Hinarejos, Fernando Perdig�ao, Fernando Batista, Nuno Mamede.
by Abad, Alberto [editor.] | Ortega, Alfonso [editor.] | Teixeira, Ant�onio [editor.] | Garc�ia Mateo, Carmen [editor.] | Mart�inez Hinarejos, Carlos D [editor.] | Perdig�ao, Fernando [editor.] | Batista, Fernando [editor.] | Mamede, Nuno [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Virtual, Augmented and Mixed Reality [electronic resource] : 8th International Conference, VAMR 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings / edited by Stephanie Lackey, Randall Shumaker.
by Lackey, Stephanie [editor.] | Shumaker, Randall [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Image Analysis and Processing - ICIAP 2015 [electronic resource] : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I / edited by Vittorio Murino, Enrico Puppo.
by Murino, Vittorio [editor.] | Puppo, Enrico [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Databases Theory and Applications [electronic resource] : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings / edited by Muhammad Aamir Cheema, Wenjie Zhang, Lijun Chang.
by Cheema, Muhammad Aamir [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
