Now showing items 1-20 of 42
Subject |
---|
RAISE [1] |
Random algorithm [1] |
Random graphs [1] |
Rank [1] |
Reactive systems [3] |
Real-time systems [1] |
Real-world application [1] |
Recall performance [1] |
Reconstruction [2] |
Records [1] |
Recovery [3] |
Recovery techniques [1] |
Recursion [1] |
Recursive enumerability [1] |
Recursive specifications [1] |
Reduction and synthesis transformations [1] |
Refinement [2] |
Regular expressions [1] |
Relation algebras [1] |
Relational [1] |
Now showing items 1-20 of 42