Mostrando
1 - 2
Resultados de
2
Para Buscar '
*
'
Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Restablecer filtros
Autor:
Bouajjani, Ahmed
Restablecer filtros
Mostrar filtros (1)
Autor:
Bouajjani, Ahmed
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer Communication Networks
2
Computer communication systems
2
Computer logic
2
Logics and Meanings of Programs
2
Mathematical Logic and Formal Languages
2
Mathematical logic
2
Software Engineering
2
más ...
Software engineering
2
Artificial Intelligence
1
Artificial intelligence
1
Computation by Abstract Devices
1
Computers
1
Programming Languages, Compilers, Interpreters
1
Programming languages (Electronic computers)
1
menos ...
Mostrando
1 - 2
Resultados de
2
Para Buscar '
*
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Confere...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Atrás
Afine su búsqueda
Institución
Tecnológico de Costa Rica
2
Biblioteca
Tecnológico de Costa Rica
2
Formato
eBook
2
Autor
Bouajjani, Ahmed
SpringerLink (Online service)
2
Monniaux, David
1
Silva, Alexandra
1
Lenguaje
English
2
Año de Publicación
De:
a:
×
Cargando...