Search Results for Competition - Narrowed by: Computer networks .SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompetition$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ic$003dtrue$0026ps$003d300?dt=list2026-04-13T09:32:53ZTools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2024: Robot World Cup XXVIIent://SD_ILS/0/SD_ILS:6081192026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Barros, Edna. editor. (orcid)0000-0001-6479-3052 Hanna, Josiah P. editor. (orcid)0000-0002-7411-0398 Okada, Hiroyuki. editor. (orcid)0000-0003-4217-1548 Torta, Elena. editor. (orcid)0000-0001-9198-1374 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85859-8">https://doi.org/10.1007/978-3-031-85859-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entertainment Computing - ICEC 2025 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6099632026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Sugimoto, Maki. editor. Di Iorio, Angelo. editor. (orcid)0000-0002-6893-7452 Figueroa, Pablo. editor. (orcid)0000-0001-5412-8630 Yamanishi, Ryosuke. editor. (orcid)0009-0007-6798-279X Matsumura, Kohei. editor. (orcid)0000-0001-6397-7255<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-02555-5">https://doi.org/10.1007/978-3-032-02555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>RoboCup 2016: Robot World Cup XXent://SD_ILS/0/SD_ILS:6132972026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Behnke, Sven. editor. Sheh, Raymond. editor. Sarıel, Sanem. editor. Lee, Daniel D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68792-6">https://doi.org/10.1007/978-3-319-68792-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXVIIent://SD_ILS/0/SD_ILS:6137572026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXVent://SD_ILS/0/SD_ILS:6183042026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Orłowski, Cezary. editor. Ziółkowski, Artur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53580-6">https://doi.org/10.1007/978-3-662-53580-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Dataent://SD_ILS/0/SD_ILS:6169052026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Rupino da Cunha, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49521-6">https://doi.org/10.1007/978-3-662-49521-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIVent://SD_ILS/0/SD_ILS:6178102026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53525-7">https://doi.org/10.1007/978-3-662-53525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIIIent://SD_ILS/0/SD_ILS:6178112026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52886-0">https://doi.org/10.1007/978-3-662-52886-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIIent://SD_ILS/0/SD_ILS:6116452026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49619-0">https://doi.org/10.1007/978-3-662-49619-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Frontier in Agent-based Complex Automated Negotiationent://SD_ILS/0/SD_ILS:5299562026-04-13T09:32:53Z2026-04-13T09:32:53ZAuthor Fujita, Katsuhide. editor. Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-55525-4">https://doi.org/10.1007/978-4-431-55525-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>