Refinar su búsqueda
Disponibilidad
-
Autores
- Albers, Susanne B. (2)
- Backhouse, Roland C. (2)
- Birtwistle, Graham M... (1)
- Blanco, Javier Oscar (3)
- Broy, Manfred (2)
- D'Argenio, Pedro Rub... (2)
- Dijkstra, Edsger Wyb... (2)
- Feijen, W. H. J. (2)
- Grumberg, Orna (2)
- Heering, Jan (2)
- Katoen, Joost-Pieter (2)
- Matias, Yossi (2)
- Meinke, Karl (2)
- Montanari, Ugo (2)
- Möller, Bernhard (2)
- Nikoletseas, Sotiris (2)
- Nivat, Maurice (2)
- Padawitz, Peter (1)
- Thomas, Wolfgang (2)
- Wolovick, Nicolás (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (98)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (4)
-
Ubicaciones
- Depósito Interno (2)
- Secc. Tesis y Trabajos especiales (4)
- Sección Computación (41)
- Sección Lecture Notes (57)
- Vitrina (1)
-
Series
- Advanced research in... (1)
- Cambridge tracts in ... (4)
- CTIT Ph D-thesis ser... (1)
- EATCS monographs on ... (2)
- EATCS series (1)
- International series... (1)
- Lecture notes in com... (56)
- LNCS (51)
- Monographs in comput... (3)
- Prentice-Hall series... (1)
- Prentice-Hall series... (1)
- Texts and monographs... (1)
- 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... (10)
- Computation by abstr... (15)
- Computer networks (6)
- Deducción y prueba d... (10)
- Deduction and theore... (10)
- Formal languages (28)
- Ingeniería de softwa... (10)
- Lenguajes de program... (21)
- Lenguajes formales (25)
- Logics and meanings ... (90)
- Lógica matemática (25)
- Lógica y significado... (74)
- Mathematical logic (32)
- Programación-Técnica... (7)
- Programming language... (22)
- Programming techniqu... (15)
- Software engineering (16)
- Software-Herramienta... (6)
- Mostrar más
- Mostrar menos