|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Model and Data Engineering in the Digitalization Era [electronic resource] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi.
by Mosbah, Mohamed [editor.] | Kechadi, Tahar [editor.] | Bellatreche, Ladjel [editor.] | Gargouri, Faiez [editor.] | Guegan, Chirine Ghedira [editor.] | Badir, Hassan [editor.] | Beheshti, Amin [editor.] | Gammoudi, Mohamed Mohsen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings / edited by Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu.
by Takagi, Tsuyoshi [editor.] | Wang, Guilin [editor.] | Qin, Zhiguang [editor.] | Jiang, Shaoquan [editor.] | Yu, Yong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers / edited by Michał Pałka, Magnus Myreen.
by Pałka, Michał [editor.] | Myreen, Magnus [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 Forensics and Cyber Crime [electronic resource] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I / edited by Sanjay Goel, Paulo Roberto Nunes de Souza.
by Goel, Sanjay [editor.] | Nunes de Souza, Paulo Roberto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II / edited by Demetris Zeinalipour, Dora Blanco Heras, George Pallis, Herodotos Herodotou, Demetris Trihinas, Daniel Balouek, Patrick Diehl, Terry Cojean, Karl Fürlinger, Maja Hanne Kirkeby, Matteo Nardelli, Pierangelo Di Sanzo.
by Zeinalipour, Demetris [editor.] | Blanco Heras, Dora [editor.] | Pallis, George [editor.] | Herodotou, Herodotos [editor.] | Trihinas, Demetris [editor.] | Balouek, Daniel [editor.] | Diehl, Patrick [editor.] | Cojean, Terry [editor.] | Fürlinger, Karl [editor.] | Kirkeby, Maja Hanne [editor.] | Nardelli, Matteo [editor.] | Di Sanzo, Pierangelo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Software Quality as a Foundation for Security [electronic resource] : 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings / edited by Peter Bludau, Rudolf Ramler, Dietmar Winkler, Johannes Bergsmann.
by Bludau, Peter [editor.] | Ramler, Rudolf [editor.] | Winkler, Dietmar [editor.] | Bergsmann, Johannes [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I / edited by Demetris Zeinalipour, Dora Blanco Heras, George Pallis, Herodotos Herodotou, Demetris Trihinas, Daniel Balouek, Patrick Diehl, Terry Cojean, Karl Fürlinger, Maja Hanne Kirkeby, Matteo Nardelli, Pierangelo Di Sanzo.
by Zeinalipour, Demetris [editor.] | Blanco Heras, Dora [editor.] | Pallis, George [editor.] | Herodotou, Herodotos [editor.] | Trihinas, Demetris [editor.] | Balouek, Daniel [editor.] | Diehl, Patrick [editor.] | Cojean, Terry [editor.] | Fürlinger, Karl [editor.] | Kirkeby, Maja Hanne [editor.] | Nardelli, Matteo [editor.] | Di Sanzo, Pierangelo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Networked Systems [electronic resource] : 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings / edited by Mohammed-Amine Koulali, Mira Mezini.
by Koulali, Mohammed-Amine [editor.] | Mezini, Mira [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
|
|
|
|
NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier.
by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [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
|
|
|
|
Architecture of Computing Systems -- ARCS 2014 [electronic resource] : 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings / edited by Erik Maehle, Kay Römer, Wolfgang Karl, Eduardo Tovar.
by Maehle, Erik [editor.] | Römer, Kay [editor.] | Karl, Wolfgang [editor.] | Tovar, Eduardo [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings / edited by Roberto Perdisci, Clémentine Maurice, Giorgio Giacinto, Magnus Almgren.
by Perdisci, Roberto [editor.] | Maurice, Clémentine [editor.] | Giacinto, Giorgio [editor.] | Almgren, Magnus [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings / edited by Yuval Emek.
by Emek, Yuval [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Network and Parallel Computing [electronic resource] : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24-25, 2022, Proceedings / edited by Shaoshan Liu, Xiaohui Wei.
by Liu, Shaoshan [editor.] | Wei, Xiaohui [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna.
by Butler, Michael [editor.] | Jones, Cliff [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings / edited by Giancarlo Guizzardi, Flavia Santoro, Haralambos Mouratidis, Pnina Soffer.
by Guizzardi, Giancarlo [editor.] | Santoro, Flavia [editor.] | Mouratidis, Haralambos [editor.] | Soffer, Pnina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings / edited by Rolando Martins, Mennan Selimi.
by Martins, Rolando [editor.] | Selimi, Mennan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings / edited by Valentina Castiglioni, Adrian Francalanza.
by Castiglioni, Valentina [editor.] | Francalanza, Adrian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
