|
|
|
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
|
|
|
|
Coordination Models and Languages [electronic resource] : 26th IFIP WG 6.1 International Conference, COORDINATION 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 Ilaria Castellani, Francesco Tiezzi.
by Castellani, Ilaria [editor.] | Tiezzi, Francesco [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
|
|
|
|
Blockchain Technology and Application [electronic resource] : 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers / edited by Jianming Zhu, Qianhong Wu, Yong Ding, Xianhua Song, Zeguang Lu.
by Zhu, Jianming [editor.] | Wu, Qianhong [editor.] | Ding, Yong [editor.] | Song, Xianhua [editor.] | Lu, Zeguang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers / edited by Abdelhamid Mellouk, Scott Fowler, Boubaker Daachi, Said Hoceini.
by Mellouk, Abdelhamid [editor.] | Fowler, Scott [editor.] | Daachi, Boubaker [editor.] | Hoceini, Said [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings / edited by Hanne Riis Nielson, Emilio Tuosto.
by Riis Nielson, Hanne [editor.] | Tuosto, Emilio [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings / edited by Gunel Jahangirova, Foutse Khomh.
by Jahangirova, Gunel [editor.] | Khomh, Foutse [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / edited by Jaideep Vaidya, Jin Li.
by Vaidya, Jaideep [editor.] | Li, Jin [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
|
