Limit Search Results
Author
SpringerLink (Online service)
(36)
Silhavy, Petr. editor.
(6)
Silhavy, Radek. editor.
(6)
Maciaszek, Leszek A. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Publication Date
-
Subject
Computational intelligence.
(9)
Artificial intelligence.
(8)
Computer science.
(8)
Compilers (Computer programs).
(7)
Compilers and Interpreters.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
38 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-03406-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Systems Benchmarking For Scientists and Engineers
Systems Benchmarking For Scientists and Engineers
Author 
Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for New Challenges in Software Engineering Volume 1
New Challenges in Software Engineering Volume 1
Author 
Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90310-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6
Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00715-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64073-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1
Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 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-53549-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2
Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54813-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61753-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action