Informatik (15.757 Artikel)

Algorithms and Applications

Solving Data Science Problems for Manufacturing and the Internet of Things

Handbook of Requirements and Business Analysis

31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

This book constitutes the refereed proceedings of the 28th China Conference on Information Retrieval, CCIR 2022, held in Chongqing, China, in September 2022. Information retrieval aims to meet the ...

14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings

This SpringerBrief explores features of digital protocol wireless communications systems, and features of the emerging electrical smart grid. Both low power and high power wireless systems are desc...

In this fourth edition, Chapter 9 - Heterogeneous Database Connectivity (HDBC) offers a database gateway platform for companies to communicate with each other not only with their data, but also via...

Data Science as an Engineering Discipline

Innovative Design using Clean Architecture and Model-Driven Engineering

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a d...

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg...

27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

This book constitutes the refereed proceedings of the 45 German Conference on Artificial Intelligence, KI 2022, held in September 2022.

Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation