|
|
|
Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers / edited by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel.
by Christakis, Maria [editor.] | Polikarpova, Nadia [editor.] | Duggirala, Parasara Sridhar [editor.] | Schrammel, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - ASIACRYPT 2020 [electronic resource] : 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part II / edited by Shiho Moriai, Huaxiong Wang.
by Moriai, Shiho [editor.] | Wang, Huaxiong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Reasoning Web. Declarative Artificial Intelligence [electronic resource] : 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures / edited by Marco Manna, Andreas Pieris.
by Manna, Marco [editor.] | Pieris, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Service-Oriented Computing [electronic resource] : 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings / edited by Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari.
by Kafeza, Eleanna [editor.] | Benatallah, Boualem [editor.] | Martinelli, Fabio [editor.] | Hacid, Hakim [editor.] | Bouguettaya, Athman [editor.] | Motahari, Hamid [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Applications [electronic resource] : 21st International Conference, WISA 2020, Jeju Island, South Korea, August 26-28, 2020, Revised Selected Papers / edited by Ilsun You.
by You, Ilsun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Information Systems Security [electronic resource] : 16th International Conference, ICISS 2020, Jammu, India, December 16-20, 2020, Proceedings / edited by Salil Kanhere, Vishwas T Patil, Shamik Sural, Manoj S Gaur.
by Kanhere, Salil [editor.] | Patil, Vishwas T [editor.] | Sural, Shamik [editor.] | Gaur, Manoj S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Internet Economics [electronic resource] : 16th International Conference, WINE 2020, Beijing, China, December 7-11, 2020, Proceedings / edited by Xujin Chen, Nikolai Gravin, Martin Hoefer, Ruta Mehta.
by Chen, Xujin [editor.] | Gravin, Nikolai [editor.] | Hoefer, Martin [editor.] | Mehta, Ruta [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Analytics and Learning on Temporal Data [electronic resource] : 5th ECML PKDD Workshop, AALTD 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers / edited by Vincent Lemaire, Simon Malinowski, Anthony Bagnall, Thomas Guyet, Romain Tavenard, Georgiana Ifrim.
by Lemaire, Vincent [editor.] | Malinowski, Simon [editor.] | Bagnall, Anthony [editor.] | Guyet, Thomas [editor.] | Tavenard, Romain [editor.] | Ifrim, Georgiana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers / edited by Paolo Cazzaniga, Daniela Besozzi, Ivan Merelli, Luca Manzoni.
by Cazzaniga, Paolo [editor.] | Besozzi, Daniela [editor.] | Merelli, Ivan [editor.] | Manzoni, Luca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II / edited by Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani.
by Hiemstra, Djoerd [editor.] | Moens, Marie-Francine [editor.] | Mothe, Josiane [editor.] | Perego, Raffaele [editor.] | Potthast, Martin [editor.] | Sebastiani, Fabrizio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings / edited by Olga Galinina, Sergey Balandin, Yevgeni Koucheryavy.
by Galinina, Olga [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Collaboration Technologies and Social Computing [electronic resource] : 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings / edited by Takashi Yoshino, Takaya Yuizono, Gustavo Zurita, Julita Vassileva.
by Yoshino, Takashi [editor.] | Yuizono, Takaya [editor.] | Zurita, Gustavo [editor.] | Vassileva, Julita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud Computing and Security [electronic resource] : Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II / edited by Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino.
by Sun, Xingming [editor.] | Liu, Alex [editor.] | Chao, Han-Chieh [editor.] | Bertino, Elisa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Active Media Technology [electronic resource] : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014, Proceedings / edited by Dominik Slezak, Gerald Schaefer, Son T. Vuong, Yoo-Sung Kim.
by Slezak, Dominik [editor.] | Schaefer, Gerald [editor.] | Vuong, Son T [editor.] | Kim, Yoo-Sung [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Electronic Participation [electronic resource] : 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings / edited by Peter Parycek, Yannis Charalabidis, Andrei V. Chugunov, Panos Panagiotopoulos, Theresa A. Pardo, Øystein Sæbø, Efthimios Tambouris.
by Parycek, Peter [editor.] | Charalabidis, Yannis [editor.] | Chugunov, Andrei V [editor.] | Panagiotopoulos, Panos [editor.] | Pardo, Theresa A [editor.] | Sæbø, Øystein [editor.] | Tambouris, Efthimios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Electronic Participation [electronic resource] : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings / edited by Efthimios Tambouris, Panos Panagiotopoulos, Øystein Sæbø, Konstantinos Tarabanis, Maria A. Wimmer, Michela Milano, Theresa Pardo.
by Tambouris, Efthimios [editor.] | Panagiotopoulos, Panos [editor.] | Sæbø, Øystein [editor.] | Tarabanis, Konstantinos [editor.] | Wimmer, Maria A [editor.] | Milano, Michela [editor.] | Pardo, Theresa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Data and Applications Security and Privacy XXX [electronic resource] : 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016. Proceedings / edited by Silvio Ranise, Vipin Swarup.
by Ranise, Silvio [editor.] | Swarup, Vipin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Cyberspace Safety and Security [electronic resource] : 9th International Symposium, CSS 2017, Xi'an China, October 23-25, 2017, Proceedings / edited by Sheng Wen, Wei Wu, Aniello Castiglione.
by Wen, Sheng [editor.] | Wu, Wei [editor.] | Castiglione, Aniello [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information [electronic resource] : 9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Juan M. García-Chamizo, Giancarlo Fortino, Sergio F. Ochoa.
by García-Chamizo, Juan M [editor.] | Fortino, Giancarlo [editor.] | Ochoa, Sergio F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Security Standardisation Research [electronic resource] : Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings / edited by Lidong Chen, David McGrew, Chris Mitchell.
by Chen, Lidong [editor.] | McGrew, David [editor.] | Mitchell, Chris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
