Informatik (15 755 Artikel)

ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

Lessons Learned for the Data-Driven Business

Tools, Techniques, and Implementation

Tools, Techniques, and Implementation

This book is a logical continuation of Volume 1 of the series entitled "Scientific Fundamentals of Robotics" which presents all of the basic methods for computerized construction of dynamics of man...

During the period 1982-1985, six books of the series: Scientific Fun damentals of Robotics were published by Springer-Verlag. In chronolo gical order these were: Dynamics of Manipulation Robots: Th...

Addressing the way forward, the book expresses the author's critical views on a series of fundamental problems in the current use of research performance indicators in research assessment. Highligh...

Addressing the way forward, the book expresses the author's critical views on a series of fundamental problems in the current use of research performance indicators in research assessment. Highligh...

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of th...

A Hands-on Approach

A Hands-on Approach

This book constitutes the refereed proceedings of the First International Conference on Applied Intelligence and Informatics, AII 2021, held in Nottingham, UK, in July 2021. Due to the COVID-19 pan...

This book constitutes the refereed proceedings of the Second International Conference on Applied Intelligence and Informatics, AII 2022, held in Reggio Calabria, Italy, during September 1-3, 2022. ...

Third International Conference, AII 2023, Dubai, United Arab Emirates, October 29-31, 2023, Revised Selected Papers

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines availabl...