Search Results for Set theory. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSet$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-21T14:39:43Z Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608173 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608174 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606584 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Murray, John T. editor. (orcid)0000-0003-2579-6802&#160;Reyes, Mar&iacute;a Cecilia. editor. (orcid)0000-0001-8084-469X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78453-8">https://doi.org/10.1007/978-3-031-78453-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606583 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Murray, John T. editor. (orcid)0000-0003-2579-6802&#160;Reyes, Mar&iacute;a Cecilia. editor. (orcid)0000-0001-8084-469X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78450-7">https://doi.org/10.1007/978-3-031-78450-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 18th China Conference, CWSN 2024, Taiyuan, China, September 20-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607464 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Sun, Limin. editor.&#160;Chen, Yongle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2189-7">https://doi.org/10.1007/978-981-96-2189-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 18th China Conference, CWSN 2024, Taiyuan, China, September 20-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607463 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Sun, Limin. editor.&#160;Chen, Yongle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2186-6">https://doi.org/10.1007/978-981-96-2186-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609925 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72338-4">https://doi.org/10.1007/978-3-031-72338-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:605201 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72359-9">https://doi.org/10.1007/978-3-031-72359-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:605199 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72353-7">https://doi.org/10.1007/978-3-031-72353-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602979 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Smith, Stephen. editor.&#160;Correia, Jo&atilde;o. editor.&#160;Cintrano, Christian. 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-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:605200 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72356-8">https://doi.org/10.1007/978-3-031-72356-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605195 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72341-4">https://doi.org/10.1007/978-3-031-72341-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:605196 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72344-5">https://doi.org/10.1007/978-3-031-72344-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605193 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72332-2">https://doi.org/10.1007/978-3-031-72332-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605194 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72335-3">https://doi.org/10.1007/978-3-031-72335-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:605197 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72347-6">https://doi.org/10.1007/978-3-031-72347-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:605198 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72350-6">https://doi.org/10.1007/978-3-031-72350-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603019 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Smith, Stephen. editor.&#160;Correia, Jo&atilde;o. editor.&#160;Cintrano, Christian. 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-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:610911 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-03-21T14:39:43Z 2026-03-21T14:39:43Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>