Search Results for Open learning. - Narrowed by: Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOpen$002blearning.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-19T00:00:23Z 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-19T00:00:23Z 2026-03-19T00:00:23Z 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-19T00:00:23Z 2026-03-19T00:00:23Z 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-19T00:00:23Z 2026-03-19T00:00:23Z 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/> 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-19T00:00:23Z 2026-03-19T00:00:23Z 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/> Digital Signal Processing Illustration Using Python ent://SD_ILS/0/SD_ILS:602419 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Esakkirajan, S. author.&#160;Veerakumar, T. author. (orcid)0000-0001-9084-1847&#160;N Subudhi, Badri. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-6752-0">https://doi.org/10.1007/978-981-99-6752-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604437 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65633-0">https://doi.org/10.1007/978-3-031-65633-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Health Informatics State-of-the-Art and Future Challenges ent://SD_ILS/0/SD_ILS:617824 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50478-0">https://doi.org/10.1007/978-3-319-50478-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach ent://SD_ILS/0/SD_ILS:618450 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Bessiere, Christian. editor.&#160;De Raedt, Luc. editor.&#160;Kotthoff, Lars. editor.&#160;Nijssen, Siegfried. editor.&#160;O'Sullivan, Barry. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50137-6">https://doi.org/10.1007/978-3-319-50137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision - ECCV 2016 Workshops Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611734 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Hua, Gang. editor.&#160;J&eacute;gou, Herv&eacute;. 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-48881-3">https://doi.org/10.1007/978-3-319-48881-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision - ECCV 2016 Workshops Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:617072 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Hua, Gang. editor.&#160;J&eacute;gou, Herv&eacute;. 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-46604-0">https://doi.org/10.1007/978-3-319-46604-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision - ECCV 2016 Workshops Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:616841 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Hua, Gang. editor.&#160;J&eacute;gou, Herv&eacute;. 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-49409-8">https://doi.org/10.1007/978-3-319-49409-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of chemoinformatics algorithms ent://SD_ILS/0/SD_ILS:542021 2026-03-19T00:00:23Z 2026-03-19T00:00:23Z Author&#160;Faulon, Jean-Loup.&#160;Bender, Andreas, 1976-<br/>Preferred Shelf Number&#160;QD39.3 .E46 H357 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420082999">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>