Suggested Topics within your search.
Suggested Topics within your search.
- Lenguajes de programación 3
- Programming languages
- Sistemas con propósito y aplicaciones especiales 3
- Automatic programming 2
- Concurrent programming 2
- Ingeniería de software 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
- Special-purpose and application-based systems 2
- Administración de sistemas de computación y de información 1
- Artificial intelligence 1
- Asistencia de diseños 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Design aids 1
- Distributed systems 1
- Inteligencia artificial 1
- Lógica matemática 1
- Management of computing and information systems 1
- Mathematical logic 1
- Program verification 1
- Sistemas distribuidos 1
- Software-Herramientas y técnicas 1
-
1
ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
2
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
3
Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book