3 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ç
000DEFAULTTR
Yazdır
Yazar 
Ausiello, Giorgio. author.
Format: 
Electronic Resources
Alıntı: 
Analysis" -- Informatique théorique -- The Journal -- Data Structures, Program Structures -- Optimization
Yazar 
Chang, Bor-Yuh Evan. editor.
Format: 
Electronic Resources
Alıntı: 
Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive
Tümünü Seç
3 sonuç bulundu Arama sonuçlarına abone ol