Search
نمایش تعداد 1-3 از 3
A framework for high-assurance quasi-synchronous systems
ناشر: IEEE
سال: 2014
Structure-aware CNF obfuscation for privacy-preserving SAT solving
ناشر: IEEE
سال: 2014
Multifractal scaling properties of global land surface air temperature
ناشر: IEEE
سال: 2014