Search Results for Robots, Industrial. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobots$00252C$002bIndustrial.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-16T03:00:33Z Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606986 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0774-7">https://doi.org/10.1007/978-981-96-0774-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:606987 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0783-9">https://doi.org/10.1007/978-981-96-0783-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606999 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0771-6">https://doi.org/10.1007/978-981-96-0771-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:607000 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0780-8">https://doi.org/10.1007/978-981-96-0780-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607001 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0795-2">https://doi.org/10.1007/978-981-96-0795-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:607017 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0786-0">https://doi.org/10.1007/978-981-96-0786-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:607018 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0789-1">https://doi.org/10.1007/978-981-96-0789-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:607019 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0798-3">https://doi.org/10.1007/978-981-96-0798-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:607034 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0792-1">https://doi.org/10.1007/978-981-96-0792-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:607151 2026-03-16T03:00:33Z 2026-03-16T03:00:33Z Author&#160;Lan, Xuguang. editor.&#160;Mei, Xuesong. editor.&#160;Jiang, Caigui. editor.&#160;Zhao, Fei. editor.&#160;Tian, Zhiqiang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0777-8">https://doi.org/10.1007/978-981-96-0777-8</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-16T03:00:33Z 2026-03-16T03:00:33Z 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/>