Limit Search Results
Author
SpringerLink (Online service)
(21)
Joshi, Amit. editor.
(8)
Dey, Nilanjan. editor.
(4)
Cortesi, Agostino. editor.
(3)
Yang, Xin-She. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(12)
Computational intelligence.
(12)
Communications Engineering, Networks.
(11)
Telecommunication.
(11)
Data Analysis and Big Data.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Challenges of Software Verification
Challenges of Software Verification
Author 
Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9601-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
Author 
Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Author 
Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6791-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Integrating the internet of things into software engineering practices
Integrating the internet of things into software engineering practices
Author 
Mala, D. Jeya, 1974- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automotive Systems and Software Engineering State of the Art and Future Trends
Automotive Systems and Software Engineering State of the Art and Future Trends
Author 
Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Author 
Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1
Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1
Author 
Yang, Xin-She. editor. Sherratt, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1607-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for ICT with Intelligent Applications Proceedings of ICTIS 2022, Volume 1
ICT with Intelligent Applications Proceedings of ICTIS 2022, Volume 1
Author 
Choudrie, Jyoti. editor. Mahalle, Parikshit. editor. Perumal, Thinagaran. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
Author 
Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for ICT Infrastructure and Computing Proceedings of ICT4SD 2023, Volume 3
ICT Infrastructure and Computing Proceedings of ICT4SD 2023, Volume 3
Author 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
Author 
Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Next Generation of Internet of Things Proceedings of ICNGIoT 2022
Next Generation of Internet of Things Proceedings of ICNGIoT 2022
Author 
Kumar, Raghvendra. editor. Pattnaik, Prasant Kumar. editor. R. S. Tavares, João Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1412-6
Format: 
Availability 
Online Library~1
Available:
Copies: