1
منشور في 2013
جدول المحتويات: ... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
بواسطة Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
منشور في 2012
جدول المحتويات: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2012
جدول المحتويات: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
بواسطة Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
منشور في 2015
جدول المحتويات: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2013
جدول المحتويات: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
احصل على النص الكامل
الكتروني كتاب الكتروني