Refinar su búsqueda
Disponibilidad
-
Autores
- Berardi, Stefano (1)
- Coppo, Mario (1)
- Freuder, Eugene (1)
- Halstead, jr., Rober... (1)
- Ito, Takayasu (1)
- Kuper, Gabriel (1)
- Queinnec, Christian (1)
- Wallace, Mark (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (4)
-
Ubicaciones
-
Series
- Lecture notes in com... (4)
- LNCS (4)
-
Temas
- Administración de ba... (1)
- Clasificación de len... (2)
- Concurrent programmi... (2)
- Construcción y carac... (4)
- Data structures (1)
- Database management (1)
- Deducción y prueba d... (2)
- Deduction and theore... (2)
- Distributed systems (1)
- Estructura de datos (1)
- Language classificat... (2)
- Language constructs ... (4)
- Mathematical logic-C... (2)
- Multiple data stream... (1)
- Processors (1)
- Programación concurr... (2)
- Semantics of program... (1)
- Sistemas distribuido... (1)
- Software-Tools and t... (1)
- Mostrar más
- Mostrar menos