Limit Search Results
Author
SpringerLink (Online service)
(472)
Apduhan, Bernady O. editor.
(12)
Bernardo, Marco. editor.
(11)
Messnarz, Richard. editor.
(10)
Taylor and Francis.
(9)
Language
Publication Date
-
Subject
Software engineering.
(238)
Computer science.
(157)
Electronic books.
(106)
Artificial intelligence.
(81)
Computer Communication Networks.
(56)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
835 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37117-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II
Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36808-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Schieber, Baruch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44274-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Author 
Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Author 
Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Author 
Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action