Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 8 |
| Conocimiento | 1 |
| Código Móvil Seguro (CMS) | 1 |
| Educación | 1 |
| Gramática de Atributos | 1 |
| Java Modeling Language (JML) | 1 |
| Java Web Services | 1 |
| Languages | 8 |
| Lenguajes de Programación | 1 |
| Model Driven Architecture (MDA) | 1 |
| Object-oriented Programming | 1 |
| Orientación a objetos | 1 |
| Proof Carrying Code (PCC) | 1 |
| SOFTWARE ENGINEERING | 1 |
| Semantics | 1 |
| Software | 2 |
| Software/Program Verification | 1 |
| Theory of Computation | 1 |
| UML | 1 |
| Uncertainty, ``fuzzy,'' and probabilistic reasoning | 1 |
| WfMC | 1 |
| Workflow management | 1 |
| análisis lexicográfico | 1 |
| análisis sintáctico | 1 |
| compilador de compiladores | 1 |
| compiladores | 1 |
| concurrencia | 2 |
| código | 1 |
| e-learning | 1 |
| esquemas de traducción | 1 |
| gramáticas de atributos | 1 |
| herramientas | 1 |
| informática | 1 |
| lenguajes | 2 |
| modelado y simulación de workflows | 1 |
| objetos | 1 |
| refactorización | 1 |