Mostrando
1 - 3
Resultados de
3
Para Buscar '
Gurfinkel, Arie
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Buscar
Avanzado
Inicio
Autor
Gurfinkel, Arie
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Gurfinkel, Arie
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
por
Gurfinkel
,
Arie
Publicado 2024
Otros Autores:
“…
Gurfinkel
,
Arie
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
2
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
por
Gurfinkel
,
Arie
Publicado 2024
Otros Autores:
“…
Gurfinkel
,
Arie
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
3
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
por
Gurfinkel
,
Arie
Publicado 2024
Otros Autores:
“…
Gurfinkel
,
Arie
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Algorithms
Artificial Intelligence
Artificial intelligence
Design and Analysis of Algorithms
Software Engineering
Software engineering