- Sistemas con propósito y aplicación especial 10
- Software engineering 8
- Special-purpose and application-based systems 8
- Programming languages 6
- Special-purpose and applications-based systems 6
- Lógica matemática 4
- Lógica y significado de programas 4
- Mathematical logic 4
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Ingenieria de software 3
- Logics and meanings of programs 3
- Operating systems 3
- Sistemas operativos 3
- Administración de bases de datos 2
- Asistencia de diseños 2
- Database management 2
- Design aids 2
- Formal languages 2
- Lenguajes de programación 2
- Lenguajes formales 2
- Logic programming 2
- Procesadores-Arquitectura 2
- Program verification 2
- Programación en lógica 2
- Verificación de programas 2
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Análisis numérico 1
- Automatic programming 1
-
1
A digital signal processing primer : with applications to digital audio and computer music /
Published 1996Subjects: “…Sistemas con propósito y aplicación especial.…”
Book -
2
Digital signal processing algorithms : number theory, convolution, fast Fourier transforms and applications /
Published 1998Subjects: “…Sistemas con propósito y aplicación especial.…”
Book -
3
Fundamentals of acoustic field theory and space-time signal processing /
Published 1995Subjects:Book -
4
-
5
Foundations of real-time computing : scheduling and resource mangement /
Published 1991Subjects: “…Sistemas con propósito y aplicación especial.…”
Book -
6
Grok 1.0 web development : create flexible, agile web applications using the power of Grok : a Python web framework /
Published 2010Subjects:eBook -
7
-
8
-
9
-
10
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Subjects:Conference Proceeding Book -
11
-
12
Reliable software technologies - ADA-Europe'97 /
Published 1997Subjects:Conference Proceeding Book -
13
-
14
-
15
Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book