Arama Sonuçları Ábrahám, Erika.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003d$0025C3$002581brah$0025C3$0025A1m$00252C$002bErika.$0026ps$003d300?2024-11-13T01:21:05ZTheoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213402024-11-13T01:21:05Z2024-11-13T01:21:05ZYazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521340.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-11-13T01:21:05Z2024-11-13T01:21:05ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4893722024-11-13T01:21:05Z2024-11-13T01:21:05ZYazar Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43613-4">https://doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5211202024-11-13T01:21:05Z2024-11-13T01:21:05ZYazar Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521120.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>