|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings / edited by Nathalie Bertrand, Nils Jansen.
by Bertrand, Nathalie [editor.] | Jansen, Nils [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online 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
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings / edited by Chao Li, Zhenhua Li, Li Shen, Fan Wu, Xiaoli Gong.
by Li, Chao [editor.] | Li, Zhenhua [editor.] | Shen, Li [editor.] | Wu, Fan [editor.] | Gong, Xiaoli [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
|
|
|
|
Theoretical Computer Science [electronic resource] : 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers / edited by Zhiping Cai, Mingyu Xiao, Jialin Zhang.
by Cai, Zhiping [editor.] | Xiao, Mingyu [editor.] | Zhang, Jialin [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / edited by Catalin Dima, Mahsa Shirmohammadi.
by Dima, Catalin [editor.] | Shirmohammadi, Mahsa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24-26, 2021, Proceedings / edited by Ladjel Bellatreche, Marlon Dumas, Panagiotis Karras, Raimundas Matulevičius.
by Bellatreche, Ladjel [editor.] | Dumas, Marlon [editor.] | Karras, Panagiotis [editor.] | Matulevičius, Raimundas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP in a Modern World: From Multi-device Support to Meta Programming [electronic resource] : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings / edited by Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth.
by Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Klinkenberg, Jannis [editor.] | Neth, Brandon [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
|
|
|
|
Big Data, Machine Learning, and Applications [electronic resource] : Proceedings of the 2nd International Conference, BigDML 2021 / edited by Malaya Dutta Borah, Dolendro Singh Laiphrakpam, Nitin Auluck, Valentina Emilia Balas.
by Borah, Malaya Dutta [editor.] | Laiphrakpam, Dolendro Singh [editor.] | Auluck, Nitin [editor.] | Balas, Valentina Emilia [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
|
|
|
|
Artificial Intelligence of Things [electronic resource] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II / 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
|
|
|
|
HCI International 2023 - Late Breaking Posters [electronic resource] : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.
by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [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
|
|
|
|
HCI International 2023 - Late Breaking Posters [electronic resource] : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.
by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [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
|
|
|
|
Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings / edited by Bernhard Steffen.
by Steffen, Bernhard [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 Transport Systems [electronic resource] : 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings / edited by Ana Lucia Martins, Joao C. Ferreira, Alexander Kocian, Ulpan Tokkozhina, Berit Irene Helgheim, Svein Bråthen.
by Martins, Ana Lucia [editor.] | Ferreira, Joao C [editor.] | Kocian, Alexander [editor.] | Tokkozhina, Ulpan [editor.] | Helgheim, Berit Irene [editor.] | Bråthen, Svein [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
|
|
|
|
Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster.
by Lukowicz, Paul [editor.] | Thiele, Lothar [editor.] | Tröster, Gerhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Applications [electronic resource] : 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part I / edited by Min Zhang, Bin Xu, Fuyuan Hu, Junyu Lin, Xianhua Song, Zeguang Lu.
by Zhang, Min [editor.] | Xu, Bin [editor.] | Hu, Fuyuan [editor.] | Lin, Junyu [editor.] | Song, Xianhua [editor.] | Lu, Zeguang [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers / edited by Ioannis Chatzigiannakis, Ioannis Karydis.
by Chatzigiannakis, Ioannis [editor.] | Karydis, Ioannis [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 Applications [electronic resource] : 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part II / edited by Min Zhang, Bin Xu, Fuyuan Hu, Junyu Lin, Xianhua Song, Zeguang Lu.
by Zhang, Min [editor.] | Xu, Bin [editor.] | Hu, Fuyuan [editor.] | Lin, Junyu [editor.] | Song, Xianhua [editor.] | Lu, Zeguang [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
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II / edited by Qingshan Liu, Hanzi Wang, Zhanyu Ma, Weishi Zheng, Hongbin Zha, Xilin Chen, Liang Wang, Rongrong Ji.
by Liu, Qingshan [editor.] | Wang, Hanzi [editor.] | Ma, Zhanyu [editor.] | Zheng, Weishi [editor.] | Zha, Hongbin [editor.] | Chen, Xilin [editor.] | Wang, Liang [editor.] | Ji, Rongrong [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
|
