عرض جميع كتب -B-A
-
Equivalence Checking for High-Assurance Behavioral Synthesis
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 958 ) :: Equivalence Checki -
A Survey and Analysis of Solutions to the Oblivious Memory Access
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 957 ) :: A Survey and Analy -
Tweakable Ciphers- Constructions and Applications
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 950 ) :: Tweakable Ciphers- -
Scalable Equivalence Checking for Behavioral Synthesis
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 947 ) :: Scalable Equivalen -
The Link Between Image Segmentation and Image Recognition
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 943 ) :: The Link Between I -
Scalable and Efficient Tasking for Dynamic Sensor Networks
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 940 ) :: Scalable and Effic -
The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 933 ) :: The Nax Language U -
A Data-Descriptive Feedback Framework for Data Stream Management
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 932 ) :: A Data-Descriptive -
Fairness and Privacy Violations in Black-Box Personalization
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 928 ) :: Fairness and Priva -
Certifying Loop Pipelining Transformations in Behavioral Synthesi
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 926 ) :: Certifying Loop Pi -
Optimizing Data Movement in Hybrid Analytic Systems
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 923 ) :: Optimizing Data Mo -
Trust-but-Verify Guaranteeing the Integrity of User-generated Content in Online Applications
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 922 ) :: Trust-but-Verify G -
Design, Fabrication, and Characterization of Monolithically Integrated Acoustic and Photonic Devices on Lithium Niobate Over Insulator (LNOI) Platform
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 919 ) :: Design, Fabricatio -
Bounding Box Improvement With Reinforcement Learning
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 916 ) :: Bounding Box Impro -
Identifying Relationships between Scientific Datasets
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 915 ) :: Identifying Relati -
Sensing Building Structure Using UWB Radios for Disaster Recovery
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 909 ) :: Sensing Building S -
Refining Bounding-Box Regression for Object Localization
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 907 ) :: Refining Bounding- -
Scalable event tracking on high-end parallel systems
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 905 ) :: Scalable event tra -
Leveraging Contextual Relationships Between Objects for Localizat
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 903 ) :: Leveraging Context -
Error Controls for Broadcast Communication Systems An Integer Programming Approach to UEP Coding Scheme and A Deterministic Approach to Network Codin
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 899 ) :: Error Controls for
أكثر الكتب زيارة وتحميلاً: