Arama Sonu&ccedil;lar&#305; NLP. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dNLP.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-20T23:09:36Z Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vit&oacute;ria, Brazil, December 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606244 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029&#160;Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857&#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-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607901 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Hess, Anne. editor. (orcid)0000-0001-7614-5802&#160;Susi, Angelo. editor. (orcid)0000-0002-5026-7462&#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-88531-0">https://doi.org/10.1007/978-3-031-88531-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607973 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#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-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608299 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Boronat, Artur. editor. (orcid)0000-0003-2024-1736&#160;Fraser, Gordon. editor. (orcid)0000-0002-4364-6595&#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-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605095 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Platzer, Andr&eacute;. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#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-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook on Natural Language Processing for Requirements Engineering ent://SD_ILS/0/SD_ILS:607547 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663&#160;Ginde, Gouri. editor. (orcid)0000-0001-7519-3503&#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-73143-3">https://doi.org/10.1007/978-3-031-73143-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605121 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Platzer, Andre. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#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-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602352 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;C&aacute;mara, Javier. editor.&#160;Jongmans, Sung-Shik. 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-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603161 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#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-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602080 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Barbosa, Haniel. editor.&#160;Zohar, Yoni. 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-49342-3">https://doi.org/10.1007/978-3-031-49342-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings ent://SD_ILS/0/SD_ILS:604088 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Ndoundam, Ren&eacute;. editor. (orcid)0000-0003-1105-762X&#160;Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001&#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-63110-8">https://doi.org/10.1007/978-3-031-63110-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:610227 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233&#160;Hinze, Annika. editor. (orcid)0000-0002-7383-1134&#160;Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262&#160;Coustaty, Micka&euml;l. editor. (orcid)0000-0002-0123-439X&#160;Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-72437-4">https://doi.org/10.1007/978-3-031-72437-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Requirements Engineering: Foundation for Software Quality 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603090 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Mendez, Daniel. editor.&#160;Moreira, Ana. 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-57327-9">https://doi.org/10.1007/978-3-031-57327-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605043 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842&#160;Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X&#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-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605075 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673&#160;Sun, Meng. 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-71261-6">https://doi.org/10.1007/978-3-031-71261-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605298 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233&#160;Hinze, Annika. editor. (orcid)0000-0002-7383-1134&#160;Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262&#160;Coustaty, Micka&euml;l. editor. (orcid)0000-0002-0123-439X&#160;Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-72440-4">https://doi.org/10.1007/978-3-031-72440-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606267 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mery, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Sun, Meng. editor.&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#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-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ent://SD_ILS/0/SD_ILS:528987 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Lee, Roger. 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-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611629 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. 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-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vall&eacute;e, France, June 27-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615965 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Carayol, Arnaud. editor.&#160;Nicaud, Cyril. 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-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conversations Around Semiotic Engineering ent://SD_ILS/0/SD_ILS:615169 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Diniz Junqueira Barbosa, Simone. editor.&#160;Breitman, Karin. 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-56291-9">https://doi.org/10.1007/978-3-319-56291-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611714 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Kalinichenko, Leonid. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#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-57135-5">https://doi.org/10.1007/978-3-319-57135-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612144 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Dama&scaron;evi&#269;ius, Robertas. editor. (orcid)0000-0001-9990-1084&#160;Mika&scaron;yt&#279;, Vilma. 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-67642-5">https://doi.org/10.1007/978-3-319-67642-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618308 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. 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-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611432 2026-03-20T23:09:36Z 2026-03-20T23:09:36Z Yazar&#160;Davis, Brian. editor.&#160;Pace, Gordon J. editor.&#160;Wyner, Adam. 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-41498-0">https://doi.org/10.1007/978-3-319-41498-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>