علم الحاسوب
-
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 -
HOLCF 11- A Definitional Domain Theory for Verifying Functional
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 936 ) :: HOLCF 11- A Defini -
A Functional Approach to Memory-Safe Operating Systems
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 935 ) :: A Functional Appro -
EPA-RIMM-V- Efficient Rootkit Detection for Virtualized Environme
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 934 ) :: EPA-RIMM-V- Effici -
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 -
On the Effect of Topology on Learning and Generalization in Rando
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 929 ) :: On the Effect of T -
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 -
High Speed Wireless Networking for 60GHz
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 925 ) :: High Speed Wireles -
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
أكثر الكتب زيارة وتحميلاً: