Search Results for NLP. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNLP.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-21T12:55:32Z 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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Boronat, Artur. editor. (orcid)0000-0003-2024-1736&#160;Fraser, Gordon. editor. (orcid)0000-0002-4364-6595&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Hess, Anne. editor. (orcid)0000-0001-7614-5802&#160;Susi, Angelo. editor. (orcid)0000-0002-5026-7462&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029&#160;Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook on Natural Language Processing for Requirements Engineering ent://SD_ILS/0/SD_ILS:607547 2026-03-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663&#160;Ginde, Gouri. editor. (orcid)0000-0001-7519-3503&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842&#160;Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;C&aacute;mara, Javier. editor.&#160;Jongmans, Sung-Shik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Barbosa, Haniel. editor.&#160;Zohar, Yoni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Mendez, Daniel. editor.&#160;Moreira, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ent://SD_ILS/0/SD_ILS:528987 2026-03-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. 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-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. 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-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conversations Around Semiotic Engineering ent://SD_ILS/0/SD_ILS:615169 2026-03-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Diniz Junqueira Barbosa, Simone. editor.&#160;Breitman, Karin. 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-56291-9">https://doi.org/10.1007/978-3-319-56291-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Carayol, Arnaud. editor.&#160;Nicaud, Cyril. 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-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-21T12:55:32Z 2026-03-21T12:55:32Z Author&#160;Davis, Brian. editor.&#160;Pace, Gordon J. editor.&#160;Wyner, Adam. 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-41498-0">https://doi.org/10.1007/978-3-319-41498-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>