|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / 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
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 14th International Workshop, MLMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings, Part I / edited by Xiaohuan Cao, Xuanang Xu, Islem Rekik, Zhiming Cui, Xi Ouyang.
by Cao, Xiaohuan [editor.] | Xu, Xuanang [editor.] | Rekik, Islem [editor.] | Cui, Zhiming [editor.] | Ouyang, Xi [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
|
|
|
|
Information and Communications Security [electronic resource] : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings / edited by David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati, Gregory Blanc, Rongxing Lu, Zonghua Zhang, Ahmed Meddahi.
by Naccache, David [editor.] | Xu, Shouhuai [editor.] | Qing, Sihan [editor.] | Samarati, Pierangela [editor.] | Blanc, Gregory [editor.] | Lu, Rongxing [editor.] | Zhang, Zonghua [editor.] | Meddahi, Ahmed [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
|
|
|
|
Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I / edited by Fazilah Hassan, Noorhazirah Sunar, Mohd Ariffanan Mohd Basri, Mohd Saiful Azimi Mahmud, Mohamad Hafis Izran Ishak, Mohamed Sultan Mohamed Ali.
by Hassan, Fazilah [editor.] | Sunar, Noorhazirah [editor.] | Mohd Basri, Mohd Ariffanan [editor.] | Mahmud, Mohd Saiful Azimi [editor.] | Ishak, Mohamad Hafis Izran [editor.] | Mohamed Ali, Mohamed Sultan [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
|
|
|
|
Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V / edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.
by Sun, Xingming [editor.] | Pan, Zhaoqing [editor.] | Bertino, Elisa [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
|
|
|
|
Electronic Voting [electronic resource] : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid.
by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Cortier, Véronique [editor.] | Goré, Rajeev [editor.] | Hapsara, Manik [editor.] | Serdült, Uwe [editor.] | Duenas-Cid, David [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
|
|
|
|
From Database to Cyber Security [electronic resource] : Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday / edited by Pierangela Samarati, Indrajit Ray, Indrakshi Ray.
by Samarati, Pierangela [editor.] | Ray, Indrajit [editor.] | Ray, Indrakshi [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
|
|
|
|
Internet of Things. Advances in Information and Communication Technology [electronic resource] : 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II / edited by Deepak Puthal, Saraju Mohanty, Baek-Young Choi.
by Puthal, Deepak [editor.] | Mohanty, Saraju [editor.] | Choi, Baek-Young [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
|
|
|
|
Shape in Medical Imaging [electronic resource] : International Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Martin Reuter, Christian Wachinger, Hervé Lombaert, Beatriz Paniagua, Marcel Lüthi, Bernhard Egger.
by Reuter, Martin [editor.] | Wachinger, Christian [editor.] | Lombaert, Hervé [editor.] | Paniagua, Beatriz [editor.] | Lüthi, Marcel [editor.] | Egger, 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
|
|
|
|
Internet of Things. Advances in Information and Communication Technology [electronic resource] : 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I / edited by Deepak Puthal, Saraju Mohanty, Baek-Young Choi.
by Puthal, Deepak [editor.] | Mohanty, Saraju [editor.] | Choi, Baek-Young [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 Analysis, Testing, and Evolution [electronic resource] : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings / edited by Lei Bu, Yingfei Xiong.
by Bu, Lei [editor.] | Xiong, Yingfei [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
|
|
|
|
Science of Cyber Security [electronic resource] : First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers / edited by Feng Liu, Shouhuai Xu, Moti Yung.
by Liu, Feng [editor.] | Xu, Shouhuai [editor.] | Yung, Moti [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
|
|
|
|
Information Security, Privacy and Digital Forensics [electronic resource] : Select Proceedings of the International Conference, ICISPD 2022 / edited by Sankita J. Patel, Naveen Kumar Chaudhary, Bhavesh N. Gohil, S. S. Iyengar.
by Patel, Sankita J [editor.] | Chaudhary, Naveen Kumar [editor.] | Gohil, Bhavesh N [editor.] | Iyengar, S. S [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
|
|
|
|
Communication Systems and Networks [electronic resource] : 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
by Biswas, Subir [editor.] | Mukherjee, Animesh [editor.] | Chan, Mun Choon [editor.] | Chakraborty, Sandip [editor.] | Kumar, Abhinav [editor.] | Mandyam, Giridhar [editor.] | Shorey, Rajeev [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
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers / edited by Éric Renault, Selma Boumerdassi, Samia Bouzefrane.
by Renault, Éric [editor.] | Boumerdassi, Selma [editor.] | Bouzefrane, Samia [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 Transformation, Cyber Security and Resilience [electronic resource] : Second International Conference, DIGILIENCE 2020, Varna, Bulgaria, September 30 - October 2, 2020, Revised Selected Papers / edited by Todor Tagarev, Nikolai Stoianov.
by Tagarev, Todor [editor.] | Stoianov, Nikolai [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
|
|
|
|
Smart Multimedia [electronic resource] : First International Conference, ICSM 2018, Toulon, France, August 24-26, 2018, Revised Selected Papers / edited by Anup Basu, Stefano Berretti.
by Basu, Anup [editor.] | Berretti, Stefano [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / 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
|
|
|
|
Progressive and Integrative Ideas and Applications of Engineering Systems Under the Framework of IOT and AI [electronic resource] : Proceedings of 2nd International Conference on Intelligent Systems Design and Engineering Applications / edited by Yongsheng Ma.
by Ma, Yongsheng [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16-17, 2019, Proceedings / edited by Yukiko Kawai, Sabine Storandt, Kazutoshi Sumiya.
by Kawai, Yukiko [editor.] | Storandt, Sabine [editor.] | Sumiya, Kazutoshi [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
|
