Arama Sonu&ccedil;lar&#305; Mathematics -- Research. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematics$002b--$002bResearch.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-20T18:38:54Z 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-20T18:38:54Z 2026-03-20T18:38:54Z 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-20T18:38:54Z 2026-03-20T18:38:54Z 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/> 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-20T18:38:54Z 2026-03-20T18:38:54Z 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/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z Yazar&#160;Maurer, Christian. 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-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering ent://SD_ILS/0/SD_ILS:603014 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z 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-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</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-20T18:38:54Z 2026-03-20T18:38:54Z 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/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015 ent://SD_ILS/0/SD_ILS:614156 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z 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/> 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-20T18:38:54Z 2026-03-20T18:38:54Z 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/> Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616233 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z Yazar&#160;Geuvers, Herman. editor.&#160;England, Matthew. editor.&#160;Hasan, Osman. editor.&#160;Rabe, Florian. editor.&#160;Teschke, Olaf. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</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-20T18:38:54Z 2026-03-20T18:38:54Z 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/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z 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/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z 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/> Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613275 2026-03-20T18:38:54Z 2026-03-20T18:38:54Z Yazar&#160;Olivetti, Nicola. editor.&#160;Tiwari, Ashish. 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-40229-1">https://doi.org/10.1007/978-3-319-40229-1</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-20T18:38:54Z 2026-03-20T18:38:54Z 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/>