KIRJAUDU

ostoskori

avaa valikko

John T. Taylor | Akateeminen Kirjakauppa

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

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 €

MULTIVARIATE ANALYSIS

Kanti V. Mardia; John T. Kent; Charles C. Taylor
John Wiley & Sons Inc (2024)
Kovakantinen kirja

83,50 €

COTTON WEAVING AND DESIGNING (1909)

John T. Taylor
KESSINGER PUB CO (2008)
Pehmeäkantinen kirja

40,30 €

COTTON WEAVING AND DESIGNING (1909)

John T. Taylor
KESSINGER PUB CO (2008)
Kovakantinen kirja

85,60 €

COTTON WEAVING AND DESIGNING

John T. Taylor
Cambridge Scholars Publishing (2010)
Pehmeäkantinen kirja

63,60 €

COTTON WEAVING AND DESIGNING

John T. Taylor
Nabu Press (2010)
Pehmeäkantinen kirja

67,50 €

IN THE HEART OF INDIA: THE WORK OF THE CANADIAN PRESBYTERIAN MISSION

John T. Taylor
Nabu Press (2010)
Pehmeäkantinen kirja

61,10 €

COTTON WEAVING AND DESIGNING

John T. Taylor; Frederick Wilkinson; Harry Nisbet
Nabu Press (2010)
Pehmeäkantinen kirja

67,50 €

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 €

COTTON WEAVING AND DESIGNING (1909)

John T. Taylor
KESSINGER PUB CO (2010)
Kovakantinen kirja

86,40 €

COTTON WEAVING AND DESIGNING

John T. Taylor
Hardpress Publishing (2012)
Pehmeäkantinen kirja

62,60 €

IN THE HEART OF INDIA: THE WORK OF THE CANADIAN PRESBYTERIAN MISSION

John T. 1870-1955 Taylor
Kniga po trebovaniyu

17,10 €

DICTIONARY OF MILITARY TERMS

Robert T Golembiewski; Trevor N Dupuy; Curt Johnson; Grace P Hayes; John M Taylor; Priscilla S Taylor
H. W. Wilson (2004)
Kovakantinen kirja

179,30 €

COTTON WEAVING AND DESIGNING

John T. Taylor
GADOW PR (2008)
Pehmeäkantinen kirja

59,30 €

FOUR LECTURES ON THE ORGANIZATION OF INDUSTRY

T C Banfield; And John E Taylor Richard and John E Taylor; Richard and John E Taylor
BiblioLife (2010)
Pehmeäkantinen kirja

52,90 €

FOUR LECTURES ON THE ORGANIZATION OF INDUSTRY - SCHOLAR'S CHOICE EDITION

T C Banfield; Richard and John E Taylor
Scholar's Choice (2015)
Pehmeäkantinen kirja

57,40 €

COTTON WEAVING AND DESIGNING (CLASSIC REPRINT)

John T. Taylor
LULU PR (2017)
Pehmeäkantinen kirja

42,20 €

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