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?dt=list2026-06-02T09:30:58ZTheoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213402026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6110912026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</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:4831002026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar 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:4893722026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Á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/>Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055002026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74234-7">https://doi.org/10.1007/978-3-031-74234-7</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:5211202026-06-02T09:30:58Z2026-06-02T09:30:58ZYazar Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>