Mostrando
1 - 7
Resultados de
7
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
Lenguaje:
English
Materias:
Computers
Y
Programming Languages, Compilers, Interpreters
Y
Theory of Computation
Restablecer filtros
Mostrar filtros (4)
Lenguaje:
English
Materias:
Computers
Y
Programming Languages, Compilers, Interpreters
Y
Theory of Computation
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computers
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
7
Theory of Computation
Artificial Intelligence
5
Artificial intelligence
5
Software Engineering
5
más ...
Software engineering
5
Computer Systems Organization and Communication Networks
3
Computer organization
3
The Computing Profession
3
Computer programming
2
Computer simulation
2
Computer system failures
2
Programming Techniques
2
Simulation and Modeling
2
System Performance and Evaluation
2
Circuits and Systems
1
Computer Hardware
1
Computer hardware
1
Computing Milieux
1
Electronic circuits
1
menos ...
Mostrando
1 - 7
Resultados de
7
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
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
por
Boulé, Marc.
,
Zilic, Zeljko.
Publicado 2008
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
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
5
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, 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
7
Biblioteca
Tecnológico de Costa Rica
7
Formato
eBook
7
Autor
SpringerLink (Online service)
7
Aceto, Luca
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Boulé, Marc
1
Chang, Bor-Yuh Evan
1
más ...
Cimatti, Alessandro
1
D'Souza, Deepak
1
Ingólfsdóttir, Anna
1
Legay, Axel
1
Mardare, Radu
1
Narayan Kumar, K.
1
Paskevich, Andrei
1
Polikarpova, Nadia
1
Schneider, Steve
1
Sirjani, Marjan
1
Wies, Thomas
1
Zilic, Zeljko
1
ver todos ...
menos ...
Lenguaje
English
Año de Publicación
De:
a:
×
Cargando...