Mostrando
1 - 8
Resultados de
8
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:
Computation by Abstract Devices
Y
Computers
Y
Programming languages (Electronic computers)
Restablecer filtros
Mostrar filtros (3)
Materias:
Computation by Abstract Devices
Y
Computers
Y
Programming languages (Electronic computers)
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation by Abstract Devices
Computer logic
8
Computers
Logics and Meanings of Programs
8
Programming Languages, Compilers, Interpreters
8
Programming languages (Electronic computers)
Software Engineering
7
más ...
Software engineering
7
Mathematical Logic and Formal Languages
6
Mathematical logic
6
Algorithm Analysis and Problem Complexity
3
Algorithms
3
Computer programming
2
Programming Techniques
2
Computer Communication Networks
1
Computer communication systems
1
Computer simulation
1
Simulation and Modeling
1
menos ...
Mostrando
1 - 8
Resultados de
8
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
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
2
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of S...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
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
5
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
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
7
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
8
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
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
8
Biblioteca
Tecnológico de Costa Rica
8
Formato
eBook
8
Autor
SpringerLink (Online service)
8
Legay, Axel
2
Margaria, Tiziana
2
Artho, Cyrille
1
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
más ...
Esparza, Javier
1
Monniaux, David
1
Mousavi, Mohammad Reza
1
Murawski, Andrzej S.
1
Sgall, Jiří
1
Yang, Hongseok
1
Zhu, Huibiao
1
Ölveczky, Peter Csaba
1
ver todos ...
menos ...
Lenguaje
English
8
Año de Publicación
De:
a:
×
Cargando...