Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Computer science -- Mathematics.
(13)
Mathematics of Computing.
(12)
Computing Milieux.
(8)
Computer Communication Networks.
(6)
Computer networks .
(6)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
14 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives için kapak resmi
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Yazar 
Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-6238-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs için kapak resmi
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Yazar 
Herdt, Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: