Search Results for Robotics -- methods. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobotics$002b--$002bmethods.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-25T04:11:50Z SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607158 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607261 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-25T04:11:50Z 2026-03-25T04:11:50Z 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/> 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-25T04:11:50Z 2026-03-25T04:11:50Z 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/> Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604788 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872&#160;Serwe, Wendelin. 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-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614261 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Barrett, Clark. editor.&#160;Davies, Misty. editor.&#160;Kahsai, Temesghen. 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-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Learning Classifier Systems ent://SD_ILS/0/SD_ILS:612266 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Urbanowicz, Ryan J. author.&#160;Browne, Will N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-55007-6">https://doi.org/10.1007/978-3-662-55007-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rendezvous in Distributed Systems Theory, Algorithms and Applications ent://SD_ILS/0/SD_ILS:616988 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Gu, Zhaoquan. author.&#160;Wang, Yuexuan. author.&#160;Hua, Qiang-Sheng. author.&#160;Lau, Francis C.M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:617405 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. 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-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:617433 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. 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-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:612086 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</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-25T04:11:50Z 2026-03-25T04:11:50Z 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/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:616249 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</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-25T04:11:50Z 2026-03-25T04:11:50Z 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/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:615985 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:617162 2026-03-25T04:11:50Z 2026-03-25T04:11:50Z Author&#160;Hirose, Akira. editor.&#160;Ozawa, Seiichi. editor.&#160;Doya, Kenji. editor.&#160;Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121&#160;Lee, Minho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>