Arama Sonu&ccedil;lar&#305; Fertilization. - Daralt&#305;lm&#305;&#351;: Compilers (Computer programs). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFertilization.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-16T03:43:25Z Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613621 2026-03-16T03:43:25Z 2026-03-16T03:43:25Z Yazar&#160;Costantini, Stefania. editor.&#160;Franconi, Enrico. editor.&#160;Van Woensel, William. editor.&#160;Kontchakov, Roman. editor.&#160;Sadri, Fariba. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-03-16T03:43:25Z 2026-03-16T03:43:25Z Yazar&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>