Arama Sonu&ccedil;lar&#305; Statistics -- methods. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dStatistics$002b--$002bmethods.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-14T06:03:28Z Infrared Small Target Detection Theory, Methods, and Algorithms. ent://SD_ILS/0/SD_ILS:603099 2026-03-14T06:03:28Z 2026-03-14T06:03:28Z Yazar&#160;Zhu, Hu. author.&#160;Pan, Yushan. author. (orcid)0000-0002-6877-3937&#160;Deng, Lizhen. author.&#160;Xu, Guoxia. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:606616 2026-03-14T06:03:28Z 2026-03-14T06:03:28Z Yazar&#160;Duque-M&eacute;ndez, N&eacute;stor Dar&iacute;o. editor. (orcid)0000-0002-4608-281X&#160;Aristiz&aacute;bal-Quintero, Luz &Aacute;ngela. editor. (orcid)0000-0003-4510-9029&#160;Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382&#160;Aguilar, Jose. editor. (orcid)0000-0003-4194-6882&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75236-0">https://doi.org/10.1007/978-3-031-75236-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:606624 2026-03-14T06:03:28Z 2026-03-14T06:03:28Z Yazar&#160;Duque-M&eacute;ndez, N&eacute;stor Dar&iacute;o. editor. (orcid)0000-0002-4608-281X&#160;Aristiz&aacute;bal-Quintero, Luz &Aacute;ngela. editor. (orcid)0000-0003-4510-9029&#160;Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382&#160;Aguilar, Jose. editor. (orcid)0000-0003-4194-6882&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75233-9">https://doi.org/10.1007/978-3-031-75233-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-14T06:03:28Z 2026-03-14T06:03:28Z Yazar&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>