Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Bjorner, Dines (1)
- Blumenthal, Brad (1)
- Bowen, Jonathan Pete... (2)
- Broy, Manfred (2)
- Campolargo, Mario (2)
- Díaz de Ilarraza Sán... (1)
- Gornostaev, Juri (1)
- Hinchey, Michael Ger... (1)
- Lee, Jaejoon (1)
- Lesgold, Alan (1)
- Matsuoka, Satoshi (1)
- Mullery, Al (1)
- Müller, Jörg P. (2)
- Nivat, Maurice (2)
- Perram, John W. (2)
- Popescu-Zeletin, Rad... (1)
- Staudek, Jan (1)
- Wiedermann, Jiri (2)
- Wooldridge, Michael ... (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (57)
-
Ubicaciones
-
Series
- LNCS (1)
- Lectrure notes in co... (1)
- Lecture notes in art... (5)
- Lecture notes in com... (56)
- LNCS (39)
-
Temas
- Administración de si... (8)
- Administrative data ... (8)
- Artificial intellige... (9)
- Database management (7)
- Distributed systems (12)
- Formal languages (9)
- Ingeniería de softwa... (52)
- Inteligencia artific... (8)
- Lenguajes de program... (22)
- Lenguajes formales (9)
- Logics and meanings ... (12)
- Lógica y significado... (13)
- Management of comput... (9)
- Mathematical logic (8)
- Programación-Técnica... (15)
- Programming language... (21)
- Programming techniqu... (15)
- Sistemas distribuido... (12)
- Sistemas operativos (8)
- Software engineering (54)
- Mostrar más
- Mostrar menos