Mostrando
1 - 3
Resultados de
3
Para Buscar '
Lal, Akash
'
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
Etiqueta
Buscar
Avanzado
Inicio
Autor
Lal, Akash
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Lal, Akash
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
por
Enea, Constantin
Publicado 2023
Otros Autores:
“…
Lal
,
Akash
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
2
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Publicado 2023
Otros Autores:
“…
Lal
,
Akash
. editor…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
3
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Publicado 2023
Otros Autores:
“…
Lal
,
Akash
. editor…”
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
Computer Engineering and Networks
Computer engineering
Computer networks
Design and Analysis of Algorithms
Software Engineering
Software engineering