|
|
|
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse.
by Ferreira, Carla [editor.] | Willemse, Tim A. C [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
|
|
|
|
Shape in Medical Imaging [electronic resource] : International Workshop, ShapeMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / edited by Christian Wachinger, Beatriz Paniagua, Shireen Elhabian, Jianning Li, Jan Egger.
by Wachinger, Christian [editor.] | Paniagua, Beatriz [editor.] | Elhabian, Shireen [editor.] | Li, Jianning [editor.] | Egger, Jan [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
|
|
|
|
Security and Trust Management [electronic resource] : 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings / edited by Ruben Rios, Joachim Posegga.
by Rios, Ruben [editor.] | Posegga, Joachim [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part II / edited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui.
by Yang, Xiaochun [editor.] | Suhartanto, Heru [editor.] | Wang, Guoren [editor.] | Wang, Bin [editor.] | Jiang, Jing [editor.] | Li, Bing [editor.] | Zhu, Huaijie [editor.] | Cui, Ningning [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
|
|
|
|
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone.
by Cerone, Antonio [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 19th Principle and Practice of Data and Knowledge Acquisition Workshop, PKAW 2023, Jakarta, Indonesia, November 15-16, 2023, Proceedings / edited by Shiqing Wu, Wenli Yang, Muhammad Bilal Amin, Byeong-Ho Kang, Guandong Xu.
by Wu, Shiqing [editor.] | Yang, Wenli [editor.] | Amin, Muhammad Bilal [editor.] | Kang, Byeong-Ho [editor.] | Xu, Guandong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini.
by Basili, Roberto [editor.] | Lembo, Domenico [editor.] | Limongelli, Carla [editor.] | Orlandini, Andrea [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
|
|
|
|
The Semantic Web - ISWC 2023 [electronic resource] : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II / edited by Terry R. Payne, Valentina Presutti, Guilin Qi, María Poveda-Villalón, Giorgos Stoilos, Laura Hollink, Zoi Kaoudi, Gong Cheng, Juanzi Li.
by Payne, Terry R [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Poveda-Villalón, María [editor.] | Stoilos, Giorgos [editor.] | Hollink, Laura [editor.] | Kaoudi, Zoi [editor.] | Cheng, Gong [editor.] | Li, Juanzi [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
|
|
|
|
Pattern Recognition [electronic resource] : 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II / edited by Huimin Lu, Michael Blumenstein, Sung-Bae Cho, Cheng-Lin Liu, Yasushi Yagi, Tohru Kamiya.
by Lu, Huimin [editor.] | Blumenstein, Michael [editor.] | Cho, Sung-Bae [editor.] | Liu, Cheng-Lin [editor.] | Yagi, Yasushi [editor.] | Kamiya, Tohru [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
|
|
|
|
Pattern Recognition [electronic resource] : 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I / edited by Huimin Lu, Michael Blumenstein, Sung-Bae Cho, Cheng-Lin Liu, Yasushi Yagi, Tohru Kamiya.
by Lu, Huimin [editor.] | Blumenstein, Michael [editor.] | Cho, Sung-Bae [editor.] | Liu, Cheng-Lin [editor.] | Yagi, Yasushi [editor.] | Kamiya, Tohru [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part V / edited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui.
by Yang, Xiaochun [editor.] | Suhartanto, Heru [editor.] | Wang, Guoren [editor.] | Wang, Bin [editor.] | Jiang, Jing [editor.] | Li, Bing [editor.] | Zhu, Huaijie [editor.] | Cui, Ningning [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part IV / edited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui.
by Yang, Xiaochun [editor.] | Suhartanto, Heru [editor.] | Wang, Guoren [editor.] | Wang, Bin [editor.] | Jiang, Jing [editor.] | Li, Bing [editor.] | Zhu, Huaijie [editor.] | Cui, Ningning [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
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part III / edited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui.
by Yang, Xiaochun [editor.] | Suhartanto, Heru [editor.] | Wang, Guoren [editor.] | Wang, Bin [editor.] | Jiang, Jing [editor.] | Li, Bing [editor.] | Zhu, Huaijie [editor.] | Cui, Ningning [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
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 5th International Workshop, PET 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers / edited by George Danezis, David Martin.
by Danezis, George [editor.] | Martin, David [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings / edited by Weizhi Meng, Zheng Yan, Vincenzo Piuri.
by Meng, Weizhi [editor.] | Yan, Zheng [editor.] | Piuri, Vincenzo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence XL [electronic resource] : 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings / edited by Max Bramer, Frederic Stahl.
by Bramer, Max [editor.] | Stahl, Frederic [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
|
|
|
|
Haptic Interaction [electronic resource] : 5th International Conference, AsiaHaptics 2022, Beijing, China, November 12-14, 2022, Proceedings / edited by Dangxiao Wang, Aiguo Song, Qian Liu, Ki-Uk Kyung, Masashi Konyo, Hiroyuki Kajimoto, Lihan Chen, Jee-Hwan Ryu.
by Wang, Dangxiao [editor.] | Song, Aiguo [editor.] | Liu, Qian [editor.] | Kyung, Ki-Uk [editor.] | Konyo, Masashi [editor.] | Kajimoto, Hiroyuki [editor.] | Chen, Lihan [editor.] | Ryu, Jee-Hwan [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach.
by Silvano, Cristina [editor.] | Pilato, Christian [editor.] | Reichenbach, Marc [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
|
|
|
|
Pattern Recognition [electronic resource] : 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III / edited by Huimin Lu, Michael Blumenstein, Sung-Bae Cho, Cheng-Lin Liu, Yasushi Yagi, Tohru Kamiya.
by Lu, Huimin [editor.] | Blumenstein, Michael [editor.] | Cho, Sung-Bae [editor.] | Liu, Cheng-Lin [editor.] | Yagi, Yasushi [editor.] | Kamiya, Tohru [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
|
|
|
|
Tackling Society's Grand Challenges with Design Science [electronic resource] : 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings / edited by Jeffrey Parsons, Tuure Tuunanen, John Venable, Brian Donnellan, Markus Helfert, Jim Kenneally.
by Parsons, Jeffrey [editor.] | Tuunanen, Tuure [editor.] | Venable, John [editor.] | Donnellan, Brian [editor.] | Helfert, Markus [editor.] | Kenneally, Jim [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
|
