Catálogo de publicaciones

Compartir en
redes sociales

Límite

Ordenar

Mostrando 10 de 161.741 registro(s)

libros Acceso Abierto

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Matemáticas - Ciencias de la computación e información - Lenguas y literatura - Artes

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Artes

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Ciencias de la computación e información

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Artes

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Ciencias de la computación e información

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere		Directory of Open access Books

Cobertura temática: Ciencias de la computación e información

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification

ISBNs: 978-3-030-25539-8 (impreso) 978-3-030-25540-4 (en línea)

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere	2019	SpringerLink

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura

libros Acceso Abierto

Agregar a Mi catálogo

Computer Aided Verification

ISBNs: 978-3-030-25542-8 (impreso) 978-3-030-25543-5 (en línea)

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No requiere	2019	SpringerLink

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura

libros

Agregar a Mi catálogo

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Paper

ISBNs: 978-3-540-26296-1 (impreso) 978-3-540-32119-4 (en línea)

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2005	SpringerLink

Cobertura temática: Matemáticas

libros

Agregar a Mi catálogo

Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings

ISBNs: 978-3-540-45182-2 (impreso) 978-3-540-45195-2 (en línea)

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2006	SpringerLink

Cobertura temática: Ciencias de la computación e información

‹
1
2
...
2420
2421
2422
2423
2424
2425
2426
...
16174
16175
›

Catálogo de publicaciones

Navegación

Tipo

Acceso

Plataformas

Temática

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Disponibilidad

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Disponibilidad

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Disponibilidad

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Disponibilidad

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Disponibilidad

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Disponibilidad

Computer Aided Verification

Disponibilidad

Computer Aided Verification

Disponibilidad

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Paper

Disponibilidad

Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings

Disponibilidad