Suggested Topics within your search.
Suggested Topics within your search.
- Software-Herramientas y técnicas 12
- Software-Tools and techniques
- Logics and meanings of programs 4
- Lógica y significado de programas 4
- Program verification 4
- Verificación de programas 4
- Distributed systems 3
- Language classifications 3
- Sistemas distribuidos 3
- Software-Design 3
- Software-Diseño 3
- Algoritmos no numéricos y problemas 2
- Applicative programming 2
- Asistencia de diseños 2
- Computer-aided engineering 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Design aids 2
- Geometría computacional y modelado de objetos 2
- Graph theory 2
- Lenguajes de programación 2
- Nonnumerical algorithms and problems 2
- Programación aplicativa 2
- Programming languages 2
- Sistemas con propósito y aplicaciones especiales 2
- Software-Requerimientos y especificaciones 2
- Software-Requirements and specifications 2
- Teoría de grafos 2
- Administración de base de datos 1
- Administrative data processing 1
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
2
-
3
-
4
Tools and algorithms for the construction and analysis of systems /
Published 1997Conference Proceeding Book -
5
-
6
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /
Published 1996Conference Proceeding Book -
7
Tools and algorithms for the construction and analysis of systems /
Published 1996Conference Proceeding Book -
8
-
9
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Conference Proceeding Book -
10
Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /
Published 1996Conference Proceeding Book -
11
-
12