2 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00DEFAULTTR
Yazdır
1. 
Verified functional programming in Agda için kapak resmi
Verified functional programming in Agda
Verified functional programming in Agda
Yazar 
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format: 
Electronic Resources
2. 
Verified functional programming in Agda için kapak resmi
Verified functional programming in Agda
Verified functional programming in Agda
Yazar 
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format: 
Electronic Resources
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
2016
(2)
Konu
Materyal Türü
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope