Mostrando
1 - 3
Resultados de
3
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
Materias:
Artificial intelligence
Y
Computer system failures
Y
Computers
Restablecer filtros
Mostrar filtros (3)
Materias:
Artificial intelligence
Y
Computer system failures
Y
Computers
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
3
Artificial intelligence
Computer system failures
Computers
Software Engineering
3
Software engineering
3
System Performance and Evaluation
3
más ...
Computer logic
2
Logics and Meanings of Programs
2
Programming Languages, Compilers, Interpreters
2
Programming languages (Electronic computers)
2
The Computing Profession
2
Computer programming
1
Computer simulation
1
Programming Techniques
1
Simulation and Modeling
1
Theory of Computation
1
menos ...
Mostrando
1 - 3
Resultados de
3
Para Buscar '
*
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 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
3
Biblioteca
Tecnológico de Costa Rica
3
Formato
eBook
3
Autor
SpringerLink (Online service)
3
Cimatti, Alessandro
1
Kunčak, Viktor
1
Majumdar, Rupak
1
Romanovsky, Alexander
1
Sirjani, Marjan
1
más ...
Troubitsyna, Elena A.
1
ver todos ...
menos ...
Lenguaje
English
3
Año de Publicación
De:
a:
×
Cargando...