Limit Search Results
Author
SpringerLink (Online service)
(412)
Winckler, Marco. editor.
(10)
Voronkov, Andrei. editor.
(9)
Palanque, Philippe. editor.
(8)
Deng, Hepu. editor.
(6)
Language
Publication Date
-
Subject
Software engineering.
(351)
Computer science.
(329)
Logic design.
(91)
Information systems.
(75)
Artificial Intelligence (incl. Robotics).
(46)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
419 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
Author 
Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49269-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46002-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Proceedings of the 6th International Conference on Communications and Cyber Physical Engineering ICCCE 2023; 28-29 April, Hyderabad, India
Proceedings of the 6th International Conference on Communications and Cyber Physical Engineering ICCCE 2023; 28-29 April, Hyderabad, India
Author 
Kumar, Amit. editor. Mozar, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Communication and Applied Technologies Proceedings of ICOMTA 2023
Communication and Applied Technologies Proceedings of ICOMTA 2023
Author 
Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Castro, Laura M. editor. Espinosa, Araceli. editor. Puentes-Rivera, Iván. editor. López-López, Paulo Carlos. editor. (orcid)0000-0002-8101-7976
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7210-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Intelligent System and Smart Technologies Proceedings of I2ST'23
Advances in Intelligent System and Smart Technologies Proceedings of I2ST'23
Author 
Gherabi, Noredine. editor. Awad, Ali Ismail. editor. Nayyar, Anand. editor. (orcid)0000-0002-9821-6146 Bahaj, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47672-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 1
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 1
Author 
Singh, Yashwant. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Gonçalves, Paulo J. Sequeira. editor. Kar, Arpan Kumar. editor. (orcid)0000-0003-4186-4887 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 2
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 2
Author 
Illés, Zoltán. editor. Verma, Chaman. editor. (orcid)0000-0002-9925-112X Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 3
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 3
Author 
Singh, Yashwant. editor. Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Kolekar, Maheshkumar H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Using Artificial Intelligence to Solve Transportation Problems
Using Artificial Intelligence to Solve Transportation Problems
Author 
Sładkowski, Aleksander. editor. (orcid)0000-0002-1041-4309 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69487-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial Intelligence and Sustainability
Artificial Intelligence and Sustainability
Author 
Alloghani, Mohamed Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45214-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Intelligent Systems, Business, and Innovation Research
Intelligent Systems, Business, and Innovation Research
Author 
Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36895-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action