«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro AI Verification Taylor T. Johnson
Código Libristo: 46085932
Editores Springer, Berlin, septiembre 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Descripción completa
? points 359 b
146.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Las 25 objeciones más comunes en la venta y cómo superarlas Bob Taylor / Libro Tapa blanda
common.buy 20.59 €
Les trois flèches de Saint-Pierre - Anse Jouannade / Libro Tapa blanda
common.buy 32.19 €
Islande Jim KRUSOE / Libro Tapa blanda
common.buy 26.49 €

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.

The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos AI Verification
Autor Taylor T. Johnson, Guy Katz, Anna Lukina, Christian Schilling, Guy Avni, Mirco Giacobbe, Nina Narodytska
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2024
Número de páginas 270
EAN 9783031651113
Código Libristo 46085932
Editores Springer, Berlin
Peso 312
Dimensiones 155 x 235

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Statistics Applied to Clinical Studies Ton J. Cleophas / Libro Tapa blanda
common.buy 132.69 €
Jesuit Postmodern Francis X. Clooney / Libro Tapa dura
common.buy 144.49 €
Girl Finds a Flower Brittany Spencer / Libro Tapa blanda
common.buy 24.29 €
Odd Bods: The World's Unusual Animals / Libro Tapa dura
common.buy 33.19 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?