Mostrando
1 - 9
Resultados de
9
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:
Computers
Y
Programming Languages, Compilers, Interpreters
Y
Programming Techniques
Restablecer filtros
Mostrar filtros (3)
Materias:
Computers
Y
Programming Languages, Compilers, Interpreters
Y
Programming Techniques
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer programming
9
Computers
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
9
Software Engineering
6
Software engineering
6
más ...
Computer system failures
5
System Performance and Evaluation
5
The Computing Profession
5
Computer logic
4
Logics and Meanings of Programs
4
Computation by Abstract Devices
2
Mathematical Logic and Formal Languages
2
Mathematical logic
2
Theory of Computation
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Application software
1
Architecture, Computer
1
Artificial Intelligence
1
Artificial intelligence
1
Computer Hardware
1
Computer System Implementation
1
Computer hardware
1
Computers and Society
1
Computers and civilization
1
Computing Milieux
1
Information Systems Applications (incl. Internet)
1
Operating Systems
1
menos ...
Mostrando
1 - 9
Resultados de
9
Para Buscar '
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Introducing Materialize /
por
Prabhu, Anirudh.
,
Shenoy, Aravind.
Publicado 2016
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
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
3
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017...
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 II /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
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
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
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
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
9
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
9
Biblioteca
Tecnológico de Costa Rica
9
Formato
eBook
9
Autor
SpringerLink (Online service)
9
Anjorin, Anthony
1
Botterweck, Goetz
1
Bowen, Jonathan P.
1
Chang, Bor-Yuh Evan
1
Cimatti, Alessandro
1
más ...
Espinoza, Huáscar
1
Kunčak, Viktor
1
Liu, Zhiming
1
Majumdar, Rupak
1
Mousavi, Mohammad Reza
1
Prabhu, Anirudh
1
Sgall, Jiří
1
Shenoy, Aravind
1
Sirjani, Marjan
1
Werner, Claudia
1
Yang, Hongseok
1
Zhang, Zili
1
ver todos ...
menos ...
Lenguaje
English
9
Año de Publicación
De:
a:
×
Cargando...