|
|
|
Citizen in Sensor Networks [electronic resource] : Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers / edited by Jordi Nin, Daniel Villatoro.
by Nin, Jordi [editor.] | Villatoro, Daniel [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
|
|
|
|
Reliable Software Technologies - Ada-Europe 2015 [electronic resource] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / edited by Juan Antonio de la Puente, Tullio Vardanega.
by de la Puente, Juan Antonio [editor.] | Vardanega, Tullio [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
|
|
|
|
Computational Sustainability [electronic resource] / edited by J�org L�assig, Kristian Kersting, Katharina Morik.
by L�assig, J�org [editor.] | Kersting, Kristian [editor.] | Morik, Katharina [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings / edited by Andrea Bondavalli, Felicita Di Giandomenico.
by Bondavalli, Andrea [editor.] | Di Giandomenico, Felicita [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
|
|
|
|
Enterprise Modeling [electronic resource] : Tackling Business Challenges with the 4EM Method / by Kurt Sandkuhl, Janis Stirna, Anne Persson, Matthias Wi�otzki.
by Sandkuhl, Kurt [author.] | Stirna, Janis [author.] | Persson, Anne [author.] | Wi�otzki, Matthias [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / edited by Andrzej Pelc, Alexander A. Schwarzmann.
by Pelc, Andrzej [editor.] | Schwarzmann, Alexander A [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
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings / edited by Stefan Trausan-Matu, Kristy Elizabeth Boyer, Martha Crosby, Kitty Panourgia.
by Trausan-Matu, Stefan [editor.] | Boyer, Kristy Elizabeth [editor.] | Crosby, Martha [editor.] | Panourgia, Kitty [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna.
by Crnkovic, Ivica [editor.] | Troubitsyna, Elena [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
|
|
|
|
Handbook of Human Computation [electronic resource] / edited by Pietro Michelucci.
by Michelucci, Pietro [editor.] | 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
|
|
|
|
Software Reuse: Bridging with Social-Awareness [electronic resource] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / edited by Georgia M. Kapitsaki, Eduardo Santana de Almeida.
by Kapitsaki, Georgia M [editor.] | Santana de Almeida, Eduardo [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
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
by ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
