Yazar
Hong, Hoon. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Donovan, Peter. author.
Format:
Electronic Resources
Alıntı:
Data Structures, Cryptology and Information Theory.
View Other Search Results
Yazar
Trovati, Marcello. editor.
Format:
Electronic Resources
Alıntı:
Big-Data Analytics and Cloud Computing Theory, Algorithms and Applications / Trovati, Marcello
Yazar
Jürjens, Jan. editor.
Format:
Electronic Resources
Alıntı:
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany
Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System
Arama Sonuçlarını Sınırlandır
Daraltılmış: