Repositorios 3

Software and its engineering Aprendizaje activo 2 Aprendizaje automático 2 Aprendizaje semi supervisado 2 Compilers 2 Diseño de compiladores 2 Expresiones de navegación 2 Forcing 2 Formalización de matemática 2 Framework 2 Ingeniería de software 2 Logic and verification 2 Mathematics of computing-Mathematical optimization 2 Object oriented frameworks 2 Operadores de mutación 2 Programación con tipos dependientes 2 Reparación de programas 2 Simulación 2 Software defect analysis 2 Software testing and debugging 2 Software verification 2 Software verification and validation 2 Teoría de conjuntos 2 Theory of computation 2 Theory of computation-Design and analysis of algorithms 2 Type Theory 2 Algorithms 1 Algoritmos 1 Application specific development environments high relevance 1 Applied computing 1