Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (2)
- Alur, Rajeev (2)
- Broy, Manfred (3)
- Börger, Egon (3)
- Calmet, Jacques (3)
- Campolargo, Mario (2)
- Dehne, Frank (2)
- Dongarra, Jack (3)
- Hebert, Martial (2)
- Heering, Jan (2)
- Marchetti-Spaccamela... (2)
- Matsuoka, Satoshi (2)
- Meijer, Erik (2)
- Meinke, Karl (3)
- Nerode, Anil (3)
- Parrow, Joachim (2)
- Perram, John W. (2)
- Preneel, Bart (3)
- Rozenberg, Grzegorz (2)
- Wasniewski, Jerzy (3)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (400)
-
Ubicaciones
- Sección Computación (1)
- Sección Lecture Notes (399)
-
Series
- LNCS (1)
- Advanced research in... (1)
- Lecture notes in art... (61)
- Lecture notes in ati... (1)
- Lecture notes in com... (395)
- Lecture Notes in Com... (4)
- Lecture Notes in com... (1)
- LNCS (267)
- Mostrar más
- Mostrar menos
-
Temas
- Analysis of algorith... (44)
- Análisis de algoritm... (43)
- Artificial intellige... (69)
- Computation by abstr... (37)
- Computer networks (39)
- Database management (36)
- Deducción y prueba d... (38)
- Deduction and theore... (37)
- Discrete mathematics (37)
- Formal languages (37)
- Ingeniería de softwa... (51)
- Inteligencia artific... (70)
- Lenguajes de program... (50)
- Lenguajes formales (36)
- Logics and meanings ... (56)
- Lógica y significado... (53)
- Mathematical logic (37)
- Programming language... (54)
- Redes de computadora... (38)
- Software engineering (60)
- Mostrar más
- Mostrar menos