|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu.
by Bowen, Jonathan P [editor.] | Li, Qin [editor.] | Xu, Qiwen [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
|
|
|
|
Computational Logistics [electronic resource] : 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings / edited by Joachim R. Daduna, Gernot Liedtke, Xiaoning Shi, Stefan Voß.
by Daduna, Joachim R [editor.] | Liedtke, Gernot [editor.] | Shi, Xiaoning [editor.] | Voß, Stefan [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
|
|
|
|
Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco.
by De Paolis, Lucio Tommaso [editor.] | Arpaia, Pasquale [editor.] | Sacco, Marco [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
|
|
|
|
Extended Reality [electronic resource] : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco.
by De Paolis, Lucio Tommaso [editor.] | Arpaia, Pasquale [editor.] | Sacco, Marco [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
|
|
|
|
Cooperative Information Systems [electronic resource] : 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings / edited by Mohamed Sellami, Paolo Ceravolo, Hajo A. Reijers, Walid Gaaloul, Hervé Panetto.
by Sellami, Mohamed [editor.] | Ceravolo, Paolo [editor.] | Reijers, Hajo A [editor.] | Gaaloul, Walid [editor.] | Panetto, Hervé [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
|
|
|
|
Resource-Efficient Medical Image Analysis [electronic resource] : First MICCAI Workshop, REMIA 2022, Singapore, September 22, 2022, Proceedings / edited by Xinxing Xu, Xiaomeng Li, Dwarikanath Mahapatra, Li Cheng, Caroline Petitjean, Huazhu Fu.
by Xu, Xinxing [editor.] | Li, Xiaomeng [editor.] | Mahapatra, Dwarikanath [editor.] | Cheng, Li [editor.] | Petitjean, Caroline [editor.] | Fu, Huazhu [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
|
|
|
|
Business Process Management [electronic resource] : 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings / edited by Claudio Di Ciccio, Remco Dijkman, Adela del Río Ortega, Stefanie Rinderle-Ma.
by Di Ciccio, Claudio [editor.] | Dijkman, Remco [editor.] | del Río Ortega, Adela [editor.] | Rinderle-Ma, Stefanie [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
|
|
|
|
Internet of Things [electronic resource] : 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers / edited by Aurora González-Vidal, Ahmed Mohamed Abdelgawad, Essaid Sabir, Sébastien Ziegler, Latif Ladid.
by González-Vidal, Aurora [editor.] | Mohamed Abdelgawad, Ahmed [editor.] | Sabir, Essaid [editor.] | Ziegler, Sébastien [editor.] | Ladid, Latif [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
|
|
|
|
Information Security [electronic resource] : 25th International Conference, ISC 2022, Bali, Indonesia, December 18-22, 2022, Proceedings / edited by Willy Susilo, Xiaofeng Chen, Fuchun Guo, Yudi Zhang, Rolly Intan.
by Susilo, Willy [editor.] | Chen, Xiaofeng [editor.] | Guo, Fuchun [editor.] | Zhang, Yudi [editor.] | Intan, Rolly [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
|
|
|
|
Health Information Science [electronic resource] : 11th International Conference, HIS 2022, Virtual Event, October 28-30, 2022, Proceedings / edited by Agma Traina, Hua Wang, Yong Zhang, Siuly Siuly, Rui Zhou, Lu Chen.
by Traina, Agma [editor.] | Wang, Hua [editor.] | Zhang, Yong [editor.] | Siuly, Siuly [editor.] | Zhou, Rui [editor.] | Chen, Lu [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
|
|
|
|
Enterprise Design, Operations, and Computing [electronic resource] : 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings / edited by João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca.
by Almeida, João Paulo A [editor.] | Karastoyanova, Dimka [editor.] | Guizzardi, Giancarlo [editor.] | Montali, Marco [editor.] | Maggi, Fabrizio Maria [editor.] | Fonseca, Claudenir M [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
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings / edited by Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Anastasia Giachanou, Dan Li, Mohammad Aliannejadi, Michalis Vlachos, Guglielmo Faggioli, Nicola Ferro.
by Arampatzis, Avi [editor.] | Kanoulas, Evangelos [editor.] | Tsikrika, Theodora [editor.] | Vrochidis, Stefanos [editor.] | Giachanou, Anastasia [editor.] | Li, Dan [editor.] | Aliannejadi, Mohammad [editor.] | Vlachos, Michalis [editor.] | Faggioli, Guglielmo [editor.] | Ferro, Nicola [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch.
by Guiochet, Jérémie [editor.] | Tonetta, Stefano [editor.] | Bitsch, Friedemann [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
|
|
|
|
Web Information Systems and Applications [electronic resource] : 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings / edited by Long Yuan, Shiyu Yang, Ruixuan Li, Evangelos Kanoulas, Xiang Zhao.
by Yuan, Long [editor.] | Yang, Shiyu [editor.] | Li, Ruixuan [editor.] | Kanoulas, Evangelos [editor.] | Zhao, Xiang [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
|
|
|
|
Business Process Management [electronic resource] : 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings / edited by Chiara Di Francescomarino, Andrea Burattin, Christian Janiesch, Shazia Sadiq.
by Di Francescomarino, Chiara [editor.] | Burattin, Andrea [editor.] | Janiesch, Christian [editor.] | Sadiq, Shazia [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / edited by Benedek Nagy.
by Nagy, Benedek [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
|
|
|
|
Medical Applications with Disentanglements [electronic resource] : First MICCAI Workshop, MAD 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / edited by Jana Fragemann, Jianning Li, Xiao Liu, Sotirios A. Tsaftaris, Jan Egger, Jens Kleesiek.
by Fragemann, Jana [editor.] | Li, Jianning [editor.] | Liu, Xiao [editor.] | Tsaftaris, Sotirios A [editor.] | Egger, Jan [editor.] | Kleesiek, Jens [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings / edited by Francesca Palumbo, Georgios Keramidas, Nikolaos Voros, Pedro C. Diniz.
by Palumbo, Francesca [editor.] | Keramidas, Georgios [editor.] | Voros, Nikolaos [editor.] | Diniz, Pedro 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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / edited by Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo.
by Klusáček, Dalibor [editor.] | Corbalán, Julita [editor.] | Rodrigo, Gonzalo P [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone.
by Jansen, Nils [editor.] | Tribastone, Mirco [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
|
