Informatik (15 755 Artikel)

This textbook describes the theory and the pragmatics of using and engineering high-level software languages - also known as modeling or domain-specific languages (DSLs) - for creating quality soft...

Without correct timing, there is no safe and reliable embedded software. This book shows how to consider timing early in the development process for embedded systems, how to solve acute timing prob...

30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Event Attendance Prediction in Social Networks

Exploring Robotics with ROBOTIS Systems

Case Studies in Modern Protocols

Mathematical Foundations

The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic c...

John Vince describes a range of mathematical topics that provide a solid foundation for an undergraduate course in computer science, starting with a review of number systems and their relevance to ...

14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers

Fraud Prevention in Online Digital Advertising

9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

A Guide to Theory, Research and Applications

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical ex...

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical ex...