Search Results for Robots, Industrial. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobots$00252C$002bIndustrial.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list 2026-03-22T05:40:41Z Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday ent://SD_ILS/0/SD_ILS:527804 2026-03-22T05:40:41Z 2026-03-22T05:40:41Z Author&#160;Liu, Yu. editor.&#160;Wang, Dong. editor.&#160;Mi, Jinhua. editor.&#160;Li, He. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611600 2026-03-22T05:40:41Z 2026-03-22T05:40:41Z Author&#160;Petrucci, Laure. editor. (orcid)0000-0003-3154-5268&#160;Seceleanu, Cristina. editor.&#160;Cavalcanti, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>