Search Results for Competition. - Narrowed by: Computer Modelling.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompetition.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-03-15T17:32:56ZTools 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-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:6082962026-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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/>Urban Dynamics and Simulation Modelsent://SD_ILS/0/SD_ILS:6152072026-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46497-8">https://doi.org/10.1007/978-3-319-46497-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXVIIent://SD_ILS/0/SD_ILS:6137572026-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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 XXIVent://SD_ILS/0/SD_ILS:6178102026-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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/>Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Dataent://SD_ILS/0/SD_ILS:6169052026-03-15T17:32:56Z2026-03-15T17:32:56ZAuthor 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/>