Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Bartosek, Miroslav (1)
- Bidoit, Michel (1)
- Bougé, Luc (1)
- Börger, Egon (1)
- Dauchet, Max (1)
- Degano, Pierpaolo (1)
- Fraigniaud, Pierre (1)
- Freuder, Eugene (2)
- Gorrieri, Roberto (1)
- Jampel, Michael (1)
- Langmaack, Hans (1)
- Maher, Michael (1)
- Marchetti-Spaccamela... (1)
- Mazurkiewiczs, Anton... (1)
- Montanari, Ugo (1)
- Sassone, Vladimiro (1)
- Staudek, Jan (1)
- Wiedermann, Jiri (1)
- Winkowski, Józef (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (9)
-
Ubicaciones
-
Series
- Lecture notes in com... (9)
- LNCS (7)
-
Temas
- Análisis de algoritm... (2)
- Clasificación de len... (2)
- Computación mediante... (4)
- Computation by abstr... (5)
- Computer networks (4)
- Database management (2)
- Deducción y prueba d... (2)
- Ingeniería de softwa... (4)
- Lenguajes de program... (6)
- Logics and meanings ... (3)
- Lógica matemática (2)
- Lógica y significado... (3)
- Mathematical logic-C... (2)
- Operating systems (2)
- Programación-Técnica... (9)
- Programming language... (6)
- Programming techniqu... (9)
- Redes de computadora... (4)
- Semantics of program... (2)
- Software engineering (4)
- Mostrar más
- Mostrar menos