|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler.
by Ciardo, Gianfranco [editor.] | Kindler, Ekkart [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Modelling and Controlling of Behaviour for Autonomous Mobile Robots [electronic resource] / by Hendrik Skubch.
by Skubch, Hendrik [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.
by Calinescu, Radu [editor.] | Rumpe, Bernhard [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
|
|
|
|
Inclusive Society: Health and Wellbeing in the Community, and Care at Home [electronic resource] : 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings / edited by Jit Biswas, Hisato Kobayashi, Lawrence Wong, Bessam Abdulrazak, Mounir Mokhtari.
by Biswas, Jit [editor.] | Kobayashi, Hisato [editor.] | Wong, Lawrence [editor.] | Abdulrazak, Bessam [editor.] | Mokhtari, Mounir [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
|
|
|
|
Distributed Computing and Networking [electronic resource] : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings / edited by Mainak Chatterjee, Jian-nong Cao, Kishore Kothapalli, Sergio Rajsbaum.
by Chatterjee, Mainak [editor.] | Cao, Jian-nong [editor.] | Kothapalli, Kishore [editor.] | Rajsbaum, Sergio [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
|
|
|
|
AI*IA 2016 Advances in Artificial Intelligence [electronic resource] : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings / edited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea.
by Adorni, Giovanni [editor.] | Cagnoni, Stefano [editor.] | Gori, Marco [editor.] | Maratea, Marco [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
|
|
|
|
Statistical Analysis of Noise in MRI [electronic resource] : Modeling, Filtering and Estimation / by Santiago Aja-Fern�andez, Gonzalo Vegas-S�anchez-Ferrero.
by Aja-Fern�andez, Santiago [author.] | Vegas-S�anchez-Ferrero, Gonzalo [author.] | 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
|
|
|
|
Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne.
by Iliadis, Lazaros [editor.] | Papadopoulos, Harris [editor.] | Jayne, Chrisina [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
|
|
|
|
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III / edited by Yu-Jin Zhang.
by Zhang, Yu-Jin [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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred.
by Filipe, Joaquim [editor.] | Fred, Ana [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
|
|
|
|
Formal Techniques for Safety-Critical Systems [electronic resource] : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba �Olveczky.
by Artho, Cyrille [editor.] | �Olveczky, Peter Csaba [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Social Informatics [electronic resource] : 8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part I / edited by Emma Spiro, Yong-Yeol Ahn.
by Spiro, Emma [editor.] | Ahn, Yong-Yeol [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
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014. Proceedings / edited by Petr Sojka, Aleš Hor�ak, Ivan Kopeček, Karel Pala.
by Sojka, Petr [editor.] | Hor�ak, Aleš [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Biomedical Data Management and Graph Online Querying [electronic resource] : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers / edited by Fusheng Wang, Gang Luo, Chunhua Weng, Arijit Khan, Prasenjit Mitra, Cong Yu.
by Wang, Fusheng [editor.] | Luo, Gang [editor.] | Weng, Chunhua [editor.] | Khan, Arijit [editor.] | Mitra, Prasenjit [editor.] | Yu, Cong [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-Age Information Management [electronic resource] : WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers / edited by Shaoxu Song, Yongxin Tong.
by Song, Shaoxu [editor.] | Tong, Yongxin [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings / edited by Richard Khoury, Christopher Drummond.
by Khoury, Richard [editor.] | Drummond, Christopher [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
|
|
|
|
Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management [electronic resource] : 7th International Conference, DHM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
|
Guide to Flow-Aware Networking [electronic resource] : Quality-of-Service Architectures and Techniques for Traffic Management / by Jerzy Domża�, Robert W�ojcik, Andrzej Jajszczyk.
by Domża�, Jerzy [author.] | W�ojcik, Robert [author.] | Jajszczyk, Andrzej [author.] | 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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.
by McMillan, Kenneth L [editor.] | Rival, Xavier [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
|
