عرض جميع كتب M-I-S
-
An automated approach to program repair with semantic code search
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1029 ) :: An automated appr -
Mutual dimension data processing inequalities and randomness
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1028 ) :: Mutual dimension -
Algorithmic randomness and analysis
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1027 ) :: Algorithmic rando -
Automated blackbox GUI specifications enhancement and test data generation
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1026 ) :: Automated blackbo -
A User Configurable B-tree Implementation as a Utility
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1025 ) :: A User Configurab -
Randomness in completeness and space-bounded computations
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1022 ) :: Randomness in com -
Verification of Well-formedness in Message-Passing Asynchronous Systems modeled as Communicating Finite-State Machines
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1019 ) :: Verification of W -
Modular and Robust Computation with Deterministic Chemical Reaction Networks
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1017 ) :: Modular and Robus -
Improving testing performance by dynamic prioritization of tests
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1016 ) :: Improving testing -
A new framework of decentralized social networks
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1015 ) :: A new framework o -
Toward a Concurrent Programming Model with Modular Reasoning
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1014 ) :: Toward a Concurre -
Targeted Influence Maximization In Labeled Social Networks with Non-Target Constraints
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1013 ) :: Targeted Influenc -
Formal foundations for hybrid effect analysis
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1012 ) :: Formal foundation -
PaniniJ adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1009 ) :: PaniniJ adding th -
Negotiation Based Resource Allocation to Control Information Diffusion
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1008 ) :: Negotiation Based -
Abstraction and performance together at last- auto-tuning messag
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1007 ) :: Abstraction and p -
Computing change of invariants to support software evolution
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1006 ) :: Computing change -
Syntax errors identification from compiler error messages using ML techniques
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1005 ) :: Syntax errors ide -
Data augmentation for supervised learning with generative adversa
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1003 ) :: Data augmentation -
Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1000 ) :: Exploiting implic
أكثر الكتب زيارة وتحميلاً: