Mostrando
1 - 12
Resultados de
12
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
Biblioteca:
Tecnológico de Costa Rica
Institución:
Tecnológico de Costa Rica
Materias:
Computer system failures
Y
Programming Languages, Compilers, Interpreters
Restablecer filtros
Mostrar filtros (4)
Biblioteca:
Tecnológico de Costa Rica
Institución:
Tecnológico de Costa Rica
Materias:
Computer system failures
Y
Programming Languages, Compilers, Interpreters
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer system failures
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
12
System Performance and Evaluation
12
Software Engineering
8
Software engineering
8
Computer programming
7
más ...
Programming Techniques
7
Computers
6
The Computing Profession
5
Artificial Intelligence
4
Artificial intelligence
4
Application software
3
Computer logic
3
Information Systems Applications (incl. Internet)
3
Logics and Meanings of Programs
3
Computer Communication Networks
2
Computer communication systems
2
Theory of Computation
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Architecture, Computer
1
Circuits and Systems
1
Coding and Information Theory
1
Coding theory
1
Computer Hardware
1
Computer System Implementation
1
Computer hardware
1
Computer science—Mathematics
1
Computer security
1
menos ...
Mostrando
1 - 12
Resultados de
12
Para Buscar '
*
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Economics of Grids, Clouds, Systems, and Services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
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
5
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
Publicado 2009
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
6
Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
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
8
Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
9
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
11
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
12
Mastering Scale and Complexity in Software Reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 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
Biblioteca
Tecnológico de Costa Rica
Formato
eBook
12
Autor
SpringerLink (Online service)
12
Altmann, Jörn
1
Anjorin, Anthony
1
Ayala-Rincón, Mauricio
1
Bañares, José Ángel
1
Bhiri, Sami
1
más ...
Botterweck, Goetz
1
Bowen, Jonathan P.
1
Chang, Bor-Yuh Evan
1
Charoy, François
1
Cimatti, Alessandro
1
Drira, Khalil
1
Espinoza, Huáscar
1
Lahiri, Shuvendu
1
Liu, Zhiming
1
Mendling, Jan
1
Mohamed, Mohamed
1
Muñoz, César A.
1
Pham, Congduc
1
Plump, Detlef
1
Radetzki, Martin
1
Reger, Giles
1
Romanovsky, Alexander
1
Sirjani, Marjan
1
Troubitsyna, Elena A.
1
Wang, Hongbing
1
Wang, Yan
1
Wang, Zhongjie
1
Werner, Claudia
1
Yan, Yuhong
1
ver todos ...
menos ...
Lenguaje
English
12
Año de Publicación
De:
a:
×
Cargando...