Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Barthe, Gilles (2)
- Birtwistle, Graham M... (1)
- Blanco, Javier Oscar (3)
- Broy, Manfred (2)
- Grumberg, Orna (2)
- Heering, Jan (2)
- Hermanns, Holger (2)
- Katoen, Joost-Pieter (2)
- Meinke, Karl (3)
- Moller, Faron (1)
- Montanari, Ugo (2)
- Möller, Bernhard (2)
- Nivat, Maurice (2)
- Padawitz, Peter (1)
- Parrow, Joachim (1)
- Pierce, Benjamin C. (1)
- Turbak, Franklyn Alb... (1)
- Wirth, Niklaus (2)
- Wolovick, Nicolás (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (93)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (3)
-
Ubicaciones
- Depósito Interno (3)
- Secc. Tesis y Trabajos especiales (3)
- Sección Computación (37)
- Sección Lecture Notes (56)
- Vitrina (1)
-
Series
- Cambridge tracts in ... (3)
- CTIT Ph D-thesis ser... (1)
- EATCS monographs on ... (2)
- EATCS series (1)
- International series... (1)
- Lecture notes in com... (57)
- LNCS (46)
- Monographs in comput... (1)
- Prentice-Hall series... (1)
- Prentice-Hall series... (1)
- Texts and monographs... (3)
- Texts in computer sc... (1)
- Texts in theoretical... (2)
- Mostrar más
- Mostrar menos
-
Temas
- Analysis of algorith... (11)
- Análisis de algoritm... (10)
- Computación mediante... (11)
- Computation by abstr... (13)
- Computer networks (6)
- Deducción y prueba d... (12)
- Deduction and theore... (10)
- Formal languages (27)
- Ingeniería de softwa... (11)
- Lenguajes de program... (23)
- Lenguajes formales (28)
- Logics and meanings ... (75)
- Lógica matemática (29)
- Lógica y significado... (83)
- Mathematical logic (28)
- Programación-Técnica... (8)
- Programming language... (21)
- Programming techniqu... (9)
- Software engineering (13)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos