|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.
by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Fr�ed�eric Lang, Francesco Flammini.
by Lang, Fr�ed�eric [editor.] | Flammini, Francesco [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
|
|
|
|
Persuasive Technology [electronic resource] : 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings / edited by Thomas MacTavish, Santosh Basapur.
by MacTavish, Thomas [editor.] | Basapur, Santosh [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [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
|
|
|
|
Pairing-Based Cryptography - Pairing 2013 [electronic resource] : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / edited by Zhenfu Cao, Fangguo Zhang.
by Cao, Zhenfu [editor.] | Zhang, Fangguo [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / edited by Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni.
by Krishnamachari, Bhaskar [editor.] | Murphy, Amy L [editor.] | Trigoni, Niki [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
|
|
|
|
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). Source: Springer eBooksMaterial 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
|
|
|
|
Green in Software Engineering [electronic resource] / edited by Coral Calero, Mario Piattini.
by Calero, Coral [editor.] | Piattini, Mario [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
|
|
|
|
Social Media Processing [electronic resource] : 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings / edited by Xichun Zhang, Maosong Sun, Zhenyu Wang, Xuanjing Huang.
by Zhang, Xichun [editor.] | Sun, Maosong [editor.] | Wang, Zhenyu [editor.] | Huang, Xuanjing [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project / edited by S�oren Auer, Volha Bryl, Sebastian Tramp.
by Auer, S�oren [editor.] | Bryl, Volha [editor.] | Tramp, Sebastian [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings / edited by Claire Le Goues, Shin Yoo.
by Goues, Claire Le [editor.] | Yoo, Shin [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
|
|
|
|
Web and Internet Economics [electronic resource] : 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / edited by Yang Cai, Adrian Vetta.
by Cai, Yang [editor.] | Vetta, Adrian [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / edited by Davide Di Ruscio, D�aniel Varr�o.
by Ruscio, Davide Di [editor.] | Varr�o, D�aniel [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
|
|
|
|
Computer Assisted Assessment. Research into E-Assessment [electronic resource] : International Conference, CAA 2014, Zeist, The Netherlands, June 30 - July 1, 2014. Proceedings / edited by Marco Kalz, Eric Ras.
by Kalz, Marco [editor.] | Ras, Eric [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
|
|
|
|
Computer Networks [electronic resource] : 21st International Conference, CN 2014, Brun�ow, Poland, June 23-27, 2014. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera.
by Kwiecień, Andrzej [editor.] | Gaj, Piotr [editor.] | Stera, Piotr [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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, C�aceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Bianca Truthe, Miguel A. Vega-Rodr�iguez.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | Vega-Rodr�iguez, Miguel A [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
|
|
|
|
Universal Access in Human-Computer Interaction. Universal Access to Information and Knowledge [electronic resource] : 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II / edited by Constantine Stephanidis, Margherita Antona.
by Stephanidis, Constantine [editor.] | Antona, Margherita [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
|
|
|
|
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 / edited by Gordan Jezic, Mario Kusek, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain.
by Jezic, Gordan [editor.] | Kusek, Mario [editor.] | Lovrek, Ignac [editor.] | J. Howlett, Robert [editor.] | Jain, Lakhmi C [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
|
|
|
|
Human-Computer Interaction. Advanced Interaction Modalities and Techniques [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Digital Libraries on the Move [electronic resource] : 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers / edited by Diego Calvanese, Dario De Nart, Carlo Tasso.
by Calvanese, Diego [editor.] | De Nart, Dario [editor.] | Tasso, Carlo [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
|
