Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Verification and Analysis An Integrated, Hands-On Approach
Software Verification and Analysis An Integrated, Hands-On Approach
Author 
Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Author 
Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The AI Act and The Agile Safety Plan
The AI Act and The Agile Safety Plan
Author 
Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80504-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2
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-3161-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76212-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Managing Software Supply Chains Theory and Practice
Managing Software Supply Chains Theory and Practice
Author 
Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Author 
Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47705-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Understanding the Digital World Modeling with HERAKLIT
Understanding the Digital World Modeling with HERAKLIT
Author 
Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61898-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Systems engineering of software-enabled systems
Systems engineering of software-enabled systems
Author 
Fairley, R. E. (Richard E.), 1937- author.
Preferred Shelf Number 
QA76.758
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies: