- Hybrid systems
- Computation by abstract devices 3
- Analysis of algorithms and problem complexity 2
- Computación mediante dispositivos abstractos 2
- Programas-Especificación 2
- Programs-Specification 2
- Special-purpose and application-based systems 2
- Análisis de algoritmos y problemas complejos 1
- Análisis de algoritmos y problemas de complejidad 1
- Computación por dispositivos abstractos 1
- Computer systems 1
- Digital control systems 1
- Medical applications 1
- Operating systems-Organization and design 1
- Optimal control problems involving ordinary differential equations 1
- Optimization, problems involving ordinary difererential equations 1
- Programas-Verificación 1
- Programs-Verification 1
- Sistemas con propósito y aplicaciones especiales 1
- Sistemas con propósitos y aplicaciones especiales 1
- Sistemas hibridos 1
- Sistemas híbridos 1
- Sistemas operativos-Organización y diseño 1
- Software-Requeriments and specifications 1
- Software-Requerimientos y aplicaciones 1
- Software-Requerimientos y especificaciones 1
- Software-Requirements and applications 1
- Verification 1
-
1
-
2
-
3
-
4