1
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2013
İçindekiler: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
Tam Metin Erişim
Elektronik Ekitap