Arama Sonu&ccedil;lar&#305; Computer programming -- Congresses. - Daralt&#305;lm&#305;&#351;: ProQuest (Firm) SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bprogramming$002b--$002bCongresses.$0026qf$003dAUTHOR$002509Yazar$002509ProQuest$002b$002528Firm$002529$002509ProQuest$002b$002528Firm$002529$0026ps$003d300?dt=list 2026-07-22T22:09:07Z Trends in functional programming. Volume 6 ent://SD_ILS/0/SD_ILS:943982 2026-07-22T22:09:07Z 2026-07-22T22:09:07Z by&#160;Eekelen, M. C. J. D. van.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=327870">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Trends in functional programming. Volume 7 ent://SD_ILS/0/SD_ILS:943983 2026-07-22T22:09:07Z 2026-07-22T22:09:07Z by&#160;Loidl, Hans-Wolfgang.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=327871">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Trends in functional programming. Volume 5 ent://SD_ILS/0/SD_ILS:937653 2026-07-22T22:09:07Z 2026-07-22T22:09:07Z by&#160;ProQuest (Firm)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=282971">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Trends in functional programming. Volume 4 ent://SD_ILS/0/SD_ILS:937742 2026-07-22T22:09:07Z 2026-07-22T22:09:07Z by&#160;Gilmore, Stephen.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=283068">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Proof technology and computation ent://SD_ILS/0/SD_ILS:935224 2026-07-22T22:09:07Z 2026-07-22T22:09:07Z by&#160;NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=267724">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/>