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
Materias:
Computer logic
Y
Computer simulation
Y
Computers
Restablecer filtros
Mostrar filtros (3)
Materias:
Computer logic
Y
Computer simulation
Y
Computers
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer logic
Computer simulation
Computers
Logics and Meanings of Programs
4
Simulation and Modeling
4
Computation by Abstract Devices
3
Artificial Intelligence
2
más ...
Artificial intelligence
2
Computer system failures
2
Software Engineering
2
Software engineering
2
System Performance and Evaluation
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Mathematical statistics
1
Numeric Computing
1
Numerical analysis
1
Probability and Statistics in Computer Science
1
Programming Languages, Compilers, Interpreters
1
Programming languages (Electronic computers)
1
The Computing Profession
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
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
2
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
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
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
Artho, Cyrille
1
Battiti, Roberto
1
Bertrand, Nathalie
1
Bortolussi, Luca
1
Kunčak, Viktor
1
más ...
Kvasov, Dmitri E.
1
Majumdar, Rupak
1
Sergeyev, Yaroslav D.
1
Ölveczky, Peter Csaba
1
ver todos ...
menos ...
Lenguaje
English
4
Año de Publicación
De:
a:
×
Cargando...