|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.
by Baier, Christel [editor.] | Tinelli, Cesare [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web: ESWC 2012 Satellite Events [electronic resource] : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers / edited by Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Rapha�el Troncy.
by Simperl, Elena [editor.] | Norton, Barry [editor.] | Mladenic, Dunja [editor.] | Della Valle, Emanuele [editor.] | Fundulaki, Irini [editor.] | Passant, Alexandre [editor.] | Troncy, Rapha�el [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Video Bioinformatics [electronic resource] : From Live Imaging to Knowledge / edited by Bir Bhanu, Prue Talbot.
by Bhanu, Bir [editor.] | Talbot, Prue [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
|
|
|
|
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.
by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [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
|
|
|
|
Telematics - Support for Transport [electronic resource] : 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krak�ow/Ustroń, Poland, October 22-25, 2014. Selected Papers / edited by Jerzy Mikulski.
by Mikulski, 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
|
|
|
|
Reliable Software Technologies - Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Qui�nones.
by Bertogna, Marko [editor.] | Pinho, Luis Miguel [editor.] | Qui�nones, 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
|
|
|
|
Passive and Active Measurement [electronic resource] : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings / edited by Thomas Karagiannis, Xenofontas Dimitropoulos.
by Karagiannis, Thomas [editor.] | Dimitropoulos, Xenofontas [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX [electronic resource] : Special Issue on Big Data and Open Data / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Devis Bianchini, Valeria De Antonellis, Roberto De Virgilio.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Bianchini, Devis [editor.] | De Antonellis, Valeria [editor.] | De Virgilio, Roberto [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Image and Graphics Technologies [electronic resource] : 10th Chinese Conference, IGTA 2015, Beijing, China, June 19-20, 2015, Proceedings / edited by Tieniu Tan, Qiuqi Ruan, Shengjin Wang, Huimin Ma, Kaichang Di.
by Tan, Tieniu [editor.] | Ruan, Qiuqi [editor.] | Wang, Shengjin [editor.] | Ma, Huimin [editor.] | Di, Kaichang [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling Trust Context in Networks [electronic resource] / by Sibel Adali.
by Adali, Sibel [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
|
|
|
|
Human-Computer Interaction - INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotz�e, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler.
by Kotz�e, Paula [editor.] | Marsden, Gary [editor.] | Lindgaard, Gitte [editor.] | Wesson, Janet [editor.] | Winckler, Marco [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
|
|
|
|
Model and Data Engineering [electronic resource] : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos.
by Bellatreche, Ladjel [editor.] | Manolopoulos, Yannis [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
|
|
|
|
Progress in Cryptology -- LATINCRYPT 2015 [electronic resource] : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / edited by Kristin Lauter, Francisco Rodr�iguez-Henr�iquez.
by Lauter, Kristin [editor.] | Rodr�iguez-Henr�iquez, Francisco [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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / edited by Matteo Maffei, Emilio Tuosto.
by Maffei, Matteo [editor.] | Tuosto, Emilio [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
|
|
|
|
Security Protocols XVIII [electronic resource] : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers / edited by Bruce Christianson, James Malcolm.
by Christianson, Bruce [editor.] | Malcolm, James [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
|
|
|
|
Hacking Europe [electronic resource] : From Computer Cultures to Demoscenes / edited by Gerard Alberts, Ruth Oldenziel.
by Alberts, Gerard [editor.] | Oldenziel, Ruth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Innovative Technologies in Everyday Life [electronic resource] / by Oge Marques.
by Marques, Oge [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XV [electronic resource] : Selected Papers from ADBIS 2013 Satellite Events / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorn�y, Athena Vakali.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Catania, Barbara [editor.] | Guerrini, Giovanna [editor.] | Palpanas, Themis [editor.] | Pokorn�y, Jaroslav [editor.] | Vakali, Athena [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
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
by Hanus, Michael [editor.] | Rocha, Ricardo [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 11th International Conference, DIMVA 2014, Egham, UK, July 10-11, 2014. Proceedings / edited by Sven Dietrich.
by Dietrich, Sven [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
|
