Limit Search Results
Author
SpringerLink (Online service)
(1331)
Silhavy, Petr. editor.
(20)
Silhavy, Radek. editor.
(20)
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
(13)
Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142
(12)
Language
Publication Date
-
2017
(332)
2024
(325)
2016
(299)
2025
(279)
2014
(96)
Subject
Software engineering.
(1102)
Computer networks .
(483)
Artificial intelligence.
(472)
Application software.
(381)
Computer and Information Systems Applications.
(381)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
1331 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Author 
Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44902-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Author 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Author 
Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0602-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
Author 
Marchesi, Lodovica. editor. (orcid)0000-0002-0627-5043 Goldman, Alfredo. editor. (orcid)0000-0001-5746-4154 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228 Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72781-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings
Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings
Author 
Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88531-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024
Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024
Author 
Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98410-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00712-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Author 
Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84913-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1
Author 
Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3013-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action