Search Results for Neural Networks (Computer). - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNeural$002bNetworks$002b$002528Computer$002529.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-16T10:56:19Z Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609420 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98685-7">https://doi.org/10.1007/978-3-031-98685-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609411 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98679-6">https://doi.org/10.1007/978-3-031-98679-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609418 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98668-0">https://doi.org/10.1007/978-3-031-98668-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609419 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98682-6">https://doi.org/10.1007/978-3-031-98682-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608336 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739&#160;Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X&#160;Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86623-4">https://doi.org/10.1007/978-3-031-86623-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608061 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85856-7">https://doi.org/10.1007/978-3-031-85856-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3 ent://SD_ILS/0/SD_ILS:606186 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. 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-70518-2">https://doi.org/10.1007/978-3-031-70518-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604888 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Dvorsk&yacute;, Ji&#345;&iacute;. editor. (orcid)0000-0003-3787-9533&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71115-2">https://doi.org/10.1007/978-3-031-71115-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Mercik, Jacek. 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-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXV ent://SD_ILS/0/SD_ILS:618304 2026-03-16T10:56:19Z 2026-03-16T10:56:19Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Or&#322;owski, Cezary. editor.&#160;Zi&oacute;&#322;kowski, Artur. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>