Refine your search
Availability
-
Authors
-
Item types
-
Locations
-
Series
-
Topics
- Administración de ba...
- Asistencia de diseño...
- Concurrent programmi...
- Data encryption.
- Database management.
- Encriptamiento de da...
- Estructura de datos.
- Formal languages.
- Lenguajes formales.
- Lógica matemática.
- Mathematical logic.
- Modes of computation...
- Probabilidad.
- Probability.
- Program verification...
- Programación concurr...
- Programming language...
- Semantic of programm...
- Specifying and verif...
- Verificación de prog...