Suggested Topics within your search.
Suggested Topics within your search.
- Special-purpose and application-based systems 2
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Deducton and theorem proving 1
- Design aids 1
- Hybrid systems 1
- Logics and meanings of programs 1
- Mathematical logic 1
- Operating systems-Organization and design 1
- Program verification 1
- Programas-Especificación 1
- Programs-Specification 1
- Sistemas con propósito y aplicaciones especiales 1
- Sistemas hibridos 1
- Sistemas operativos-Organización y diseño 1
- Software-Requeriments and specifications 1
- Software-Requerimientos y especificaciones 1
- Tools and techniques 1
-
1
-
2