Arama Sonu&ccedil;lar&#305; Applications of Mathematics. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dApplications$002bof$002bMathematics.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-14T21:43:28Z Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608635 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Aiswarya, C. editor. (orcid)0000-0002-4878-7581&#160;Sen, Prabal Kumar. editor.&#160;Srivastava, Shashi Mohan. editor.&#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-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:607514 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747&#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-83432-5">https://doi.org/10.1007/978-3-031-83432-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607515 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747&#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-83435-6">https://doi.org/10.1007/978-3-031-83435-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Infrared Small Target Detection Theory, Methods, and Algorithms. ent://SD_ILS/0/SD_ILS:603099 2026-03-14T21:43:28Z 2026-03-14T21:43: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/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602247 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. editor.&#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-48855-9">https://doi.org/10.1007/978-3-031-48855-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602173 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. editor.&#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-48858-0">https://doi.org/10.1007/978-3-031-48858-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602174 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. editor.&#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-48930-3">https://doi.org/10.1007/978-3-031-48930-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611914 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Bertet, Karell. editor.&#160;Borchmann, Daniel. editor.&#160;Cellier, Peggy. editor. (orcid)0000-0002-1495-2534&#160;Ferr&eacute;, S&eacute;bastien. editor. (orcid)0000-0002-6302-2333&#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-59271-8">https://doi.org/10.1007/978-3-319-59271-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015 ent://SD_ILS/0/SD_ILS:614156 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Ao, Sio-Iong. editor.&#160;Kim, Haeng Kon. editor.&#160;Amouzegar, Mahyar A. editor.&#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-10-2717-8">https://doi.org/10.1007/978-981-10-2717-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016 ent://SD_ILS/0/SD_ILS:615301 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Ao, Sio-Iong. editor.&#160;Kim, Haeng Kon. editor.&#160;Huang, Xu. editor.&#160;Castillo, Oscar. editor.&#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-10-3950-8">https://doi.org/10.1007/978-981-10-3950-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. editor.&#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-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming in HTML and PHP Coding for Scientists and Engineers ent://SD_ILS/0/SD_ILS:611023 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Brooks, David R. 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-56973-4">https://doi.org/10.1007/978-3-319-56973-4</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-14T21:43:28Z 2026-03-14T21:43: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/> Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616217 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Ghosh, Sujata. editor.&#160;Prasad, Sanjiva. editor.&#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-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:610898 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611744 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Greuel, Gert-Martin. editor.&#160;Koch, Thorsten. editor.&#160;Paule, Peter. editor.&#160;Sommese, Andrew. editor.&#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-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618411 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Sol&aacute;&#328;, Czech Republic, May 25-28, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611442 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Kozubek, Tom&aacute;&scaron;. editor.&#160;Blaheta, Radim. editor.&#160;&Scaron;&iacute;stek, Jakub. editor.&#160;Rozlo&#382;n&iacute;k, Miroslav. editor.&#160;&#268;erm&aacute;k, Martin. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-40361-8">https://doi.org/10.1007/978-3-319-40361-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Science XXVII ent://SD_ILS/0/SD_ILS:616160 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#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-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015 ent://SD_ILS/0/SD_ILS:613610 2026-03-14T21:43:28Z 2026-03-14T21:43:28Z Yazar&#160;Yang, Gi-Chul. editor.&#160;Ao, Sio-Iong. editor.&#160;Huang, Xu. editor.&#160;Castillo, Oscar. editor.&#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-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>