|
|
|
Ontology Engineering [electronic resource] : 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers / edited by Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka Ławrynowicz.
by Tamma, Valentina [editor.] | Dragoni, Mauro [editor.] | Gonçalves, Rafael [editor.] | Ławrynowicz, Agnieszka [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
|
|
|
|
Agents and Data Mining Interaction [electronic resource] : 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Bo An, Andreas L. Symeonidis, Vladimir Gorodetsky, Frans Coenen, Philip S. Yu.
by Cao, Longbing [editor.] | Zeng, Yifeng [editor.] | An, Bo [editor.] | Symeonidis, Andreas L [editor.] | Gorodetsky, Vladimir [editor.] | Coenen, Frans [editor.] | Yu, Philip S [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
|
|
|
|
Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures [electronic resource] : 4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Xiongbiao Luo, Stefan Wesarg, Tobias Reichl, Miguel Ángel González Ballester, Jonathan McLeod, Klaus Drechsler, Terry Peters, Marius Erdt, Kensaku Mori, Marius George Linguraru, Andreas Uhl, Cristina Oyarzun Laura, Raj Shekhar.
by Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | Luo, Xiongbiao [editor.] | Wesarg, Stefan [editor.] | Reichl, Tobias [editor.] | González Ballester, Miguel Ángel [editor.] | McLeod, Jonathan [editor.] | Drechsler, Klaus [editor.] | Peters, Terry [editor.] | Erdt, Marius [editor.] | Mori, Kensaku [editor.] | Linguraru, Marius George [editor.] | Uhl, Andreas [editor.] | Oyarzun Laura, Cristina [editor.] | Shekhar, Raj [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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part I / edited by Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon.
by Kim, Jinho [editor.] | Shim, Kyuseok [editor.] | Cao, Longbing [editor.] | Lee, Jae-Gil [editor.] | Lin, Xuemin [editor.] | Moon, Yang-Sae [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
|
|
|
|
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.
by Bjørner, Nikolaj [editor.] | de Boer, Frank [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
|
|
|
|
Membrane Computing [electronic resource] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / edited by Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron.
by Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Sempere, José M [editor.] | Zandron, Claudio [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
|
|
|
|
Bioinformatics Research and Applications [electronic resource] : 12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings / edited by Anu Bourgeois, Pavel Skums, Xiang Wan, Alex Zelikovsky.
by Bourgeois, Anu [editor.] | Skums, Pavel [editor.] | Wan, Xiang [editor.] | Zelikovsky, Alex [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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
|
|
|
|
Pattern Recognition [electronic resource] : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / edited by Bodo Rosenhahn, Bjoern Andres.
by Rosenhahn, Bodo [editor.] | Andres, Bjoern [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
|
|
|
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / edited by Georges Gonthier, Michael Norrish.
by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology -- ICISC 2013 [electronic resource] : 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers / edited by Hyang-Sook Lee, Dong-Guk Han.
by Lee, Hyang-Sook [editor.] | Han, Dong-Guk [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / edited by Yuliya Lierler, Walid Taha.
by Lierler, Yuliya [editor.] | Taha, Walid [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / edited by Evripidis Bampis, Ola Svensson.
by Bampis, Evripidis [editor.] | Svensson, Ola [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
|
|
|
|
Information Security [electronic resource] : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / edited by Javier Lopez, Chris J. Mitchell.
by Lopez, Javier [editor.] | Mitchell, Chris J [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
|
|
|
|
Future Internet Testing [electronic resource] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld.
by Vos, Tanja E.J [editor.] | Lakhotia, Kiran [editor.] | Bauersfeld, Sebastian [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
|
|
|
|
HCI in Business, Government and Organizations. Interacting with Information Systems [electronic resource] : 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan.
by Nah, Fiona Fui-Hoon [editor.] | Tan, Chuan-Hoo [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
|
|
|
|
Biometric Recognition [electronic resource] : 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings / edited by Zhisheng You, Jie Zhou, Yunhong Wang, Zhenan Sun, Shiguang Shan, Weishi Zheng, Jianjiang Feng, Qijun Zhao.
by You, Zhisheng [editor.] | Zhou, Jie [editor.] | Wang, Yunhong [editor.] | Sun, Zhenan [editor.] | Shan, Shiguang [editor.] | Zheng, Weishi [editor.] | Feng, Jianjiang [editor.] | Zhao, Qijun [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
|
|
|
|
Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas.
by Madsen, Tatiana K [editor.] | Nielsen, Jimmy J [editor.] | Pratas, Nuno K [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
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings / edited by Peter Auer, Alexander Clark, Thomas Zeugmann, Sandra Zilles.
by Auer, Peter [editor.] | Clark, Alexander [editor.] | Zeugmann, Thomas [editor.] | Zilles, Sandra [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
|
|
|
|
AI 2015: Advances in Artificial Intelligence [electronic resource] : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz.
by Pfahringer, Bernhard [editor.] | Renz, Jochen [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
|
