|
|
|
Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.
by Ait-Ameur, Yamine [editor.] | Qin, Shengchao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online 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 XII / 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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings / edited by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel.
by Guizzardi, Giancarlo [editor.] | Gailly, Frederik [editor.] | Suzana Pitangueira Maciel, Rita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online 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 XI / 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
|
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 24th Iberoamerican Congress, CIARP 2019, Havana, Cuba, October 28-31, 2019, Proceedings / edited by Ingela Nyström, Yanio Hernández Heredia, Vladimir Milián Núñez.
by Nyström, Ingela [editor.] | Hernández Heredia, Yanio [editor.] | Milián Núñez, Vladimir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Collaboration Technologies. Human and Technology Ecosystems [electronic resource] : 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Panayiotis Zaphiris, Andri Ioannou.
by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [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
|
|
|
|
Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.
by Mogensen, Torben Ægidius [author.] | SpringerLink (Online service). Edition: 3rd ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Vision and Actualization in Academia [electronic resource] : Georgia Tech's College of Computing / by Peter A. Freeman.
by Freeman, Peter A [author.] | 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 Information Systems Engineering [electronic resource] : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings / edited by Schahram Dustdar, Eric Yu, Camille Salinesi, Dominique Rieu, Vik Pant.
by Dustdar, Schahram [editor.] | Yu, Eric [editor.] | Salinesi, Camille [editor.] | Rieu, Dominique [editor.] | Pant, Vik [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
|
|
|
|
Hypothesis Generation and Interpretation [electronic resource] : Design Principles and Patterns for Big Data Applications / by Hiroshi Ishikawa.
by Ishikawa, Hiroshi [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings / edited by Bogumił Kamiński, Paweł Prałat, Przemysław Szufel.
by Kamiński, Bogumił [editor.] | Prałat, Paweł [editor.] | Szufel, Przemysław [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
|
|
|
|
Web and Internet Economics [electronic resource] : 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings / edited by Jugal Garg, Max Klimm, Yuqing Kong.
by Garg, Jugal [editor.] | Klimm, Max [editor.] | Kong, Yuqing [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
|
|
|
|
Service-Oriented Computing - ICSOC 2019 Workshops [electronic resource] : WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers / edited by Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, Elisa Y. Nakagawa.
by Yangui, Sami [editor.] | Bouguettaya, Athman [editor.] | Xue, Xiao [editor.] | Faci, Noura [editor.] | Gaaloul, Walid [editor.] | Yu, Qi [editor.] | Zhou, Zhangbing [editor.] | Hernandez, Nathalie [editor.] | Nakagawa, Elisa Y [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Sustainable Digital Communities [electronic resource] : 15th International Conference, iConference 2020, Boras, Sweden, March 23-26, 2020, Proceedings / edited by Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad.
by Sundqvist, Anneli [editor.] | Berget, Gerd [editor.] | Nolin, Jan [editor.] | Skjerdingstad, Kjell Ivar [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
|
|
|
|
Handbook of Face Recognition [electronic resource] / edited by Stan Z. Li, Anil K. Jain, Jiankang Deng.
by Li, Stan Z [editor.] | Jain, Anil K [editor.] | Deng, Jiankang [editor.] | SpringerLink (Online service). Edition: 3rd ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings / edited by Fairouz Kamareddine, Claudio Sacerdoti Coen.
by Kamareddine, Fairouz [editor.] | Sacerdoti Coen, Claudio [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
|
|
|
|
Asia Pacific Advanced Network [electronic resource] : 56th International Conference, APANConf 2023, Colombo, Sri Lanka, August 24-25, 2023, Revised Selected Papers / edited by Damayanthi Herath, Susumu Date, Upul Jayasinghe, Vijaykrishnan Narayanan, Roshan Ragel, Jilong Wang.
by Herath, Damayanthi [editor.] | Date, Susumu [editor.] | Jayasinghe, Upul [editor.] | Narayanan, Vijaykrishnan [editor.] | Ragel, Roshan [editor.] | Wang, Jilong [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 [electronic resource] : 34th International Conference, ARCS 2021, Virtual Event, June 7-8, 2021, Proceedings / edited by Christian Hochberger, Lars Bauer, Thilo Pionteck.
by Hochberger, Christian [editor.] | Bauer, Lars [editor.] | Pionteck, Thilo [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
|
