عرض جميع كتب a-s
-
The Link Between Image Segmentation and Image Recognition
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 943 ) :: The Link Between I -
Irrelevance Polymorphism and Erasure in Type Theory
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 942 ) :: Irrelevance Polymo -
Practical Type Inference for the GADT Type System
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 941 ) :: Practical Type Inf -
Scalable and Efficient Tasking for Dynamic Sensor Networks
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 940 ) :: Scalable and Effic -
Computational Techniques for Reducing Spectra of the Giant Planet
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 939 ) :: Computational Tech -
Fully Generic Programming Over Closed Universes of InductiveRecursive Types
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 938 ) :: Fully Generic Prog -
Semantic Components- A Model for Enhancing Retrieval of Domain-
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 937 ) :: Semantic Component -
A Functional Approach to Memory-Safe Operating Systems
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 935 ) :: A Functional Appro -
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 -
An Automata-Theoretic Approach to Hardware Software Co-verificati
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 931 ) :: An Automata-Theore -
Novel Cryptographic Primitives and Protocols for Censorship Resistance
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 930 ) :: Novel Cryptographi -
Fairness and Privacy Violations in Black-Box Personalization
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 928 ) :: Fairness and Priva -
Factoring Semiprimes Using PG2N Prime Graph Multiagent Search
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 927 ) :: Factoring Semiprim -
Certifying Loop Pipelining Transformations in Behavioral Synthesi
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 926 ) :: Certifying Loop Pi -
Advances in Piecewise Smooth Image Reconstruction
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 924 ) :: Advances in Piecew -
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 -
Addressing Automated Adversaries of Network Applications
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 921 ) :: Addressing Automat -
Development Optimization and Integration of Inline Phase-Change
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 920 ) :: Development Optimi
أكثر الكتب زيارة وتحميلاً: