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
Materias:
Artificial Intelligence
Y
Simulation and Modeling
Y
The Computing Profession
Restablecer filtros
Mostrar filtros (3)
Materias:
Artificial Intelligence
Y
Simulation and Modeling
Y
The Computing Profession
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
2
Computer simulation
2
Computers
2
Simulation and Modeling
Software Engineering
2
Software engineering
2
más ...
The Computing Profession
Computer logic
1
Computer system failures
1
Logics and Meanings of Programs
1
Programming Languages, Compilers, Interpreters
1
Programming languages (Electronic computers)
1
System Performance and Evaluation
1
Theory of Computation
1
menos ...
Mostrando
1 - 2
Resultados de
2
Para Buscar '
'
, tiempo de consulta: 0.12s
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
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
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
SpringerLink (Online service)
2
Kunčak, Viktor
1
Majumdar, Rupak
1
Paskevich, Andrei
1
Wies, Thomas
1
Lenguaje
English
2
Año de Publicación
De:
a:
×
Cargando...