|
|
|
Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
by Lin, Anthony W [editor.] | Zetzsche, Georg [editor.] | Potapov, Igor [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença.
by Tapia Tarifa, Silvia Lizeth [editor.] | Proença, José [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
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / edited by Ji Su Park, Hiroyuki Takizawa, Hong Shen, James J. Park.
by Park, Ji Su [editor.] | Takizawa, Hiroyuki [editor.] | Shen, Hong [editor.] | Park, James J [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
|
|
|
|
Games and Learning Alliance [electronic resource] : 12th International Conference, GALA 2023, Dublin, Ireland, November 29 - December 1, 2023, Proceedings / edited by Pierpaolo Dondio, Mariana Rocha, Attracta Brennan, Avo Schönbohm, Francesca de Rosa, Antti Koskinen, Francesco Bellotti.
by Dondio, Pierpaolo [editor.] | Rocha, Mariana [editor.] | Brennan, Attracta [editor.] | Schönbohm, Avo [editor.] | de Rosa, Francesca [editor.] | Koskinen, Antti [editor.] | Bellotti, Francesco [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
|
|
|
|
Web Information Systems and Applications [electronic resource] : 19th International Conference, WISA 2022, Dalian, China, September 16-18, 2022, Proceedings / edited by Xiang Zhao, Shiyu Yang, Xin Wang, Jianxin Li.
by Zhao, Xiang [editor.] | Yang, Shiyu [editor.] | Wang, Xin [editor.] | Li, Jianxin [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I / edited by Foteini Baldimtsi, Christian Cachin.
by Baldimtsi, Foteini [editor.] | Cachin, Christian [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II / edited by Foteini Baldimtsi, Christian Cachin.
by Baldimtsi, Foteini [editor.] | Cachin, Christian [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
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2022 [electronic resource] : 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings / edited by Hujun Yin, David Camacho, Peter Tino.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Tino, Peter [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
|
|
|
|
PRICAI 2022: Trends in Artificial Intelligence [electronic resource] : 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, Proceedings, Part II / edited by Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu.
by Khanna, Sankalp [editor.] | Cao, Jian [editor.] | Bai, Quan [editor.] | Xu, Guandong [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings / edited by Haniel Barbosa, Yoni Zohar.
by Barbosa, Haniel [editor.] | Zohar, Yoni [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Computer Vision - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part I / 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
|
|
|
|
Energy Informatics [electronic resource] : Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part II / edited by Bo Nørregaard Jørgensen, Luiz Carlos Pereira da Silva, Zheng Ma.
by Jørgensen, Bo Nørregaard [editor.] | da Silva, Luiz Carlos Pereira [editor.] | Ma, Zheng [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
|
|
|
|
Energy Informatics [electronic resource] : Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part I / edited by Bo Nørregaard Jørgensen, Luiz Carlos Pereira da Silva, Zheng Ma.
by Jørgensen, Bo Nørregaard [editor.] | da Silva, Luiz Carlos Pereira [editor.] | Ma, Zheng [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2022 [electronic resource] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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
|
|
|
|
Artificial Intelligence of Things [electronic resource] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I / edited by Rama Krishna Challa, Gagangeet Singh Aujla, Lini Mathew, Amod Kumar, Mala Kalra, S. L. Shimi, Garima Saini, Kanika Sharma.
by Challa, Rama Krishna [editor.] | Aujla, Gagangeet Singh [editor.] | Mathew, Lini [editor.] | Kumar, Amod [editor.] | Kalra, Mala [editor.] | Shimi, S. L [editor.] | Saini, Garima [editor.] | Sharma, Kanika [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I / edited by Xiang-he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu.
by Sun, Xiang-he [editor.] | Qu, Wenyu [editor.] | Stojmenovic, Ivan [editor.] | Zhou, Wanlei [editor.] | Li, Zhiyang [editor.] | Guo, Hua [editor.] | Min, Geyong [editor.] | Yang, Tingting [editor.] | Wu, Yulei [editor.] | Liu, Lei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Rules on the Web: From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman.
by Bikakis, Antonis [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry [electronic resource] : First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers / edited by Sivaram Ponnusamy, Vibha Rajesh Bora.
by Ponnusamy, Sivaram [editor.] | Bora, Vibha Rajesh [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
|
