Mostrando
1 - 1
Resultados de
1
Para Buscar '
Tsay, Yih-Kuen
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Tsay, Yih-Kuen
Skip recommendations
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Tsay, Yih-Kuen
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Publicado 2005
Otros Autores:
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
Temas relacionados
Compilers (Computer programs)
Compilers and Interpreters
Computer Communication Networks
Computer Science Logic and Foundations of Programming
Computer networks
Computer science
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided engineering
Computers, Special purpose
Software Engineering
Software engineering
Special Purpose and Application-Based Systems