Arama Sonuçları Foundations. - Daraltılmış: Computer programming.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300?dt=list2026-01-20T06:00:40ZModels@run.time Foundations, Applications, and Roadmapsent://SD_ILS/0/SD_ILS:4855842026-01-20T06:00:40Z2026-01-20T06:00:40ZYazar Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08915-7">https://doi.org/10.1007/978-3-319-08915-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522026-01-20T06:00:40Z2026-01-20T06:00:40ZYazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862852026-01-20T06:00:40Z2026-01-20T06:00:40ZYazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer programming and formal systemsent://SD_ILS/0/SD_ILS:2572232026-01-20T06:00:40Z2026-01-20T06:00:40ZYazar Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534002">http://www.sciencedirect.com/science/book/9780444534002</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer programming and formal systemsent://SD_ILS/0/SD_ILS:2573512026-01-20T06:00:40Z2026-01-20T06:00:40ZYazar Braffort, P. (Paul) Hirschberg, D. (David)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533913">http://www.sciencedirect.com/science/book/9780444533913</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>