Refinar su búsqueda
Disponibilidad
-
Autores
- Alagar, Vangalur S. (1)
- Antsaklis, Panos (1)
- Bougé, Luc (1)
- Briggs, Jim (1)
- Fraigniaud, Pierre (1)
- Garg, Hari Krishna (1)
- Grumberg, Orna (1)
- Guardia, Carlos de l... (1)
- Hermanns, Holger (1)
- Kohn, Wolf (1)
- Koob, Gary M. (1)
- Mcdonough, Chris (1)
- McKay, Andy (1)
- Nerode, Anil (1)
- Nivat, Maurice (2)
- Sastry, Shankar (1)
- Steiglitz, Kenneth (1)
- Weitershausen, Phili... (1)
- Wirsing, Martin (1)
- Ziomek, Lawrence J. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (15)
-
Ubicaciones
-
Series
- Computer engineering... (1)
- Expert's voice in op... (1)
- Lecture notes in com... (7)
- LNCS (6)
-
Temas
- Administración de ba... (2)
- Asistencia de diseño... (2)
- Database management (2)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Ingenieria de softwa... (3)
- Logic programming (2)
- Logics and meanings ... (3)
- Lógica matemática (3)
- Lógica y significado... (4)
- Mathematical logic (4)
- Operating systems (3)
- Programming language... (4)
- Sistemas con propósi... (9)
- Sistemas operativos (3)
- Software engineering (8)
- Special-purpose and ... (8)
- Special-purpose and ... (6)
- Mostrar más
- Mostrar menos