Handbook of theoretical computer science / edited by Jan van Leeuwen
Tipo de material: TextoDetalles de publicación: Amsterdam ; Oxford : Elsevier, c1990 Descripción: 2 vISBN: 0-444-88075-5; 0262220407, U.S.: set; 0444880712, U.S. : v. A; 0444880747, U.S. : v. B; 0262220407, MIT Press : set; 0262220385, MIT Press : v. A; 0262220393, MIT Press : v. BTema(s): Relational databases | Logic programming | Formal languages | Informática | Bases de datos relacionales | Programación lógica | Lenguajes formalesClasificación CDD: 004
Contenidos:
Vol.A. Algorithms and complexity
Vol.B. Formal models and semantics
Contiene: Vol. A. Algorithms and complexity - Vol. B. Formal models and semantics
Tipo de ítem | Biblioteca de origen | Signatura | Info Vol | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | Bibliografía recomendada |
---|---|---|---|---|---|---|---|---|---|
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol. A: Algorithms and complexity | Texto completo | Prestado | 31/01/2025 | 3702431579 | ||
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol. A: Algorithms and complexity | Texto completo | Prestado | 31/01/2025 | 3707041551 | ||
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol. B: Formal models and semantics | Texto completo | Prestado | 31/01/2025 | 370243156X | ||
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol. B: Formal models and semantics | Texto completo | Prestado | 31/01/2025 | 3707041604 | ||
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol. B: Formal models and semantics | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3720952082 |
MODELOS DE COMPUTACIÓN GRADO EN INGENIERÍA INFORMÁTICA Asignatura actualizada 2023-2024 |
Total de reservas: 0
Navegando 03. BIBLIOTECA INGENIERÍA PUERTO REAL Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Bibliografía - Índices
Vol.A. Algorithms and complexity
Vol.B. Formal models and semantics
Contiene: Vol. A. Algorithms and complexity - Vol. B. Formal models and semantics
No hay comentarios en este titulo.