Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Multidisciplinary Analysis and Optimization Proceedings of the 4th National Conference on Multidisciplinary Analysis and Optimization
Advances in Multidisciplinary Analysis and Optimization Proceedings of the 4th National Conference on Multidisciplinary Analysis and Optimization
Author 
Pradeep Pratapa, P. editor. Saravana Kumar, G. editor. (orcid)0000-0001-5549-3170 Ramu, Palaniappan. editor. Amit, R. K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Emerging Technologies for Developing Countries 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings
Emerging Technologies for Developing Countries 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings
Author 
Masinde, Muthoni. editor. (orcid) Bagula, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35883-8
Format: 
Availability 
Online Library~1
Available:
Copies: