Search Results for PROGRAMLAMA (ELEKTRONİK BİLGİSAYAR) - Narrowed by: PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR) -- ANLAMBİLİM.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPROGRAMLAMA$002b$002528ELEKTRON$0025C4$0025B0K$002bB$0025C4$0025B0LG$0025C4$0025B0SAYAR$002529$0026qf$003dSUBJECT$002509Subject$002509PROGRAMLAMA$002bD$0025C4$0025B0L$0025C4$0025B0$002b$002528ELEKTRON$0025C4$0025B0K$002bB$0025C4$0025B0LG$0025C4$0025B0SAYAR$002529$002b--$002bANLAMB$0025C4$0025B0L$0025C4$0025B0M.$002509PROGRAMLAMA$002bD$0025C4$0025B0L$0025C4$0025B0$002b$002528ELEKTRON$0025C4$0025B0K$002bB$0025C4$0025B0LG$0025C4$0025B0SAYAR$002529$002b--$002bANLAMB$0025C4$0025B0L$0025C4$0025B0M.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2024-09-13T16:18:49Z
Predicate calculus and program semantics
ent://SD_ILS/0/SD_ILS:72690
2024-09-13T16:18:49Z
2024-09-13T16:18:49Z
Author Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.<br/>Preferred Shelf Number QA 9.35 D55 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18
ent://SD_ILS/0/SD_ILS:72705
2024-09-13T16:18:49Z
2024-09-13T16:18:49Z
Preferred Shelf Number QA 76.6 S521 1980<br/>Format: Books<br/>Availability Beytepe Library~1<br/>