Mostrando
1 - 6
Resultados de
6
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
Autor:
SpringerLink (Online service)
Materias:
Computer system failures
Y
Logics and Meanings of Programs
Restablecer filtros
Mostrar filtros (3)
Autor:
SpringerLink (Online service)
Materias:
Computer system failures
Y
Logics and Meanings of Programs
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer logic
6
Computer system failures
Logics and Meanings of Programs
System Performance and Evaluation
6
Software Engineering
5
Software engineering
5
Artificial Intelligence
4
más ...
Artificial intelligence
4
Computers
4
Computer simulation
3
Programming Languages, Compilers, Interpreters
3
Programming languages (Electronic computers)
3
Simulation and Modeling
3
The Computing Profession
3
Mathematical statistics
2
Probability and Statistics in Computer Science
2
Computation by Abstract Devices
1
Computer programming
1
Mathematical Logic and Formal Languages
1
Mathematical logic
1
Programming Techniques
1
menos ...
Mostrando
1 - 6
Resultados de
6
Para Buscar '
*
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
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
2
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
3
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
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
6
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 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
6
Biblioteca
Tecnológico de Costa Rica
6
Formato
eBook
6
Autor
SpringerLink (Online service)
Ayala-Rincón, Mauricio
1
Bertrand, Nathalie
1
Bortolussi, Luca
1
Bowen, Jonathan P.
1
Di Marco, Antinisca
1
más ...
Kunčak, Viktor
1
Liu, Zhiming
1
Majumdar, Rupak
1
Muñoz, César A.
1
Reinecke, Philipp
1
Romanovsky, Alexander
1
Troubitsyna, Elena A.
1
Zhang, Zili
1
ver todos ...
menos ...
Lenguaje
English
6
Año de Publicación
De:
a:
×
Cargando...