|
|
|
Transforming Digital Worlds [electronic resource] : 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings / edited by Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett.
by Chowdhury, Gobinda [editor.] | McLeod, Julie [editor.] | Gillet, Val [editor.] | Willett, Peter [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi.
by Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [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
|
|
|
|
Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, Proceedings / edited by Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa.
by Dang, Tran Khanh [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / 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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Domain Adaptation and Representation Transfer [electronic resource] : 5th MICCAI Workshop, DART 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings / edited by Lisa Koch, M. Jorge Cardoso, Enzo Ferrante, Konstantinos Kamnitsas, Mobarakol Islam, Meirui Jiang, Nicola Rieke, Sotirios A. Tsaftaris, Dong Yang.
by Koch, Lisa [editor.] | Cardoso, M. Jorge [editor.] | Ferrante, Enzo [editor.] | Kamnitsas, Konstantinos [editor.] | Islam, Mobarakol [editor.] | Jiang, Meirui [editor.] | Rieke, Nicola [editor.] | Tsaftaris, Sotirios A [editor.] | Yang, Dong [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
|
|
|
|
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / edited by Cliff Jones, Ji Wang, Naijun Zhan.
by Jones, Cliff [editor.] | Wang, Ji [editor.] | Zhan, Naijun [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
|
|
|
|
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
|
|
|
|
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa.
by Cheng, Long [editor.] | Leung, Andrew Chi Sing [editor.] | Ozawa, Seiichi [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
|
|
|
|
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa.
by Cheng, Long [editor.] | Leung, Andrew Chi Sing [editor.] | Ozawa, Seiichi [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
|
|
|
|
Applications of Medical Artificial Intelligence [electronic resource] : Second International Workshop, AMAI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / edited by Shandong Wu, Behrouz Shabestari, Lei Xing.
by Wu, Shandong [editor.] | Shabestari, Behrouz [editor.] | Xing, Lei [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22-24, 2018, Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares.
by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Tavares, João Manuel R.S [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
|
|
|
|
Cooperative Information Systems [electronic resource] : 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings / edited by Mohamed Sellami, Maria-Esther Vidal, Boudewijn van Dongen, Walid Gaaloul, Hervé Panetto.
by Sellami, Mohamed [editor.] | Vidal, Maria-Esther [editor.] | van Dongen, Boudewijn [editor.] | Gaaloul, Walid [editor.] | Panetto, Hervé [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
|
