Search Results for Robotics -- methods. - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobotics$002b--$002bmethods.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300?dt=list 2026-03-25T02:40:01Z NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608842 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Dutle, Aaron. editor. (orcid)0000-0002-8503-5514&#160;Humphrey, Laura. editor. (orcid)0000-0002-3148-9035&#160;Titolo, Laura. editor. (orcid)0000-0001-7820-7640&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Systems Benchmarks ent://SD_ILS/0/SD_ILS:608684 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Maestre, Jos&eacute; M. editor. (orcid)0000-0002-4968-6811&#160;Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-76312-0">https://doi.org/10.1007/978-3-031-76312-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608160 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608161 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:608165 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:608263 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Juan, Angel A. editor. (orcid)0000-0003-1392-1776&#160;Guisado-Lizar, Jos&eacute;-Luis. editor. (orcid)0000-0001-5480-7617&#160;Mor&oacute;n-Fern&aacute;ndez, Mar&iacute;a-Jos&eacute;. editor. (orcid)0000-0003-3291-7297&#160;Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87345-4">https://doi.org/10.1007/978-3-031-87345-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603672 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929&#160;Gopinath, Divya. editor. (orcid)0000-0002-1242-7701&#160;Shi, Nija. 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-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616188 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Li, Li. 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-41009-8">https://doi.org/10.1007/978-3-319-41009-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616277 2026-03-25T02:40:01Z 2026-03-25T02:40:01Z Author&#160;Tan, Ying. editor. (orcid)0000-0001-8243-4731&#160;Shi, Yuhui. editor.&#160;Niu, Ben. 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-41000-5">https://doi.org/10.1007/978-3-319-41000-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>