Cantitate/Preț
Produs

Bridging the Gap Between AI and Reality

Editat de Bernhard Steffen
en Limba Engleză Paperback – 2 oct 2025
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. 
The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning. 

Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (5) 27394 lei  18-23 zile +2108 lei  7-13 zile
  Springer – 2 oct 2025 27394 lei  18-23 zile +2108 lei  7-13 zile
  Springer Verlag GmbH – 11 oct 2025 28844 lei  6-8 săpt.
  Springer Nature Switzerland – 14 dec 2023 46470 lei  6-8 săpt.
  Springer – 30 dec 2024 48296 lei  39-44 zile
  Springer – 31 oct 2024 84877 lei  39-44 zile

Preț: 27394 lei

Preț vechi: 34242 lei
-20%

Puncte Express: 411

Preț estimativ în valută:
4846 5681$ 4216£

Carte disponibilă

Livrare economică 09-14 februarie
Livrare express 29 ianuarie-04 februarie pentru 3107 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783032013767
ISBN-10: 3032013763
Pagini: 292
Ilustrații: X, 280 p. 78 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Editura: Springer

Cuprins

​Verification meets Learning and Statistics.- Nature of AI-Based Systems.- Safety Verificatio of DNNs.- AI Assisted Programming.

Descriere

Descriere de la o altă ediție sau format:
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; approaches of using formal methods and ai in health care;