Limit Search Results
Author
SpringerLink (Online service)
(21)
Almeida, João Paulo A. editor. (orcid)
(1)
Alonso, Serafin. editor.
(1)
Asselbergs, Folkert W. editor.
(1)
Bagnall, Anthony. editor.
(1)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
21 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521324.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Author 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520632.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Author 
Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number 
XX(520812.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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 
XX(521275.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Optimization Methods for Product and System Design
Optimization Methods for Product and System Design
Author 
Kulkarni, Anand J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520587.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Intelligence and Cybersecurity Theory and Applications
Artificial Intelligence and Cybersecurity Theory and Applications
Author 
Sipola, Tuomo. editor. Kokkonen, Tero. editor. Karjalainen, Mika. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520170.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15030-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
Author 
Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520517.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital Design and Manufacturing of Medical Devices and Systems
Digital Design and Manufacturing of Medical Devices and Systems
Author 
Velu, Rajkumar. editor. Subburaj, Karupppasamy. editor. Subramaniyan, Anand Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522257.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520345.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)
Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)
Author 
Wang, Yue. editor. Liu, Yuyang. editor. Zou, Jiaqi. editor. Huo, Mengyao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520352.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9968-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Author 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520650.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies: