عرض جميع كتب ram
-
Toward a Concurrent Programming Model with Modular Reasoning
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1014 ) :: Toward a Concurre -
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 -
Devices for safety-critical molecular programmed systems
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 999 ) :: Devices for safety -
A Framework for Selecting the Minimal Set of Preferred Responses
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 986 ) :: A Framework for Se -
Collective program analysis
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 985 ) :: Collective program -
Synthesizing species trees from gene trees using the parameterize
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 983 ) :: Synthesizing speci -
A data-driven situation-aware framework for predictive analysis in smart environments
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 982 ) :: A data-driven situ -
Diagram-based intelligent tutoring systems
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 972 ) :: Diagram-based inte -
The Basic Scheme for the Evaluation of Functional Logic Programs
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 966 ) :: The Basic Scheme f -
Extending Relativistic Programming to Multiple Writers
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 963 ) :: Extending Relativi -
Fully Generic Programming Over Closed Universes of InductiveRecursive Types
(0) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 938 ) :: Fully Generic Prog -
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 -
Programmer Friendly Refactoring Tools
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 913 ) :: Programmer Friendl -
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 -
Parameter Estimation in Hybrid Dynamical Systems with Application to Neuronal Models
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 869 ) :: Parameter Estimati -
Interactive Augmented Reality As A Support Tool For Parkinson’s Disease Rehabilitation Programs
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 865 ) :: Interactive Augmen -
On the Interoperability of Programming Languages based on the Fork-Join Parallelism Model
(1) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 843 ) :: On the Interoperab -
State Controlled Object Oriented Programming
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 832 ) :: State Controlled O -
Redesign of Johar a framework for developing accessible applications
(2) رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 811 ) :: Redesign of Johar
أكثر الكتب زيارة وتحميلاً: