Mostrando
1 - 5
Resultados de
5
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:
Algorithm Analysis and Problem Complexity
Y
Computer logic
Y
Computer simulation
Restablecer filtros
Mostrar filtros (3)
Materias:
Algorithm Analysis and Problem Complexity
Y
Computer logic
Y
Computer simulation
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithm Analysis and Problem Complexity
Algorithms
5
Computer logic
Computer simulation
Logics and Meanings of Programs
5
Simulation and Modeling
5
Mathematical Logic and Formal Languages
4
más ...
Mathematical logic
4
Software Engineering
4
Software engineering
4
Artificial Intelligence
2
Artificial intelligence
2
Programming Languages, Compilers, Interpreters
2
Programming languages (Electronic computers)
2
Computation by Abstract Devices
1
Computers
1
Numeric Computing
1
Numerical analysis
1
menos ...
Mostrando
1 - 5
Resultados de
5
Para Buscar '
'
, tiempo de consulta: 0.01s
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
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
3
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 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
5
Biblioteca
Tecnológico de Costa Rica
5
Formato
eBook
5
Autor
SpringerLink (Online service)
5
Abate, Alessandro
2
Battiti, Roberto
1
Boldo, Sylvie
1
Geeraerts, Gilles
1
Ghosh, Sujata
1
más ...
Katoen, Joost-Pieter
1
Kvasov, Dmitri E.
1
Langerak, Rom
1
Prasad, Sanjiva
1
Rensink, Arend
1
Sergeyev, Yaroslav D.
1
ver todos ...
menos ...
Lenguaje
English
5
Año de Publicación
De:
a:
×
Cargando...