Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

AI Verification

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

Língua InglêsInglês
E-book Adobe ePub DRM
Editoras Springer, julho 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Descrição completa
? points 356 b
146.30 €
Em stock Imediatamente descarregável

Os clientes também compraram

Em breve
Godzilla Classic Collection Herb Trimpe / Livro Capa mole
common.buy 71.59 €
Principal
Předepíšeme vám kočku 2 Šó Išida / Livro Livro
common.buy 14.67 €
Parisuhderetriitti Lorraine Brown / E-book Adobe ePub DRM
common.buy 8.13 €
Magic Water Colouring - Feen und Elfen Rachael McLean / Livro Livro de capa dura
common.buy 8.24 €
Les coulisses du Tour de France Jean-Luc Gatellier / Livro Capa mole
common.buy 69.47 €
Eröffnungen - Englische Eröffnung Band 2 Systeme nach 1. c4 e5 Uwe Bekemann / Livro Livro de capa dura
common.buy 23.42 €
Martin Eden Jack London / Livro Livro de capa dura
common.buy 19.10 €
Le fracas et le silence Cory Anderson / Livro Capa mole
common.buy 21.81 €
Crescent City T01 - Maison de la terre et du sang (broché) collegium / Livro Capa mole
common.buy 28.45 €
Zlatan Matt Oldfield / Livro Capa mole
common.buy 10.25 €
Der etwas andere Kurzgeschichten-Adventskalender Sandra Bollenbacher / Livro Capa mole
common.buy 10.45 €
Am eignen Herd Maximilian Bern / Livro Livro de capa dura
common.buy 72.99 €
Vidas de pintores Giovanni Pietro Bellori / Livro Capa mole
common.buy 33.27 €
Resonanzwandler für die Erzeugung hoher Gleichspannungen Martin Rentzsch / Livro Capa mole
common.buy 28.04 €
Prospectiva estratégica David Arias Chávez / Livro Capa mole
common.buy 22.61 €
El amor, las mujeres y la vida Mario Benedetti / Livro Livro de capa dura
common.buy 10.85 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo AI Verification
Autor Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2024
EAN 9783031651120
Código Libristo 47698559
Editoras Springer

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Multiple Criteria Decision Making Anand J. Kulkarni / E-book Adobe ePub DRM
common.buy 186.42 €
The Banking Sector of Azerbaijan Anar Ibrahimov / Livro Capa mole
common.buy 46.85 €
Principal
Who Made Me a Princess Vol. 4 Spoon / Livro Capa mole
common.buy 17.18 €
KJV Wide Margin Bible, Filament Enabled Edition (Red Letter, Leatherlike, Dark Brown Medallion) Kjv / Livro Livro
common.buy 39.61 €
Iacobus Matilde Asensi / E-book Adobe ePub DRM
common.buy 3.81 €
Market Data Analysis Using JMP Walter R. Paczkowski / E-book Adobe ePub DRM
common.buy 43.23 €
Adventures of Paddington: First Halloween HarperCollins Children's Books / E-book Adobe ePub DRM
common.buy 6.02 €
An Introduction to Model-Based Cognitive Neuroscience Birte U. Forstmann / Livro Livro de capa dura
common.buy 193.96 €
Counterfeit Candidate Brian Klein / Livro Capa mole
common.buy 12.56 €
INSIDE IMPROVISATION 6 - DEVELOPING A JAZZ LANGUAGE - RECUEIL + CD (TOUS INSTRUMENTS) JERRY BERGONZI / Artigos impressos Partituras
common.buy 50.37 €
Lonely Planet Pocket Barcelona Lonely planet eng / Livro Capa mole
common.buy 11.45 €
Quality Assurance in Seafood Processing: A Practical Guide A. David Bonnell / Livro Livro de capa dura
common.buy 107.88 €
Fill Your Cup: A Physician's Guide to Caring for Yourself, Creating Your Purpose, and Masterfully Managing Your Condition Felecia N Sumner Do / Livro Capa mole
common.buy 10.25 €
Confederate Generals in the Trans-Mississippi Lawrence Lee Hewitt / Livro Livro de capa dura
common.buy 68.57 €
Color and Frame: Bible Verses Lynn Melchiori / Livro Capa mole
common.buy 7.63 €
True Detection Gary J Shipley / Livro Capa mole
common.buy 16.58 €
I Was Shipwrecked on the Andrea Doria! the Titanic of the 1950s Pierette Domenica Simpson / Livro Capa mole
common.buy 12.36 €
Blur: The Speed of Change in the Connected Economy Stanley M. Davis / Livro Capa mole
common.buy 18.59 €
Peter Eisenman/Arizona Cardinals Stadium Todd Gannon / Livro Capa mole
common.buy 32.37 €
Of English Literature in the Reign of Victoria, with a Glance at the Past Henry Morley / Livro Livro de capa dura
common.buy 39.01 €
Korsun Pocket Niklas Zetterling / Livro Capa mole
common.buy 20.70 €
Savannah Classic Seafood Janice Shay / Livro Capa mole
common.buy 14.57 €
Advanced Microsystems for Automotive Applications 98 Detlef E. Ricken / Livro Capa mole
common.buy 54.09 €
Making the Poor Work Anders Giertz / Livro Capa mole
common.buy 81.64 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?