Arama Sonuçları Logic programming languages. - Daraltılmış: Microprogramming .
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bprogramming$002blanguages.$0026qf$003dSUBJECT$002509Konu$002509Microprogramming$0025C2$0025A0.$002509Microprogramming$0025C2$0025A0.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-04-05T20:36:22Z
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605121
2026-04-05T20:36:22Z
2026-04-05T20:36:22Z
Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Programming Languages
ent://SD_ILS/0/SD_ILS:617555
2026-04-05T20:36:22Z
2026-04-05T20:36:22Z
Yazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>