for at udvide
kategorilisten.
Bemærk: Kan ikke leveres før jul.
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety.
Bemærk: Kan ikke leveres før jul.
The authors provide chapters on processing of medical amenities using medical images, the importance of data and information technology in medicine, and machine learning and artificial intelligence in healthcare.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book presents data mining methods in the field of healthcare management in a practical way.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Since the use of ML entails understanding which techniques can be best used for specific tasks to ensure comprehensive security, the book provides an... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume represents the 20th International Conference on Information Technology - New Generations (ITNG), 2023.... Læs mere
Bemærk: Kan ikke leveres før jul.
This book approaches to the subject of common-sense reasoning in AI using epistemic situation calculus... Læs mere