عرض جميع كتب M-H
-
An automated approach to program repair with semantic code search
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1029 ) :: An automated appr -
Automated blackbox GUI specifications enhancement and test data generation
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1026 ) :: Automated blackbo -
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 -
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 -
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 -
A formal language towards the unification of model checking and performance evaluation
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 998 ) :: A formal language -
Monitoring students- growth using system dynamics
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 995 ) :: Monitoring student -
The design and implementation of Candoia- A platform for building and sharing mining software repositories tools as apps
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 994 ) :: The design and imp -
Benchmarking Graph Databases with Cyclone Benchmark
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 991 ) :: Benchmarking Graph -
A Framework for Selecting the Minimal Set of Preferred Responses
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 986 ) :: A Framework for Se -
Synthesizing species trees from gene trees using the parameterize
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 983 ) :: Synthesizing speci -
A situation-centric, knowledge-driven requirements elicitation approach
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 978 ) :: A situation-centri -
A hybrid approach for selecting and optimizing graph traversal strategy for analyzing big code
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 976 ) :: A hybrid approach -
Integration of lifetime-balancing schemes in wireless sensor networks
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 975 ) :: Integration of lif
أكثر الكتب زيارة وتحميلاً: