|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu.
by Bouajjani, Ahmed [editor.] | Holík, Lukáš [editor.] | Wu, Zhilin [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVIII / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 18th International Symposium, ARC 2022, Virtual Event, September 19-20, 2022, Proceedings / edited by Lin Gan, Yu Wang, Wei Xue, Thomas Chau.
by Gan, Lin [editor.] | Wang, Yu [editor.] | Xue, Wei [editor.] | Chau, Thomas [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo.
by Abrahamsson, Pekka [editor.] | Corral, Luis [editor.] | Oivo, Markku [editor.] | Russo, Barbara [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
|
|
|
|
Current Developments in Web Based Learning [electronic resource] : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015, Revised Selected Papers / edited by Zhiguo Gong, Dickson K. W. Chiu, Di Zou.
by Gong, Zhiguo [editor.] | Chiu, Dickson K. W [editor.] | Zou, Di [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
|
|
|
|
Computer Vision - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part IV / edited by Leonid Karlinsky, Tomer Michaeli, Ko Nishino.
by Karlinsky, Leonid [editor.] | Michaeli, Tomer [editor.] | Nishino, Ko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings / edited by Joseph K. Liu, Pierangela Samarati.
by Liu, Joseph K [editor.] | Samarati, Pierangela [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
|
|
|
|
Privacy and Security Issues in Data Mining and Machine Learning [electronic resource] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin.
by Dimitrakakis, Christos [editor.] | Gkoulalas-Divanis, Aris [editor.] | Mitrokotsa, Aikaterini [editor.] | Verykios, Vassilios S [editor.] | Saygin, Yücel [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Immersive Learning Research Network [electronic resource] : 9th International Conference, iLRN 2023, San Luis Obispo, USA, June 26-29, 2023, Revised Selected Papers / edited by Marie-Luce Bourguet, Jule M. Krüger, Daniela Pedrosa, Andreas Dengel, Anasol Peña-Rios, Jonathon Richter.
by Bourguet, Marie-Luce [editor.] | Krüger, Jule M [editor.] | Pedrosa, Daniela [editor.] | Dengel, Andreas [editor.] | Peña-Rios, Anasol [editor.] | Richter, Jonathon [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
|
|
|
|
AI 2018: Advances in Artificial Intelligence [electronic resource] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / edited by Tanja Mitrovic, Bing Xue, Xiaodong Li.
by Mitrovic, Tanja [editor.] | Xue, Bing [editor.] | Li, Xiaodong [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
|
