Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (2)
- Bouajjani, Ahmed (1)
- Bougé, Luc (1)
- Briggs, Jim (1)
- Colbrook, Adrian (1)
- Grumberg, Orna (1)
- Henzinger, Thomas A. (2)
- Hlawiczka, Andrzej (1)
- Jones, Robert Brent (1)
- Liddell, Heather (1)
- Maler, Oded (1)
- Moreno-Díaz, Roberto (1)
- Nivat, Maurice (2)
- Peters, James (1)
- Pichler, Franz (1)
- Preneel, Bart (1)
- Sassone, Vladimiro (1)
- Sastry, Shankar (1)
- Steiglitz, Kenneth (1)
- Ziomek, Lawrence J. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (26)
-
Ubicaciones
- Sección Computación (5)
- Sección Lecture Notes (21)
-
Series
- Lecture notes in com... (21)
- LNCS (17)
- Microelectronics and... (1)
-
Temas
- Analysis of algorith... (4)
- Asistencia de diseño... (5)
- Computers in other s... (4)
- Deducción y prueba d... (5)
- Deduction and theore... (5)
- Design aids (6)
- Lenguajes de program... (4)
- Logics and meanings ... (6)
- Lógica matemática (5)
- Lógica y significado... (6)
- Mathematical logic (7)
- Procesadores-Arquite... (4)
- Program verification (7)
- Programming language... (4)
- Sistemas con propósi... (8)
- Sistemas con propósi... (7)
- Software engineering (5)
- Software-Herramienta... (4)
- Special-purpose and ... (23)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos