Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (2)
- Bird, Richard (2)
- Christiansen, Tom (3)
- Dybjer, Peter (2)
- Glass, Graham (2)
- Harold, Elliotte Rus... (2)
- Jazayeri, Mehdi (2)
- Maibaum, Thomas S. E... (2)
- Manes, Ernest G. (2)
- Mitchell, John C. (2)
- Morville, Peter (2)
- Murray, William H. (4)
- Pappas, Chris H. (3)
- Parrow, Joachim (2)
- Ritchie, Dennis M. (2)
- Steele, Guy (2)
- Stroustrup, Bjarne (3)
- Teukolsky, Saul Arno (2)
- Vetterling, William ... (2)
- Zukowski, John (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (19)
- Libro (303)
- LIBRO | CD (1)
-
Ubicaciones
- Colección de CD/DVD (1)
- Sección Computación (221)
- Sección Educación (1)
- Sección Lecture Notes (74)
- Sección Matemática (6)
-
Series
- Biblioteca del progr... (2)
- C++ in-depth series (1)
- Cambridge tracts in ... (4)
- DevelopMentor series... (1)
- Expert's voice in op... (2)
- Expert’s voice in op... (1)
- In a nutshell (1)
- International comput... (5)
- Lecture notes in com... (71)
- LNCS (54)
- Nutshell handbook (4)
- Prentice-Hall intern... (11)
- Texts in computation... (2)
- The Definitive guide... (1)
- The expert's voice i... (1)
- The Java series (11)
- Mostrar más
- Mostrar menos
-
Temas
- C++ (11)
- Computer networks (12)
- Concurrent programmi... (11)
- Deducción y prueba d... (10)
- Formal languages (15)
- Ingeniería de softwa... (33)
- JAVA. (16)
- Lenguajes de program... (225)
- Lenguajes formales (13)
- Logics and meanings ... (24)
- Lógica matemática (13)
- Lógica y significado... (22)
- Mathematical logic (16)
- Programación-Técnica... (24)
- Programming language... (266)
- Programming techniqu... (31)
- Semantics of program... (17)
- Semántica de lenguaj... (12)
- Software engineering (38)
- Mostrar más
- Mostrar menos