«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 electrónico Adobe ePub DRM
Editores Springer, julio 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Descripción completa
? points 378 b
154.39 €
En existencia Descarga instantánea

Clientes que también han comprado

Parisuhderetriitti Lorraine Brown / Libro electrónico Adobe ePub DRM
common.buy 8.69 €
Próximamente
Godzilla Classic Collection Herb Trimpe / Libro Tapa blanda
common.buy 65.79 €
Les coulisses du Tour de France Jean-Luc Gatellier / Libro Tapa blanda
common.buy 74.49 €
Prospectiva estratégica David Arias Chávez / Libro Tapa blanda
common.buy 26.39 €
Le fracas et le silence Cory Anderson / Libro Tapa blanda
common.buy 24.09 €
Zlatan Matt Oldfield / Libro Tapa blanda
common.buy 11.79 €
Magic Water Colouring - Feen und Elfen Rachael McLean / Libro Tapa dura
common.buy 9.99 €
Am eignen Herd Maximilian Bern / Libro Tapa dura
common.buy 76.59 €
Resonanzwandler für die Erzeugung hoher Gleichspannungen Martin Rentzsch / Libro Tapa blanda
common.buy 29.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 Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Idioma Inglés
Encuadernación Libro electrónico - Adobe ePub DRM
Fecha de publicación 2024
EAN 9783031651120
Código Libristo 47698559
Editores Springer

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

The Banking Sector of Azerbaijan Anar Ibrahimov / Libro Tapa blanda
common.buy 53.89 €
An Introduction to Model-Based Cognitive Neuroscience Birte U. Forstmann / Libro Tapa dura
common.buy 219.69 €
Popular
Who Made Me a Princess Vol. 4 Spoon / Libro Tapa blanda
common.buy 18.09 €
Iacobus Matilde Asensi / Libro electrónico Adobe ePub DRM
common.buy 4.09 €
Counterfeit Candidate Brian Klein / Libro Tapa blanda
common.buy 12.79 €
INSIDE IMPROVISATION 6 - DEVELOPING A JAZZ LANGUAGE - RECUEIL + CD (TOUS INSTRUMENTS) JERRY BERGONZI / Artículos impresos Partituras
common.buy 54.29 €
Popular
Lonely Planet Pocket Barcelona Lonely planet eng / Libro Tapa blanda
common.buy 11.69 €
Confederate Generals in the Trans-Mississippi Lawrence Lee Hewitt / Libro Tapa dura
common.buy 71.19 €
I Was Shipwrecked on the Andrea Doria! the Titanic of the 1950s Pierette Domenica Simpson / Libro Tapa blanda
common.buy 12.79 €
Blur: The Speed of Change in the Connected Economy Stanley M. Davis / Libro Tapa blanda
common.buy 19.59 €
Advanced Microsystems for Automotive Applications 98 Detlef E. Ricken / Libro Tapa blanda
common.buy 60.39 €
Observing Variable Stars Gerry A. Good / Libro Tapa blanda
common.buy 35.89 €
Cultural/Subcultural Contexts of Marijuana Use at the Turn of the Twenty-First Century Andrew Golub / Libro Tapa dura
common.buy 249.99 €

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?