Mostrando
1 - 4
Resultados de
4
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
Lenguaje:
English
Materias:
Computer simulation
Y
Computers
Y
Theory of Computation
Restablecer filtros
Mostrar filtros (4)
Lenguaje:
English
Materias:
Computer simulation
Y
Computers
Y
Theory of Computation
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer simulation
Computers
Simulation and Modeling
4
Software engineering
4
Theory of Computation
Software Engineering
3
Artificial Intelligence
2
más ...
Artificial intelligence
2
Computer system failures
2
Programming Languages, Compilers, Interpreters
2
Programming languages (Electronic computers)
2
System Performance and Evaluation
2
The Computing Profession
2
Arithmetic and Logic Structures
1
Arithmetic and logic units, Computer
1
Computer Systems Organization and Communication Networks
1
Computer organization
1
Computer science—Mathematics
1
Mathematics of Computing
1
Software Engineering/Programming and Operating Systems
1
menos ...
Mostrando
1 - 4
Resultados de
4
Para Buscar '
*
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
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
4
Biblioteca
Tecnológico de Costa Rica
4
Formato
eBook
4
Autor
SpringerLink (Online service)
4
Aceto, Luca
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Barbosa, Jorge
1
Camacho, Rui
1
más ...
Cavalheiro, Simone
1
Dutra, Inês
1
Fiadeiro, José
1
Ingólfsdóttir, Anna
1
Legay, Axel
1
Mardare, Radu
1
Marques, Osni
1
Paskevich, Andrei
1
Wies, Thomas
1
ver todos ...
menos ...
Lenguaje
English
Año de Publicación
De:
a:
×
Cargando...