|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Social Robotics [electronic resource] : 15th International Conference, ICSR 2023, Doha, Qatar, December 3-7, 2023, Proceedings, Part II / edited by Abdulaziz Al Ali, John-John Cabibihan, Nader Meskin, Silvia Rossi, Wanyue Jiang, Hongsheng He, Shuzhi Sam Ge.
by Ali, Abdulaziz Al [editor.] | Cabibihan, John-John [editor.] | Meskin, Nader [editor.] | Rossi, Silvia [editor.] | Jiang, Wanyue [editor.] | He, Hongsheng [editor.] | Ge, Shuzhi Sam [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
|
|
|
|
Social Robotics [electronic resource] : 15th International Conference, ICSR 2023, Doha, Qatar, December 3-7, 2023, Proceedings, Part I / edited by Abdulaziz Al Ali, John-John Cabibihan, Nader Meskin, Silvia Rossi, Wanyue Jiang, Hongsheng He, Shuzhi Sam Ge.
by Ali, Abdulaziz Al [editor.] | Cabibihan, John-John [editor.] | Meskin, Nader [editor.] | Rossi, Silvia [editor.] | Jiang, Wanyue [editor.] | He, Hongsheng [editor.] | Ge, Shuzhi Sam [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings / edited by Kevin S. Xu, David Reitter, Dongwon Lee, Nathaniel Osgood.
by Xu, Kevin S [editor.] | Reitter, David [editor.] | Lee, Dongwon [editor.] | Osgood, Nathaniel [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / edited by Paolo Arcaini, Tao Yue, Erik M. Fredericks.
by Arcaini, Paolo [editor.] | Yue, Tao [editor.] | Fredericks, Erik M [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
|
|
|
|
Inter-Domain Management [electronic resource] : First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings / edited by Arosha K. Bandara, Mark Burgess.
by Bandara, Arosha K [editor.] | Burgess, Mark [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
|
|
|
|
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry [electronic resource] : 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / edited by Jessie Y.C. Chen, Gino Fragomeni.
by Chen, Jessie Y.C [editor.] | Fragomeni, Gino [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
|
|
|
|
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies [electronic resource] : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15-16, 2023, Proceedings, Part III / edited by Sujeet K. Sharma, Yogesh K. Dwivedi, Bhimaraya Metri, Banita Lal, Amany Elbanna.
by Sharma, Sujeet K [editor.] | Dwivedi, Yogesh K [editor.] | Metri, Bhimaraya [editor.] | Lal, Banita [editor.] | Elbanna, Amany [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
|
|
|
|
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies [electronic resource] : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15-16, 2023, Proceedings, Part II / edited by Sujeet K. Sharma, Yogesh K. Dwivedi, Bhimaraya Metri, Banita Lal, Amany Elbanna.
by Sharma, Sujeet K [editor.] | Dwivedi, Yogesh K [editor.] | Metri, Bhimaraya [editor.] | Lal, Banita [editor.] | Elbanna, Amany [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
|
|
|
|
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies [electronic resource] : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15-16, 2023, Proceedings, Part I / edited by Sujeet K. Sharma, Yogesh K. Dwivedi, Bhimaraya Metri, Banita Lal, Amany Elbanna.
by Sharma, Sujeet K [editor.] | Dwivedi, Yogesh K [editor.] | Metri, Bhimaraya [editor.] | Lal, Banita [editor.] | Elbanna, Amany [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
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings / edited by Emiliano De Cristofaro, Matthew Wright.
by De Cristofaro, Emiliano [editor.] | Wright, Matthew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
|
