|
|
|
Advances in Cryptology - CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part II / edited by Alexandra Boldyreva, Daniele Micciancio.
by Boldyreva, Alexandra [editor.] | Micciancio, Daniele [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
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings / edited by Chris Thachuk, Yan Liu.
by Thachuk, Chris [editor.] | Liu, Yan [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
|
|
|
|
Perspectives of System Informatics [electronic resource] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.
by Bjørner, Nikolaj [editor.] | Virbitskaite, Irina [editor.] | Voronkov, Andrei [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
|
|
|
|
AI 2019: Advances in Artificial Intelligence [electronic resource] : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings / edited by Jixue Liu, James Bailey.
by Liu, Jixue [editor.] | Bailey, James [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
|
|
|
|
Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II / edited by Dennis Hofheinz, Alon Rosen.
by Hofheinz, Dennis [editor.] | Rosen, Alon [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings / edited by Clémentine Maurice, Leyla Bilge, Gianluca Stringhini, Nuno Neves.
by Maurice, Clémentine [editor.] | Bilge, Leyla [editor.] | Stringhini, Gianluca [editor.] | Neves, Nuno [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
|
|
|
|
SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings / edited by Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora.
by Chatzigeorgiou, Alexander [editor.] | Dondi, Riccardo [editor.] | Herodotou, Herodotos [editor.] | Kapoutsis, Christos [editor.] | Manolopoulos, Yannis [editor.] | Papadopoulos, George A [editor.] | Sikora, Florian [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
|
|
|
|
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020, Revised Selected Papers / edited by Maria Carla Calzarossa, Erol Gelenbe, Krysztof Grochla, Ricardo Lent, Tadeusz Czachórski.
by Calzarossa, Maria Carla [editor.] | Gelenbe, Erol [editor.] | Grochla, Krysztof [editor.] | Lent, Ricardo [editor.] | Czachórski, Tadeusz [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
|
|
|
|
Security and Cryptography for Networks [electronic resource] : 13th International Conference, SCN 2022, Amalfi (SA), Italy, September 12-14, 2022, Proceedings / edited by Clemente Galdi, Stanislaw Jarecki.
by Galdi, Clemente [editor.] | Jarecki, Stanislaw [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.
by Seguin, Christel [editor.] | Zeller, Marc [editor.] | Prosvirnova, Tatiana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Security Protocols XXIII [electronic resource] : 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers / edited by Bruce Christianson, Petr Švenda, Vashek Matyas, James Malcolm, Frank Stajano, Jonathan Anderson.
by Christianson, Bruce [editor.] | Švenda, Petr [editor.] | Matyas, Vashek [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [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
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / edited by Zhao Zhang, Lidong Wu, Wen Xu, Ding-Zhu Du.
by Zhang, Zhao [editor.] | Wu, Lidong [editor.] | Xu, Wen [editor.] | Du, Ding-Zhu [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
|
|
|
|
Advances in Neural Networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, Part II / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.
by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Models for the Web-Graph [electronic resource] : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011, Proceedings / edited by Alan Frieze, Paul Horn, Pawel Pralat.
by Frieze, Alan [editor.] | Horn, Paul [editor.] | Pralat, Pawel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Public Key Cryptography - PKC 2010 [electronic resource] : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings / edited by Phong Q. Nguyen, David Pointcheval.
by Nguyen, Phong Q [editor.] | Pointcheval, David [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
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers / edited by Aggelos Kiayias.
by Kiayias, Aggelos [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.
by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Bitsch, Friedemann [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
|
|
|
|
Models, Languages, and Tools for Concurrent and Distributed Programming [electronic resource] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese.
by Boreale, Michele [editor.] | Corradini, Flavio [editor.] | Loreti, Michele [editor.] | Pugliese, Rosario [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings / edited by Robert H. Deng, Valérie Gauthier-Umaña, Martín Ochoa, Moti Yung.
by Deng, Robert H [editor.] | Gauthier-Umaña, Valérie [editor.] | Ochoa, Martín [editor.] | Yung, Moti [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
|
