45 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ç
000000000000DEFAULTTR
Yazdır
Yazar 
Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
Format: 
Electronic Resources
Alıntı: 
distributed systems, program verification techniques, formal modeling, and verified software.
Yazar 
Gitelman, Lisa, editor of compilation.
Format: 
Electronic Resources
Alıntı: 
; describe early financial modeling and some unusual sources for astronomical data; discover the prehistory
Yazar 
Steffen, Bernhard. author.
Format: 
Electronic Resources
Alıntı: 
general scalability of modeling and analysis. A core principle throughout is invariance, which the authors
Tümünü Seç
45 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane