SULJE VALIKKO

avaa valikko

Laura Guy | Akateeminen Kirjakauppa

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



Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th I
Omri Isac; Radoslav Ivanov; Guy Katz; Nina Narodytska; Laura Nenzi
Springer International Publishing AG (2022)
Pehmeäkantinen kirja
66,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Queer Print in Europe
Glyn Davis; Laura Guy
Bloomsbury Publishing PLC (2022)
Pehmeäkantinen kirja
35,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Wilderness Ethics - Preserving the Spirit of Wildness
Guy Waterman; Laura Waterman
W. W. Norton & Company (1996)
Pehmeäkantinen kirja
16,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Climate For Life
Russell A Mittermeier; Michael Totten; Laura Ledwith Pennypacker; Frederick Boltz; Guy Midgley; Carlos Manuel Rodriguez
International League of Conservation Photographers (2008)
Kovakantinen kirja
96,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Afloat (Sur L'Eau)
Guy de Maupassant; Laura Ensor
Nabu Press (2010)
Pehmeäkantinen kirja
62,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Backwoods Ethics - A Guide to Low-Impact Camping and Hiking
Guy Waterman; Laura Waterman
WW Norton & Co (1996)
Pehmeäkantinen kirja
27,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Human Factors Methods - A Practical Guide for Engineering and Design
Neville A. Stanton; Paul M. Salmon; Laura A. Rafferty; Guy H. Walker; Chris Baber; Daniel P. Jenkins
Taylor & Francis Ltd (2013)
Pehmeäkantinen kirja
103,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Wilderness Ethics - Preserving the Spirit of Wildness
Guy Waterman; Laura Waterman
WW Norton & Co (2014)
Pehmeäkantinen kirja
27,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Fine Kind of Madness
Laura Waterman; Guy Waterman
Mountaineers Books (2000)
Pehmeäkantinen kirja
47,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Enterprise Interoperability - Interoperability for Agility, Resilience and Plasticity of Collaborations (I-ESA 14 Proceedings)
Matthieu Lauras; Martin Zelm; Bernard Archimède; Frédérick Benaben; Guy Doumeignts
ISTE Ltd and John Wiley & Sons Inc (2014)
Kovakantinen kirja
159,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Human Factors Methods and Accident Analysis - Practical Guidance and Case Study Applications
Paul M. Salmon; Neville A. Stanton; Michael Lenné; Daniel P. Jenkins; Laura Rafferty; Guy H. Walker
Taylor & Francis Ltd (2011)
Kovakantinen kirja
201,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Human Factors Methods - A Practical Guide for Engineering and Design
Neville A. Stanton; Paul M. Salmon; Laura A. Rafferty; Guy H. Walker; Chris Baber; Daniel P. Jenkins
Taylor & Francis Ltd (2013)
Kovakantinen kirja
201,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Digitising Command and Control - A Human Factors and Ergonomics Analysis of Mission Planning and Battlespace Management
Neville A. Stanton; Daniel P. Jenkins; Paul M. Salmon; Guy H. Walker; Kirsten M. A. Revell; Laura A. Rafferty
Taylor & Francis Ltd (2009)
Kovakantinen kirja
201,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Names and Naming - People, Places, Perceptions and Power
Guy Puzey; Laura Kostanski
Channel View Publications Ltd (2016)
Pehmeäkantinen kirja
54,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Names and Naming - People, Places, Perceptions and Power
Guy Puzey; Laura Kostanski
Channel View Publications Ltd (2016)
Kovakantinen kirja
158,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Green Guide to Low-Impact Hiking and Camping
Guy Waterman; Laura Waterman
WW Norton & Co (2016)
Pehmeäkantinen kirja
19,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Afloat
Laura Ensor; Guy De Maupassant
Book on Demand Ltd. (2013)
83,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Afloat (Sur L'Eau) - Scholar's Choice Edition
Guy De Maupassant; Laura Ensor
Scholar's Choice (2015)
Pehmeäkantinen kirja
65,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Afloat (Sur L'eau)
Guy de Maupassant; Laura Ensor
ANDESITE PR (2015)
Kovakantinen kirja
78,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Digitising Command and Control - A Human Factors and Ergonomics Analysis of Mission Planning and Battlespace Management
Neville A. Stanton; Daniel P. Jenkins; Paul M. Salmon; Guy H. Walker; Kirsten M. A. Revell; Laura A. Rafferty
Taylor & Francis Ltd (2017)
Pehmeäkantinen kirja
75,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th I
66,40 €
Springer International Publishing AG
Sivumäärä: 205 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 16.12.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13466
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. 
The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. 

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
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th Izoom
Näytä kaikki tuotetiedot
ISBN:
9783031212215
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste