Suggested Topics within your search.
Suggested Topics within your search.
- Sistemas con propósito y aplicaciones especiales
- Special-purpose and application-based systems 7
- Program verification 4
- Verificación de programas 4
- Asistencia de diseños 3
- Design aids 3
- Lenguajes de programación 3
- Programming languages 3
- Software-Herramientas y técnicas 3
- Automatic programming 2
- Coding and information theory 2
- Computadoras en otros sistemas 2
- Computers in other systems 2
- Concurrent programming 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Ingeniería de software 2
- Logics and meanings of programs 2
- Lógica matemática 2
- Lógica y significado de programas 2
- Mathematical logic 2
- Object-oriented programming 2
- Operating systems 2
- Programación automática 2
- Programación concurrente 2
- Programación orientada a objetos 2
- Programación secuencial 2
- Sequential programming 2
- Sistemas operativos 2
- Software engineering 2
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
2
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Conference Proceeding Book -
3
-
4
Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
Published 1996Conference Proceeding Book -
5
-
6
-
7
Broadband communications : networks, services, applications, future directions /
Published 1996Conference Proceeding Book -
8
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996Conference Proceeding Book -
9