Limit Search Results
Author
SpringerLink (Online service)
(271)
Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
(12)
Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328
(10)
Moreira, Fernando. editor. (orcid)0000-0002-0816-1445
(10)
Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187
(10)
Language
English
(271)
Publication Date
-
2024
(78)
2016
(68)
2017
(61)
2025
(51)
2014
(13)
Subject
Software engineering.
(119)
Artificial intelligence.
(71)
Computational intelligence.
(66)
Application software.
(47)
Computer and Information Systems Applications.
(47)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
271 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Author 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Automated Process Planning for Additive Manufacturing with Directed Energy Deposition
Automated Process Planning for Additive Manufacturing with Directed Energy Deposition
Author 
Prakash, Vishnuu Jothi. author. (orcid)0000-0002-8778-8026 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87666-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Cybersecurity 9th European Interdisciplinary Cybersecurity Conference, EICC 2025, Rennes, France, June 18-19, 2025, Proceedings
Cybersecurity 9th European Interdisciplinary Cybersecurity Conference, EICC 2025, Rennes, France, June 18-19, 2025, Proceedings
Author 
Praça, Isabel. editor. (orcid)0000-0002-2519-9859 Bernardi, Simona. editor. (orcid)0000-0002-2605-6243 Inácio, Pedro R.M. editor. (orcid)0000-0001-8221-0666 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94855-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Proceedings of International Conference on Information Technology and Applications ICITA 2024
Proceedings of International Conference on Information Technology and Applications ICITA 2024
Author 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computational Analysis of Microscopy Images A Veterinary Medicine Perspective
Computational Analysis of Microscopy Images A Veterinary Medicine Perspective
Author 
Gagniuc, Elvira. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86270-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Complex, Intelligent and Software Intensive Systems Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1
Complex, Intelligent and Software Intensive Systems Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1
Author 
Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 Enokido, Tomoya. editor. Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96099-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Electrical Machines
Electrical Machines
Author 
Srivastava, Rakesh Kumar. author. (orcid)0000-0002-2810-4990 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5039-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Artificial Intelligence and Quantum Computing: Early Innovations. Volume 1
Artificial Intelligence and Quantum Computing: Early Innovations. Volume 1
Author 
Montiel Ross, Oscar Humberto. editor. Orozco-Rosas, Ulises. editor. Martínez-Vargas, Anabel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85614-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Author 
Kurtaran, Hasan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81876-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advanced Information-Measuring Technologies and Systems II
Advanced Information-Measuring Technologies and Systems II
Author 
Eremenko, Volodymyr. editor. Zaporozhets, Artur. editor. (orcid)0000-0002-0704-4116 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-02770-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action