Mostrando
1 - 4
Resultados de
4
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
Computers
Y
Programming Languages, Compilers, Interpreters
Restablecer filtros
Mostrar filtros (3)
Materias:
Algorithm Analysis and Problem Complexity
Y
Computers
Y
Programming Languages, Compilers, Interpreters
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithm Analysis and Problem Complexity
Algorithms
4
Computer logic
4
Computers
Logics and Meanings of Programs
4
Mathematical Logic and Formal Languages
4
Mathematical logic
4
más ...
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
4
Computation by Abstract Devices
3
Software Engineering
3
Software engineering
3
Computer programming
1
Programming Techniques
1
The Computing Profession
1
menos ...
Mostrando
1 - 4
Resultados de
4
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
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
4
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
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
4
Biblioteca
Tecnológico de Costa Rica
4
Formato
eBook
4
Autor
SpringerLink (Online service)
4
Legay, Axel
2
Margaria, Tiziana
2
Lumpe, Markus
1
Mousavi, Mohammad Reza
1
Proença, José
1
más ...
Sgall, Jiří
1
ver todos ...
menos ...
Lenguaje
English
4
Año de Publicación
De:
a:
×
Cargando...