- Programming languages
- Lenguajes de programación 247
- Software engineering 38
- Programming techniques 29
- Ingeniería de software 28
- Logics and meanings of programs 25
- Lógica y significado de programas 23
- Mathematical logic 18
- Programación-Técnicas 18
- C++ 16
- JAVA 16
- Lógica matemática 16
- Java 15
- Formal languages 13
- Operating systems 13
- Computer networks 12
- Lenguajes formales 11
- Sistemas operativos 11
- C. 10
- Computation by abstract devices 10
- Redes de computadoras 10
- Concurrent programming 9
- Object-oriented programming 8
- Artificial intelligence 7
- Computación mediante dispositivos abstractos 7
- Deducción y prueba de teoremas 7
- Deduction and theorem proving 7
- Programación orientada a objetos 7
- Automatic programming 6
- Data structures 6
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
The B-book : assigning programs to meanings /
Published 1996Publisher description
Table of contents
Book -
70
-
71
-
72
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
73
-
74
-
75
-
76
-
77
-
78
-
79
CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /
Published 2007Conference Proceeding eBook -
80