SULJE VALIKKO

avaa valikko

John Ed Johnson | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 229 tuotetta
Haluatko tarkentaa hakukriteerejä?



AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Guy Avni (ed.); Mirco Giacobbe (ed.); Taylor T. Johnson (ed.); Guy Katz (ed.); Anna Lukina (ed.); Nina Narodytska (ed.)
Springer (2024)
Pehmeäkantinen kirja
121,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Machine Learning for Medical Image Reconstruction : 5th International Workshop, MLMIR 2022, Held in Conjunction with MICCAI 2022
Nandinee Haq (ed.); Patricia Johnson (ed.); Andreas Maier (ed.); Chen Qin (ed.); Tobias Würfl (ed.); Jaejun Yoo (ed.)
Springer (2022)
Pehmeäkantinen kirja
56,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Bacterial Circadian Programs
Jayna L. Ditty (ed.); Shannon R. Mackey (ed.); Carl H. Johnson (ed.)
Springer (2009)
Kovakantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Digital Dilemmas : Transforming Gender Identities and Power Relations in Everyday Life
Diana C. Parry (ed.); Corey W. Johnson (ed.); Simone Fullagar (ed.)
Palgrave Macmillan (2018)
Kovakantinen kirja
125,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Landscapes and Narratives of PhD by Publication : Demystifying students’ and supervisors’ perspectives
Sin Wang Chong (ed.); Neil Johnson (ed.)
Springer (2023)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Breakthroughs in Statistics
Samuel Kotz (ed.); Norman L. Johnson (ed.)
Springer (1997)
Pehmeäkantinen kirja
76,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Play-day Poems
Rossiter Ed Johnson
WENTWORTH PR (2016)
Pehmeäkantinen kirja
63,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Self in Performance : Autobiographical, Self-Revelatory, and Autoethnographic Forms of Therapeutic Theatre
Susana Pendzik (ed.); Renée Emunah (ed.); David Read Johnson (ed.)
Palgrave Macmillan (2021)
Pehmeäkantinen kirja
29,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Six Ingredients or Less: Light&Healthy
Carlean Johnson; Eric Ed. Johnson
C J BOOKS (2010)
Pehmeäkantinen kirja
39,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mechanobiology of Cell-Cell and Cell-Matrix Interactions
A. Wagoner Johnson (ed.); Brendan Harley (ed.)
Springer (2011)
Kovakantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Six Ingredients or Less: Revised&Expanded
Carlean Johnson; Eric Ed. Johnson
C J BOOKS (2008)
Pehmeäkantinen kirja
48,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lung Vascular Injury: Molecular and Cellular Response
Arnold Johnson; Eric Ed. Johnson
Informa Healthcare (1992)
Kovakantinen kirja
206,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Earth Summit:The United Nations Conference on Environment and Development (UNCED)
Stanley Johnson (ed.)
Springer (1993)
Kovakantinen kirja
167,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Godda's Truth: Lucifer's Folly
Eric Ed. Johnson
Publishamerica (2007)
Pehmeäkantinen kirja
67,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Go Figure!!!: Getting in Shape and Getting Healthy Nutritionally, Physically, and Emotionally
Johnson M. Ed; Monica Broadfoot
OUTSKIRTS PR (2008)
Pehmeäkantinen kirja
41,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Breakthroughs in Statistics : Methodology and Distribution
Samuel Kotz (ed.); Norman L. Johnson (ed.)
Springer (1993)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Beyond Principles and Parameters : Essays in Memory of Osvaldo Jaeggli
Kyle Johnson (ed.); I.G. Roberts (ed.)
Springer (1998)
Kovakantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Imaging of the Hip & Bony Pelvis : Techniques and Applications
A. Mark Davies (ed.); Karl J. Johnson (ed.); Richard William Whitehouse (ed.)
Springer (2005)
Kovakantinen kirja
268,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Breakthroughs in Statistics : Foundations and Basic Theory
Samuel Kotz (ed.); Norman L. Johnson (ed.)
Springer (1993)
Pehmeäkantinen kirja
81,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Frontline and Factory : Comparative Perspectives on the Chemical Industry at War, 1914-1924
Roy MacLeod (ed.); Jeffrey A. Johnson (ed.)
Springer (2007)
Kovakantinen kirja
152,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
121,40 €
Springer
Sivumäärä: 189 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2024, 17.07.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14846

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.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783031651113
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste