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
Materias:
Computer system failures
Y
Programming languages (Electronic computers)
Restablecer filtros
Mostrar filtros (2)
Materias:
Computer system failures
Y
Programming languages (Electronic computers)
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer system failures
Programming Languages, Compilers, Interpreters
12
Programming languages (Electronic computers)
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.04s
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
12
Biblioteca
Tecnológico de Costa Rica
12
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...