|
|
|
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26-28, 2018, Proceedings / edited by Josep Domingo-Ferrer, Francisco Montes.
by Domingo-Ferrer, Josep [editor.] | Montes, Francisco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / edited by Michael Bailey, Thorsten Holz, Manolis Stamatogiannakis, Sotiris Ioannidis.
by Bailey, Michael [editor.] | Holz, Thorsten [editor.] | Stamatogiannakis, Manolis [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat.
by Howar, Falk [editor.] | Barnat, Jiří [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings / edited by Joerg M. Haake, Sergio F. Ochoa, Alejandra Cechich.
by Haake, Joerg M [editor.] | Ochoa, Sergio F [editor.] | Cechich, Alejandra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings / edited by Joao Marques-Silva, Karem A. Sakallah.
by Marques-Silva, Joao [editor.] | Sakallah, Karem A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr.
by García Bringas, Pablo [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, Proceedings / edited by Linda Bushnell, Radha Poovendran, Tamer Başar.
by Bushnell, Linda [editor.] | Poovendran, Radha [editor.] | Başar, Tamer [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 6th International Conference, SLSP 2018, Mons, Belgium, October 15-16, 2018, Proceedings / edited by Thierry Dutoit, Carlos Martín-Vide, Gueorgui Pironkov.
by Dutoit, Thierry [editor.] | Martín-Vide, Carlos [editor.] | Pironkov, Gueorgui [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Multimedia Information Processing - PCM 2018 [electronic resource] : 19th Pacific-Rim Conference on Multimedia, Hefei, China, September 21-22, 2018, Proceedings, Part II / edited by Richang Hong, Wen-Huang Cheng, Toshihiko Yamasaki, Meng Wang, Chong-Wah Ngo.
by Hong, Richang [editor.] | Cheng, Wen-Huang [editor.] | Yamasaki, Toshihiko [editor.] | Wang, Meng [editor.] | Ngo, Chong-Wah [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger.
by Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part II / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger.
by Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part III / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger.
by Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Processing and Analysis of Biomedical Information [electronic resource] : First International SIPAIM Workshop, SaMBa 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Revised Selected Papers / edited by Natasha Lepore, Jorge Brieva, Eduardo Romero, Daniel Racoceanu, Leo Joskowicz.
by Lepore, Natasha [editor.] | Brieva, Jorge [editor.] | Romero, Eduardo [editor.] | Racoceanu, Daniel [editor.] | Joskowicz, Leo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers / edited by Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.
by Hinze, Thomas [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman.
by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Proper, Henderik A [editor.] | Ardagna, Claudio Agostino [editor.] | Roman, Dumitru [editor.] | Meersman, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments [electronic resource] : 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Margherita Antona, Constantine Stephanidis.
by Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Pathology [electronic resource] : 15th European Congress, ECDP 2019, Warwick, UK, April 10-13, 2019, Proceedings / edited by Constantino Carlos Reyes-Aldasoro, Andrew Janowczyk, Mitko Veta, Peter Bankhead, Korsuk Sirinukunwattana.
by Reyes-Aldasoro, Constantino Carlos [editor.] | Janowczyk, Andrew [editor.] | Veta, Mitko [editor.] | Bankhead, Peter [editor.] | Sirinukunwattana, Korsuk [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Cyber Physical Systems. Model-Based Design [electronic resource] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
