Arama Sonuçları Sekerinski, Emil.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSekerinski$00252C$002bEmil.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-06-01T17:22:40Z
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605043
2026-06-01T17:22:40Z
2026-06-01T17:22:40Z
Yazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485668
2026-06-01T17:22:40Z
2026-06-01T17:22:40Z
Yazar Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184502
2026-06-01T17:22:40Z
2026-06-01T17:22:40Z
Yazar Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>