KIRJAUDU

ostoskori

avaa valikko

T (Taylor) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 588 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 €

DEATH COMES AT CHRISTMAS

Marie O'Regan; Paul Kane; C.L. Taylor; Fiona Cummins; Alexandra Benedict; Susi Holliday; J.T. Ellison; David Bell; Hilar
Titan Publ. Group Ltd. (2024)
Kovakantinen kirja

21,00 €

WATCH ME PLAY - TWITCH AND THE RISE OF GAME LIVE STREAMING

T. L. Taylor
Princeton University Press (2018)
Pehmeäkantinen kirja

37,80 €

FOUNDATIONS OF INFORMATION LITERACY

Natalie Greene Taylor; Paul T. Jaeger
MP-ALA American Library Assoc (2020)
Pehmeäkantinen kirja

68,90 €

HISTORICAL ORATION - DELIVERED AT CHAMPLAIN, N.Y., ON THE FOURTH OF JULY, 1877

Taylor Daniel T
BiblioLife (2009)
Pehmeäkantinen kirja

45,80 €

SAINT MICHAEL'S MOUNT

T. Taylor
Cambridge University Press (2010)
Pehmeäkantinen kirja

36,20 €

MISCELLANIES IN PROSE AND VERSE. IN TWO PARTS. PART I. CONTAINING I. THE BIBLE ABRIDG'D IN ENGLISH VERSE. ... X. OF JUSTICE AND

T (Taylor); J (John)
Gale Ecco, Print Editions (2010)
Pehmeäkantinen kirja

48,40 €

MISCELLANIES IN PROSE AND VERSE. IN TWO PARTS. PART I. CONTAINING I. THE BIBLE ABRIDG'D IN ENGLISH VERSE. ... X. OF JUSTICE AND

T (Taylor); J (John)
Gale Ecco, Print Editions (2010)
Pehmeäkantinen kirja

49,60 €

KORALLÖN

T Taylor
Opal (1991)
Kovakantinen kirja

7,40 €

TRANSFORMER PRACTICE; MANUFACTURE, ASSEMBLING, CONNECTIONS, OPERATION AND TESTING, PP. 1-276

William T Taylor
Trieste Publishing (2018)
Pehmeäkantinen kirja

48,90 €

TRANSFORMER PRACTICE; MANUFACTURE, ASSEMBLING, CONNECTIONS, OPERATION AND TESTING

William T Taylor
Trieste Publishing (2018)
Pehmeäkantinen kirja

48,90 €

MISCELLANIES IN PROSE AND VERSE. IN TWO PARTS. PART I. CONTAINING I. THE BIBLE ABRIDG'D IN ENGLISH VERSE. ... X. OF JUSTICE AND

T (Taylor); J (John)
Gale Ecco, Print Editions (2018)
Kovakantinen kirja

62,10 €

MISCELLANIES IN PROSE AND VERSE. IN TWO PARTS. PART I. CONTAINING I. THE BIBLE ABRIDG'D IN ENGLISH VERSE. ... X. OF JUSTICE AND

T (Taylor); J (John)
Gale Ecco, Print Editions (2018)
Kovakantinen kirja

62,10 €

HISTORICAL ORATION: DELIVERED AT CHAMPLAIN, N.Y., ON THE FOURTH OF JULY, 1877

Taylor Daniel T
WENTWORTH PR (2019)
Pehmeäkantinen kirja

43,70 €

HISTORICAL ORATION

Taylor Daniel T
Creative Media Partners, LLC (2019)
Kovakantinen kirja

32,50 €

PATTERNS IN THE MACHINE - A SOFTWARE ENGINEERING GUIDE TO EMBEDDED DEVELOPMENT

John T. Taylor; Wayne T. Taylor
APress (2021)
Pehmeäkantinen kirja

46,40 €

THE EMBEDDED PROJECT COOKBOOK - A STEP-BY-STEP GUIDE FOR MICROCONTROLLER PROJECTS

John T. Taylor; Wayne T. Taylor
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2024)
Pehmeäkantinen kirja

52,10 €

THE CHALLENGE OF A LIFETIME

T Taylor
Wiley-Blackwell (2025)
Pehmeäkantinen kirja

18,70 €

FORENSIC ART AND ILLUSTRATION

Karen T. Taylor
Taylor & Francis Inc (2000)
Kovakantinen kirja

181,30 €

SUPERCRITICAL FLUID EXTRACTION

Larry T. Taylor
John Wiley & Sons Inc (1996)
Kovakantinen kirja

158,30 €

Hae lisää...

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.)

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus